Skip to content
GitLab
Explore
Sign in
Open
4
Merged
861
Closed
45
All
910
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Milestone due date
#757 Test models produced by CIF tools in integration tests for being valid (2nd part)
!808
· created
Feb 14, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Feb 15, 2024
#437 Allow easy switching between website versions
!807
· created
Feb 13, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
3
Approved
updated
Feb 15, 2024
#679 PLCgen: Avoid getting double underscore characters in generated names.
!806
· created
Feb 13, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
14
Approved
updated
Feb 16, 2024
#679 PLCgen: Introduce edge selection variables by automaton in event transition code
!805
· created
Feb 13, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
8
Approved
updated
Feb 19, 2024
#757 Test models produced by CIF to CIF integration tests are checked for being valid
!804
· created
Feb 12, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Feb 13, 2024
#759 Improve clean_build_output.py script.
!803
· created
Feb 12, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
5
Approved
updated
Feb 13, 2024
#364 Add 'mri_event' and 'mri_state' CIF benchmarks.
!802
· created
Feb 12, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
18
Approved
updated
Feb 14, 2024
#765 Upgrade to eclipse dash version 1.1.1.
!800
· created
Feb 08, 2024
by
Ferdie Reijnen
v3.0
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Feb 09, 2024
#768 CIF pretty printer produces comment if specification is empty.
!799
· created
Feb 06, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 07, 2024
#681 PLCgen: Improve prechecking error reports.
!798
· created
Feb 06, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
53
Approved
updated
Jul 10, 2024
#269 CIF BDD and data-based synthesis: Use collectEvents/collectAutomata from CifCollectUtils.
!797
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Closed
3
updated
Feb 06, 2024
#764 Adhere to new requirements for developer info.
!795
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
2
Approved
updated
Feb 05, 2024
#38 Website: generated JS file now has a license header
!794
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
4
Approved
updated
Feb 06, 2024
#766 CIF website: made the 'learn more' statement complete.
!793
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 05, 2024
#424 Migrate CIF code generator precondition checks to the CIF checker framework
!792
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Feb 05, 2024
#763 Add 'TM Terminal' feature to Eclipse ESCET dev env.
!790
· created
Feb 02, 2024
by
Dennis Hendriks
v3.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Feb 03, 2024
#758 Upgrade to Tycho 4.0.5.
!787
· created
Feb 01, 2024
by
Ferdie Reijnen
v3.0
RelEng/DevOps
Type
Enhancement
Merged
4
Approved
updated
Feb 01, 2024
#679 PLCgen: Move timer variable + block instance creation to code storage
!785
· created
Jan 29, 2024
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Merged
64
Approved
updated
Feb 09, 2024
#754 Disabled 'linked resources' feature in ESCET IDE and ESCET dev env
!782
· created
Jan 28, 2024
by
Dennis Hendriks
v3.0
Products
RelEng/DevOps
Type
Enhancement
Merged
Approved
updated
Jan 29, 2024
#752 Event-based automata projection docs: add more output expectations.
!780
· created
Jan 28, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
4
Approved
updated
Jan 28, 2024
Prev
1
…
16
17
18
19
20
21
22
23
24
…
46
Next
