Skip to content
GitLab
Explore
Sign in
Open
5
Merged
588
Closed
28
All
621
Recent searches
{{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
#19 Release notes updates for v0.1 + documentation improvements.
!19
· created
Mar 03, 2021
by
Dennis Hendriks
v0.1
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
8
updated
Mar 05, 2021
#202 Full test coverage for Chi/CIF/SeText/ToolDef scanner/parser hooks classes
!178
· created
Oct 31, 2021
by
Dennis Hendriks
v0.4
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
Merged
2
updated
Nov 04, 2021
#203 Allow initializing input variables in the CIF simulator via a simulator option.
!165
· created
Oct 15, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Enhancement
Merged
47
updated
Oct 25, 2021
#205 Fixed SVG viewer save as SVG file crash.
!166
· created
Oct 19, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Bug
Merged
2
updated
Oct 20, 2021
#205 Include org.apache.xml.serializer in common feature.
!184
· created
Nov 09, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Bug
Merged
Approved
updated
Nov 09, 2021
#207 Don't crash SvgViewer if SVG file can't be loaded.
!169
· created
Oct 26, 2021
by
Dennis Hendriks
v0.4
CIF
Chi
Common
Type
Bug
Merged
1
updated
Oct 28, 2021
#208 Removed bundle activators.
!170
· created
Oct 27, 2021
by
Dennis Hendriks
v0.4
CIF
Common
Type
Enhancement
Merged
1
updated
Nov 02, 2021
#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 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 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
Prev
1
2
3
4
5
6
7
…
32
Next
