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

  • Subscribe to RSS feed
  • #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
  • #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
  • #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
  • #679 PLCgen: Add formal invoke options
    !683 · created Oct 31, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Closed
    • 56
    updated Nov 13, 2023
  • #672 Improved CIF type checker messages for component definition/instantiation mismatch
    !677 · created Oct 29, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 7
    updated Nov 13, 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 CIF code generator: add JavaScript as code generation target
    !681 · created Oct 30, 2023 by Rik Lubking   v2.0
    CIF TypeEnhancement
    • Merged
    • 23
    updated Nov 02, 2023
  • #682 Fix default target language in CIF code generator documentation.
    !684 · created Oct 31, 2023 by Dennis Hendriks   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 0
    updated Nov 02, 2023
  • #676 PLCgen: Postpone remaining options to after the first release
    !675 · created Oct 26, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Closed
    • 3
    updated Oct 31, 2023
  • #675 PLCgen Siemens target: location variables get assigned non-existing values.
    !682 · created Oct 31, 2023 by Albert Hofkamp   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 1
    updated Oct 31, 2023
  • #680 CIF merger checks annotation post-check constraints after merge.
    !678 · created Oct 29, 2023 by Dennis Hendriks   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 1
    updated Oct 30, 2023
  • #593 CIF docs: indicate whether/how tools support/handle annotations.
    !679 · created Oct 29, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 1
    updated Oct 30, 2023
  • #630 PLCgen: Add continous variables as timers
    !664 · created Oct 11, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 158
    updated Oct 30, 2023
  • #676 Make 'plcgen' available from ToolDef
    !674 · created Oct 26, 2023 by Albert Hofkamp   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 9
    updated Oct 30, 2023
  • #596 plcgen: Generate transition functions
    !619 · created Jun 30, 2023 by Albert Hofkamp   v1.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 191
    updated Oct 30, 2023
  • #272 JavaScript code generation step 1: add export menu option
    !680 · created Oct 30, 2023 by Rik Lubking   v2.0
    CIF TypeEnhancement
    • Closed
    • 3
    updated Oct 30, 2023
  • #678 Free dropped bits for CifBddBitVector resize.
    !672 · created Oct 21, 2023 by Ferdie Reijnen   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 7
    updated Oct 24, 2023
  • #593 Add annotations + doc annotations info to CIF reference manual.
    !667 · created Oct 15, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 53
    updated Oct 24, 2023
  • #648 CIF metamodel: rename parameters/params to arguments.
    !670 · created Oct 15, 2023 by Dennis Hendriks   v2.0
    CIF TypeEnhancement
    • Merged
    • Approved
    • 8
    updated Oct 21, 2023
  • #661 Large expressions in exception reporting crash the CIF simulator
    !671 · created Oct 16, 2023 by Martijn Goorden   v2.0
    CIF TypeBug
    • Merged
    • Approved
    • 14
    updated Oct 16, 2023
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • …
  • 17
  • Next

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