Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
7
Merged
557
Closed
38
All
602
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}}
Priority
#553 Event-based synthesis: warn if no requirement automata.
!566
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
0
updated
Apr 28, 2023
#571 ToolDef readlines/writefile improvements
!563
· created
Apr 27, 2023
by
Dennis Hendriks
v0.10
ToolDef
Type
Enhancement
Merged
5
updated
Apr 28, 2023
#399 #468 #221 Upgrade to Eclipse 2023-03 with in-place upgrade
!560
· created
Apr 23, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
32
updated
May 30, 2023
#567 Added launch configuration to run stand-alone cifsim for tank model from devenv
!558
· created
Apr 20, 2023
by
Patrick van Berkel
v0.10
CIF
Type
Enhancement
Merged
Approved
8
updated
Apr 22, 2023
#559 Add PLCgen expression generator.
!553
· created
Apr 06, 2023
by
Albert Hofkamp
v0.10
CIF
Type
Enhancement
Merged
Approved
165
updated
Apr 25, 2023
#564 CIF benchmark script: use normal output instead of debug output.
!552
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
Approved
3
updated
Apr 03, 2023
#563 Improve CIF data-synthesis main fixed point loop sections
!550
· created
Apr 02, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Merged
4
updated
Apr 04, 2023
#279 pom.xml surefire updates: 3.0.0-M5 to 3.0.0.
!549
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Apr 03, 2023
#560 Development/release process updates: no more CQs and IP Logs.
!548
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Apr 03, 2023
#557 Prepare Git repo for v0.10 development
!547
· created
Apr 01, 2023
by
Dennis Hendriks
v0.10
RelEng/DevOps
Type
Enhancement
Merged
Approved
0
updated
Apr 03, 2023
#485 CIF simulator state viz column width support performance improved.
!450
· created
Dec 22, 2022
by
Dennis Hendriks
CIF
Type
Bug
Merged
Approved
5
updated
Jan 02, 2023
#446 CIF: Equal/Unequal on combination of ints and reals is inconsistent
!418
· created
Nov 19, 2022
by
Ferdie Reijnen
CIF
Type
Bug
Merged
Approved
8
updated
Dec 15, 2022
#290 git-repo.asciidoc has not been updated
!254
· created
Jan 09, 2022
by
Ferdie Reijnen
RelEng/DevOps
Type
Bug
Merged
Approved
0
updated
Jan 09, 2022
#189 contributing.asciidoc: more URL escaping to prevent links.
!153
· created
Sep 28, 2021
by
Dennis Hendriks
Products
Type
Bug
Merged
0
updated
Sep 28, 2021
#179 Documented location of eclipse.ini file on MacOS
!142
· created
Sep 25, 2021
by
Martijn Goorden
Products
Type
Bug
Merged
7
updated
Sep 26, 2021
#163 Updated datasynth documentation.
!130
· created
Aug 31, 2021
by
Ferdie Reijnen
CIF
Type
Bug
Merged
1
updated
Sep 02, 2021
#497 Change year to 2023
!467
· created
Jan 03, 2023
by
Ferdie Reijnen
RelEng/DevOps
Type
Enhancement
Merged
Approved
6
updated
Jan 03, 2023
#484 Release Eclipse ESCET also for macOS aarch64
!451
· created
Dec 22, 2022
by
Dennis Hendriks
RelEng/DevOps
Type
Enhancement
Merged
4
updated
Dec 31, 2022
#424 Migrate CIF tool precondition checkers for CIF to UPPAAL to new common CIF checkers framework.
!387
· created
Oct 15, 2022
by
Ferdie Reijnen
CIF
Type
Enhancement
Merged
Approved
32
updated
Nov 22, 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
Prev
1
…
21
22
23
24
25
26
27
28
Next
