Skip to content
GitLab
  • Explore
  • Sign in
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Merge requests
  • Open 6
  • Merged 315
  • Closed 21
  • All 342

  • Subscribe to RSS feed
  • #692 Allow annotating a CIF object multiple times with the same annotation
    !708 · created Dec 03, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 2
    updated Dec 04, 2023
  • #684 CifToPlcTrans: configure linearization consistent with precond check
    !707 · created Nov 30, 2023 by Ferdie Reijnen   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 1
    updated Dec 01, 2023
  • #694 CIF codegen TypeInfoHelper: make target-specific data value.
    !706 · created Nov 28, 2023 by Dennis Hendriks   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 0
    updated Nov 30, 2023
  • #686 Confluence check: more debug output and more termination checking
    !705 · created Nov 28, 2023 by Martijn Goorden   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 32
    updated Dec 04, 2023
  • #272 JavaScript code generation: generate variables and functions boilerplate
    !704 · created Nov 27, 2023 by Rik Lubking   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 17
    updated Dec 01, 2023
  • #687 Add 'state' annotations and CIF explorer adds them to statespace automata
    !703 · created Nov 27, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • 25
    updated Nov 30, 2023
  • #690 Fix CIF explorer for models with function-typed discrete variables without an initial value
    !702 · created Nov 25, 2023 by Dennis Hendriks   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 4
    updated Nov 27, 2023
  • #689 Fix CIF explorer crashing on models with minimum integer value
    !701 · created Nov 25, 2023 by Dennis Hendriks   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 1
    updated Nov 27, 2023
  • #272 JavaScript code generation: added UI/CSS
    !699 · created Nov 23, 2023 by Rik Lubking   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 29
    updated Nov 27, 2023
  • #688 Fix icon name of CIF to PLC application.
    !698 · created Nov 21, 2023 by Albert Hofkamp   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 0
    updated Nov 21, 2023
  • #676 Insert empty line between different event transitions
    !697 · created Nov 20, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 27
    updated Nov 23, 2023
  • #593 Allow annotations on locations
    !695 · created Nov 19, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 2
    updated Nov 21, 2023
  • #685 Renamed CIF application menu item icons to 'cif_app.png'
    !694 · created Nov 16, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 3
    updated Nov 20, 2023
  • #683 CIF codegen: configure linearization to be consistent with precondition check
    !691 · created Nov 11, 2023 by Dennis Hendriks   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 7
    updated Nov 13, 2023
  • #676 PLCgen: Connect PLCgen with the GUI.
    !690 · created Nov 10, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 28
    updated Nov 20, 2023
  • #676 PLCgen: Forbid use of user-defined functions.
    !689 · created Nov 10, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 3
    updated Nov 14, 2023
  • #679 PLCgen: Introduce infix/informal/formal supported notations for function calls.
    !688 · created Nov 10, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 99
    updated Nov 20, 2023
  • #667 Support logical implication operator in CIF to mCRL2
    !687 · created Nov 02, 2023 by Martijn Goorden   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 2
    updated Nov 02, 2023
  • #272 Added utils classes for JavasScript export function.
    !686 · created Nov 02, 2023 by Rik Lubking   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 62
    updated Nov 23, 2023
  • #669 Added history page to CIF documentation
    !685 · created Oct 31, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 80
    updated Nov 20, 2023
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 16
  • Next

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