Skip to content
GitLab
Explore
Sign in
Open
0
Merged
650
Closed
33
All
683
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
#738 Cleanup and move some small steps in multilevel synthesis
!1150
· created
Nov 20, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
24
Approved
updated
Nov 21, 2024
#1022 PLCgen: Fix expected output of the new 1055 test-case.
!1148
· created
Nov 19, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Nov 19, 2024
#1022 PLCgen: Move the model overview to the end of the main file
!1145
· created
Nov 18, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Nov 19, 2024
#621 Bounded response check prints cycle states in check result details.
!1144
· created
Nov 17, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
21
Approved
updated
Nov 19, 2024
#621 Bounded response check: print details about edges enabled in cycles
!1142
· created
Nov 13, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Nov 14, 2024
#742 Add SBE course Module 5
!1138
· created
Nov 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
87
Approved
updated
Nov 12, 2024
#1048 Move print output and text formatting documentation from CIF simulator documentation to CIF language tutorial and reference manual
!1127
· created
Nov 03, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Nov 08, 2024
#227 CIF tutorial input variables lesson: add SVG interaction example.
!1126
· created
Nov 03, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
4
updated
Nov 08, 2024
#227 CIF type checker: warn for convoluted references to addressables of edges of automata
!1125
· created
Nov 03, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
Approved
updated
Nov 05, 2024
#227 CIF metamodel docs: no simulation/simulator-specific descriptions.
!1124
· created
Nov 03, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
Approved
updated
Nov 04, 2024
#227 #778 CIF simulator supports environment events + SVG input mappings with updates
!1123
· created
Nov 02, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
52
Approved
updated
Nov 13, 2024
#1021 Added CIF type checker warning for CIF/SVG output mapping with transformation on element whose ancestor has rotate/matrix/scale/skew
!1122
· created
Nov 01, 2024
by
Ferdie Reijnen
v6.0
CIF
Type
Enhancement
Merged
21
Approved
updated
Nov 08, 2024
#1023 PLCgen: Improve documentation of PLC internal variables.
!1119
· created
Oct 29, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Nov 09, 2024
#1015 Move CIF simulator SVG documentation partly to CIF language tutorial and CIF language reference manual
!1115
· created
Oct 27, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
Approved
updated
Nov 03, 2024
#1021 CIF type checker: add warnings for SVG transforms that don't do what you expect that they do
!1114
· created
Oct 27, 2024
by
Ferdie Reijnen
v6.0
CIF
Type
Enhancement
Merged
14
Approved
updated
Oct 30, 2024
#957 CIF/BDD saturation reachability: print edges/variables matrix as debug output
!1111
· created
Oct 25, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Oct 29, 2024
#679 PLCgen: Refactor "DeclaredType*" to "DerivedType*"
!1110
· created
Oct 24, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
16
Approved
updated
Oct 25, 2024
#738 Make data synthesis usable externally.
!1109
· created
Oct 23, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
30
Approved
updated
Oct 25, 2024
#994 PLCgen: generate code/type dependencies file
!1108
· created
Oct 22, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
13
Approved
updated
Oct 23, 2024
#1006 CIF controller checker's confluence check: interleave 'zero' variables
!1105
· created
Oct 19, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Oct 29, 2024
Prev
1
…
7
8
9
10
11
12
13
14
15
…
33
Next
