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 87
    • Issues 87
    • 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 502
  • Closed 33
  • All 538
Subscribe to RSS feed
  • #20 Improved development environment setup instructions.
    !20 · created Mar 08, 2021 by Dennis Hendriks   v0.1   Products TypeEnhancement
    • MERGED
    • 1
    updated Mar 12, 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 "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
  • 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 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
  • #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
  • #37 Fix CIF simulator for empty initial predicates initialization.
    !31 · created Apr 11, 2021 by Ferdie Reijnen
    • MERGED
    • 3
    updated Apr 13, 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
  • #56 CIF linearization crashes on channel without sender.
    !34 · created Apr 13, 2021 by Ferdie Reijnen
    • MERGED
    • 4
    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
  • #41 Fix errMalforumedUrl typo.
    !43 · created Apr 20, 2021 by Ferdie Reijnen
    • MERGED
    • 0
    updated Apr 20, 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
  • #26 Distinguish dev and release builds.
    !41 · created Apr 19, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeEnhancement
    • MERGED
    • 1
    updated Jun 02, 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
  • #49 CIF simulator crashes on too many invariants.
    !44 · created Apr 21, 2021 by Ferdie Reijnen
    • MERGED
    • 9
    updated Apr 21, 2021
  • #45 Deprecate old CIF enum declaration syntax 2.
    !45 · created Apr 21, 2021 by Ferdie Reijnen
    • MERGED
    • 0
    updated Apr 21, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • …
  • 26
  • Next

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