Skip to content
GitLab
Explore
Sign in
Open
0
Merged
653
Closed
33
All
686
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}}
Label priority
#593 Allow annotations on continuous variables.
!813
· created
Feb 18, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 19, 2024
#757 Test models produced by CIF tools in integration tests for being valid (part 3, event-based toolset)
!812
· created
Feb 18, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 19, 2024
#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
#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
#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
#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
#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
#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
#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
#269 Small improvements in CIF/BDD plugin
!779
· created
Jan 28, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Jan 28, 2024
#740 Add syntax highlighting to the documentation (website / Eclipse help only)
!774
· created
Jan 25, 2024
by
Dennis Hendriks
v3.0
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
2
Approved
updated
Jan 26, 2024
#269 Improve CIF/BDD and synthesis settings classes
!773
· created
Jan 25, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Jan 27, 2024
#706 Move CIF/BDD-related classes from synthesis to a new CIF/BDD plugin.
!772
· created
Jan 22, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Jan 23, 2024
#706 CIF data-based synthesis: more renaming and splitting synthesis/non-synthesis parts
!771
· created
Jan 18, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
29
Approved
updated
Jan 22, 2024
Prev
1
…
16
17
18
19
20
21
22
23
24
…
35
Next
