Skip to content
GitLab
Explore
Sign in
Open
3
Merged
738
Closed
43
All
784
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}}
Popularity
#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
#197 Add option to define edge order in databased synthesis.
!180
· created
Nov 05, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Enhancement
Merged
54
updated
Nov 12, 2021
#54 Changed hyphens to asterisks for unordered lists.
!179
· created
Nov 01, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
Approved
updated
Nov 01, 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
#214 Added Assert.areEqual
!177
· created
Oct 31, 2021
by
Dennis Hendriks
v0.4
Common
Type
Enhancement
Merged
Approved
updated
Oct 31, 2021
#213 Improved Jenkins build (artifacts) retention.
!176
· created
Oct 31, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Enhancement
Merged
1
Approved
updated
Nov 04, 2021
#211 Upgrade to JavaBDD 2.0.0.
!174
· created
Oct 30, 2021
by
Dennis Hendriks
v0.4
Third party
Type
Enhancement
Merged
1
Approved
updated
Nov 04, 2021
#210 Railroad diagram generator config file option doesn't support relative file path
!173
· created
Oct 29, 2021
by
Ferdie Reijnen
v0.4
RelEng/DevOps
Type
Enhancement
Merged
5
Approved
updated
Oct 31, 2021
#54 General documentation style/source improvements
!171
· created
Oct 28, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
15
Approved
updated
Oct 31, 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
#206 Renamed update site zip to match other downloads.
!168
· created
Oct 24, 2021
by
Dennis Hendriks
v0.4
Products
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Oct 25, 2021
#35 New static home/landing webpages to replace placeholder and AsciiDoc-generated home/landing pages
!167
· created
Oct 20, 2021
by
Dennis Hendriks
v0.4
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
38
updated
Oct 29, 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
#199 Open large CIF files with standard text editor, not CIF editor
!164
· created
Oct 11, 2021
by
Dennis Hendriks
v0.4
CIF
Type
Enhancement
Closed
10
updated
Oct 17, 2022
#73 Split ESCET end-user and developer documentation into two separate documentation sets.
!162
· created
Oct 08, 2021
by
Dennis Hendriks
v0.4
CIF
Chi
Common
Products
SeText
ToolDef
Type
Enhancement
Merged
1
updated
Oct 17, 2021
#73 Merged SeText into ESCET documentation
!161
· created
Oct 06, 2021
by
Dennis Hendriks
v0.4
Common
Products
SeText
Type
Enhancement
Merged
1
updated
Oct 07, 2021
#34 Added code coverage reports + launch configuration improvements + dev doc update
!160
· created
Oct 03, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Enhancement
Merged
12
updated
Oct 06, 2021
#107 Data-based synthesis should support state plant invariants
!159
· created
Oct 01, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
111
Approved
updated
Mar 12, 2022
#200 Improved Assert class messages.
!158
· created
Oct 01, 2021
by
Dennis Hendriks
v0.4
Common
Type
Enhancement
Merged
5
updated
Oct 04, 2021
#193 Prepare Git repo for v0.4.
!157
· created
Oct 01, 2021
by
Dennis Hendriks
v0.4
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Oct 01, 2021
Prev
1
…
32
33
34
35
36
37
38
39
40
Next