Skip to content
GitLab
Projects Groups Topics 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 revisions
    • Locked files
  • Issues 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 6
    • Merge requests 6
  • 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 6
  • Merged 508
  • Closed 34
  • All 548
  • #551 CIF benchmark HTML overview gets averages and sorting
    !536 · created Mar 19, 2023 by Dennis Hendriks   v0.9   CIF TypeEnhancement
    • MERGED
    • Approved
    • 3
    updated Mar 20, 2023
  • #552 Fix BDD variable order option name in CIF documentation.
    !537 · created Mar 21, 2023 by Dennis Hendriks   v0.9   CIF TypeBug
    • MERGED
    • Approved
    • 0
    updated Mar 21, 2023
  • #557 Prepare Git repo for v0.10 development
    !547 · created Apr 01, 2023 by Dennis Hendriks   v0.10   RelEng/DevOps TypeEnhancement
    • 0
    updated Apr 01, 2023
  • #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
  • #560 Development/release process updates: no more CQs and IP Logs.
    !548 · created Apr 01, 2023 by Dennis Hendriks   v0.10   RelEng/DevOps TypeEnhancement
    • 0
    updated Apr 01, 2023
  • #561 Update DEPENDENCIES.txt for changed Dash license tool output.
    !543 · created Mar 29, 2023 by Dennis Hendriks   v0.9   RelEng/DevOps TypeBug
    • MERGED
    • 0
    updated Mar 29, 2023
  • #562 Release process: fixed setting standard website and removing old websites
    !546 · created Mar 31, 2023 by Dennis Hendriks   v0.10   RelEng/DevOps TypeBug
    • 0
    updated Mar 31, 2023
  • #56 CIF linearization crashes on channel without sender.
    !34 · created Apr 13, 2021 by Ferdie Reijnen
    • MERGED
    • 4
    updated Apr 14, 2021
  • #57 Re-add Eclipse AsciiDoc Editor plugin to dev env (new update site).
    !65 · created May 10, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeBug
    • MERGED
    • 0
    updated May 16, 2021
  • #57 Re-add Eclipse Checkstyle plugin to dev env + upgrade version.
    !63 · created May 07, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeBug
    • MERGED
    • 0
    updated May 16, 2021
  • #57 Re-enable Maven build Eclipse help TOC generation.
    !66 · created May 10, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeBug
    • MERGED
    • 0
    updated May 16, 2021
  • #57 Temporarily disable dl.bintray.com and geneclipsetoc in build.
    !58 · created May 03, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeBug
    • MERGED
    • 0
    updated May 03, 2021
  • #57 Temporarily remove BinTray-hosted functionality from Oomph setup.
    !57 · created May 03, 2021 by Dennis Hendriks   v0.2   RelEng/DevOps TypeBug
    • MERGED
    • 0
    updated May 03, 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
  • #59 mCRL2 transformation website: Supported specifications list is incomplete.
    !36 · created Apr 14, 2021 by Ferdie Reijnen
    • MERGED
    • 1
    updated Apr 14, 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
  • #61 Fix LessEqual and LessThan metamodel documentation.
    !47 · created Apr 23, 2021 by Ferdie Reijnen
    • MERGED
    • 5
    updated Apr 23, 2021
  • #63 "Add rail diagram generator"
    !46 · created Apr 23, 2021 by Albert Hofkamp   v0.2   CIF Chi SeText ToolDef TypeEnhancement
    • MERGED
    • 21
    updated Jun 12, 2021
  • #63 License header check script update for new rail diagram generator.
    !94 · created Jun 13, 2021 by Dennis Hendriks   v0.2   CIF Chi SeText ToolDef TypeEnhancement
    • MERGED
    • 0
    updated Jun 13, 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
  • Prev
  • 1
  • …
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • Next

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