Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
0
Merged
24
Closed
0
All
24
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
#810 SVG input update mapping example contains wrong syntax
!866
· created
Apr 25, 2024
by
Martijn Goorden
v4.0
CIF
Type
Bug
Merged
Approved
1
updated
Apr 25, 2024
#715 Replace final C89 to JavaScript in JS documentation.
!762
· created
Jan 09, 2024
by
Martijn Goorden
v3.0
CIF
Type
Bug
Merged
Approved
0
updated
Jan 09, 2024
#686 Confluence check: more debug output and more termination checking
!705
· created
Nov 28, 2023
by
Martijn Goorden
v2.0
CIF
Type
Enhancement
Merged
Approved
32
updated
Dec 04, 2023
#667 Support logical implication operator in CIF to mCRL2
!687
· created
Nov 02, 2023
by
Martijn Goorden
v2.0
CIF
Type
Enhancement
Merged
Approved
2
updated
Nov 02, 2023
#661 Large expressions in exception reporting crash the CIF simulator
!671
· created
Oct 16, 2023
by
Martijn Goorden
v2.0
CIF
Type
Bug
Merged
Approved
14
updated
Oct 16, 2023
#616 develop to master for v1.0-M1
!631
· created
Aug 17, 2023
by
Martijn Goorden
v1.0
master
RelEng/DevOps
Type
Enhancement
Merged
0
updated
Aug 17, 2023
#616 Release notes for v1.0-M1
!630
· created
Aug 16, 2023
by
Martijn Goorden
v1.0
RelEng/DevOps
Type
Enhancement
Merged
Approved
10
updated
Aug 17, 2023
#611 CIF simulator handles large expressions
!618
· created
Jun 30, 2023
by
Martijn Goorden
v2.0
CIF
Type
Bug
Merged
Approved
285
updated
Oct 06, 2023
#612 Create deprecation warning for switch with single case
!608
· created
Jun 15, 2023
by
Martijn Goorden
v0.10
CIF
Type
Enhancement
Merged
Approved
18
updated
Jun 24, 2023
#598 Add end-user documentation on switch statements.
!607
· created
Jun 15, 2023
by
Martijn Goorden
v0.10
CIF
Type
Enhancement
Merged
Approved
108
updated
Jun 23, 2023
#579 Update development setup documentation for JMV17
!575
· created
May 05, 2023
by
Martijn Goorden
v0.10
RelEng/DevOps
Type
Bug
Merged
Approved
1
updated
May 08, 2023
#544 Event-based synthesis should allow specifications without requirements.
!519
· created
Mar 03, 2023
by
Martijn Goorden
v0.9
CIF
Type
Enhancement
Merged
Approved
6
updated
Mar 04, 2023
#413 Print counter example path for language equivalence check
!503
· created
Feb 16, 2023
by
Martijn Goorden
v0.9
CIF
Type
Enhancement
Merged
Approved
33
updated
Feb 20, 2023
#525 CIF to CIF transformation to remove unused events
!499
· created
Feb 07, 2023
by
Martijn Goorden
v0.9
CIF
Type
Enhancement
Merged
Approved
23
updated
Feb 10, 2023
#483 Update macOS download instructions
!449
· created
Dec 21, 2022
by
Martijn Goorden
v0.9
Products
Type
Enhancement
Merged
Approved
5
updated
Dec 21, 2022
#357 Update CIF documentation for recent Inkscape versions
!397
· created
Oct 22, 2022
by
Martijn Goorden
v0.8
CIF
Type
Bug
Merged
1
40
updated
Nov 24, 2022
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example - small fixes
!376
· created
Sep 29, 2022
by
Martijn Goorden
CIF
Type
Enhancement
Merged
Approved
2
updated
Feb 18, 2023
#216 Cannot terminate GUI simulations with terminate button
!237
· created
Dec 15, 2021
by
Martijn Goorden
v0.4
CIF
Type
Enhancement
Merged
Approved
7
updated
Dec 16, 2021
#188 Move Convert CIF to Yed diagram to CIF miscellaneous tools
!226
· created
Dec 08, 2021
by
Martijn Goorden
v0.4
CIF
Type
Enhancement
Merged
Approved
13
updated
Feb 18, 2023
#236 Make paper/book/etc references in documentation consistent
!218
· created
Dec 05, 2021
by
Martijn Goorden
v0.4
CIF
Chi
RelEng/DevOps
ToolDef
Type
Enhancement
Merged
Approved
23
updated
Feb 18, 2023
Prev
1
2
Next