Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 93
    • Issues 93
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 3
    • Merge requests 3
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Merge requests
  • Open 3
  • Merged 505
  • Closed 34
  • All 542
Subscribe to RSS feed
  • Address "Full and up-to-date list of dependencies"
    !21 · created Mar 08, 2021 by Dennis Hendriks   v0.1   RelEng/DevOps TypeEnhancement
    • MERGED
    • 1
    updated Mar 12, 2021
  • #6 Ensure website index.html adheres to Eclipse Foundation rules.
    !22 · created Mar 09, 2021 by Dennis Hendriks   v0.1   RelEng/DevOps TypeEnhancement
    • MERGED
    • 0
    updated Mar 09, 2021
  • Draft: Resolve "Improve installation instructions for macOS"
    !23 · created Mar 18, 2021 by Bert Van Beek   v0.1   Products TypeEnhancement
    • CLOSED
    • 0
    updated Mar 18, 2021
  • Resolve "Remove command line tools for macOS"
    !24 · created Mar 18, 2021 by Dennis Hendriks   v0.1   Products RelEng/DevOps TypeBug
    • MERGED
    • 0
    updated Mar 18, 2021
  • #21 Improved installation instructions for MacOS
    !25 · created Mar 18, 2021 by Bert Van Beek   v0.1   Products TypeEnhancement
    • MERGED
    • 2
    updated Mar 18, 2021
  • Resolve "Various small documentation improvements for release v0.1"
    !26 · created Mar 18, 2021 by Dennis Hendriks   v0.1   Chi Products TypeEnhancement
    • MERGED
    • 0
    updated Mar 18, 2021
  • Develop
    !27 · created Mar 18, 2021 by Dennis Hendriks   v0.1   master   RelEng/DevOps TypeEnhancement
    • MERGED
    • 0
    updated Mar 18, 2021
  • #25 Fix ElimComponentDefInst for nested def/inst
    !28 · created Apr 09, 2021 by Ferdie Reijnen
    • CLOSED
    • 1
    updated Apr 19, 2021
  • #25 Find defs/insts located in groups.
    !29 · created Apr 10, 2021 by Dennis Hendriks
    • MERGED
    • 1
    • 1
    updated Apr 19, 2021
  • #58 Fix error message for disc vars with multiple init values.
    !30 · created Apr 11, 2021 by Ferdie Reijnen
    • MERGED
    • 2
    updated Apr 11, 2021
  • #37 Fix CIF simulator for empty initial predicates initialization.
    !31 · created Apr 11, 2021 by Ferdie Reijnen
    • MERGED
    • 3
    updated Apr 13, 2021
  • #60 Fix duplicated error messages for multi init locs in mCRL2 transformation.
    !32 · created Apr 11, 2021 by Ferdie Reijnen
    • MERGED
    • 5
    updated Apr 15, 2021
  • #47 CIF simulator crashes on assignment to dictionary with non-int key
    !33 · created Apr 13, 2021 by Ferdie Reijnen
    • MERGED
    • 3
    updated Apr 13, 2021
  • #56 CIF linearization crashes on channel without sender.
    !34 · created Apr 13, 2021 by Ferdie Reijnen
    • MERGED
    • 4
    updated Apr 14, 2021
  • #55 Add option to change output automaton name for CIF state space generation
    !35 · created Apr 14, 2021 by Ferdie Reijnen
    • MERGED
    • 8
    updated Apr 14, 2021
  • #59 mCRL2 transformation website: Supported specifications list is incomplete.
    !36 · created Apr 14, 2021 by Ferdie Reijnen
    • MERGED
    • 1
    updated Apr 14, 2021
  • #45 Deprecate old CIF enum declaration syntax.
    !37 · created Apr 16, 2021 by Ferdie Reijnen
    • MERGED
    • 25
    updated Apr 19, 2021
  • Draft: Resolve "Allow just last year in license headers"
    !38 · created Apr 19, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeEnhancement
    • CLOSED
    • 0
    updated Apr 19, 2021
  • #64 Allow just last year in license headers.
    !39 · created Apr 19, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeEnhancement
    • MERGED
    • 1
    updated Apr 21, 2021
  • #26 Version number preparations for 0.2.0 + + updated release process
    !40 · created Apr 19, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeEnhancement
    • MERGED
    • 1
    updated Apr 21, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • …
  • 28
  • Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent