Skip to content
GitLab
Explore
Sign in
Open
0
Merged
665
Closed
33
All
698
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}}
Title
#209 Length Reduction option for yEd doesn't exist.
!172
· created
Oct 28, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
2
Approved
updated
Oct 29, 2021
#216 Cannot terminate GUI simulations with terminate button
!237
· created
Dec 15, 2021
by
Martijn Goorden
v0.4
CIF
Type
Enhancement
Merged
7
Approved
updated
Dec 16, 2021
#217 Have horizontal scroll bar in GUI simulation directly from the start
!244
· created
Dec 30, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
updated
Jan 04, 2022
#218 Generate warning or error for SVG input declarations when generating code.
!181
· created
Nov 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Enhancement
Merged
4
Approved
updated
Nov 08, 2021
#219 Corrected value for real debug output.
!182
· created
Nov 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
Approved
updated
Nov 08, 2021
#222 Use of a component parameter as a value is currently not supported.
!200
· created
Nov 17, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Enhancement
Merged
83
updated
Dec 05, 2021
#223 SVG viewer save as has duplicated file already exists warning.
!185
· created
Nov 09, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
1
Approved
updated
Nov 09, 2021
#225 CIF to mCRL2 transformation gives an incorrect warning when disabling default value actions
!186
· created
Nov 10, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
16
updated
Nov 10, 2021
#226 CIF to mCRL2 transformation: support 'tau' events
!1022
· created
Aug 06, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Aug 07, 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
#227 Added to simplify value docs that 'if' and 'elif' updates in SVG input mappings may be simplified.
!835
· created
Mar 20, 2024
by
Ferdie Reijnen
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Mar 20, 2024
#227 Allow assigning input variables via SVG input mapping
!720
· created
Dec 19, 2023
by
Ferdie Reijnen
v3.0
CIF
Type
Enhancement
Merged
58
Approved
updated
Mar 14, 2024
#227 CIF code generator for HTML does not yet support SVG input mappings with updates
!826
· created
Mar 16, 2024
by
Ferdie Reijnen
v3.0
CIF
Type
Enhancement
Merged
9
updated
Mar 18, 2024
#227 CIF code generator for HTML now supports SVG input mappings with updates + related improvements/fixes
!1153
· created
Nov 23, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
15
Approved
updated
Nov 29, 2024
#227 CIF merger: check that SVG input mappings with updates are still valid after merging
!833
· created
Mar 19, 2024
by
Ferdie Reijnen
v3.0
CIF
Type
Enhancement
Merged
3
Approved
updated
Mar 20, 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 CIF simulator does not yet support SVG input mappings with updates
!825
· created
Mar 15, 2024
by
Ferdie Reijnen
v3.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Mar 18, 2024
#227 CIF to CIF 'Eliminate if updates' transformation: support SVG input mappings with updates
!827
· created
Mar 16, 2024
by
Ferdie Reijnen
v3.0
CIF
Type
Enhancement
Merged
13
Approved
updated
Mar 18, 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
Prev
1
2
3
4
5
6
7
8
9
10
…
35
Next