Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
7
Merged
398
Closed
27
All
432
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
#46 RuntimeJavaFileManager updates for Java 9+.
!60
· created
May 05, 2021
by
Dennis Hendriks
v0.2
CIF
Chi
Common
RelEng
Type
Bug
MERGED
0
updated
May 20, 2021
#470 Cleanup specialized Invariant pre-checkers.
!432
· created
Dec 07, 2022
by
Albert Hofkamp
v0.8
CIF
Type
Enhancement
5
updated
Dec 09, 2022
#47 CIF simulator crashes on assignment to dictionary with non-int key
!33
· created
Apr 13, 2021
by
Ferdie Reijnen
MERGED
3
updated
Apr 13, 2021
#49 CIF simulator crashes on too many invariants.
!44
· created
Apr 21, 2021
by
Ferdie Reijnen
MERGED
9
updated
Apr 21, 2021
#50 Rethink sign-off instructions/documentation.
!71
· created
May 17, 2021
by
Ferdie Reijnen
MERGED
3
updated
May 17, 2021
#51 Fix license header check exceptions for SeText documentation.
!56
· created
May 01, 2021
by
Dennis Hendriks
v0.2
SeText
Type
Enhancement
MERGED
2
updated
May 01, 2021
#51 Make SeText documentation multi-page like other documentation sets.
!48
· created
Apr 26, 2021
by
Ferdie Reijnen
MERGED
15
updated
Apr 30, 2021
#52 Updated/extended release process page.
!143
· created
Sep 25, 2021
by
Dennis Hendriks
v0.3
Products
RelEng
Type
Enhancement
MERGED
0
updated
Sep 28, 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
0
updated
Nov 01, 2021
#54 Codebox style improvements
!215
· created
Dec 01, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
MERGED
Approved
6
updated
Dec 05, 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
Approved
15
updated
Oct 31, 2021
#54 One empty line separation in documentation.
!217
· created
Dec 05, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
MERGED
Approved
6
updated
Dec 13, 2021
#54 single sentence per source line
!83
· created
Jun 05, 2021
by
Ferdie Reijnen
MERGED
7
updated
Jun 08, 2021
#54 Use https for links.
!219
· created
Dec 05, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
MERGED
Approved
6
updated
Dec 06, 2021
#55 Add option to change output automaton name for CIF state space generation
!35
· created
Apr 14, 2021
by
Ferdie Reijnen
MERGED
8
updated
Apr 14, 2021
#56 CIF linearization crashes on channel without sender.
!34
· created
Apr 13, 2021
by
Ferdie Reijnen
MERGED
4
updated
Apr 14, 2021
#57 Re-add Eclipse AsciiDoc Editor plugin to dev env (new update site).
!65
· created
May 10, 2021
by
Dennis Hendriks
v0.2
RelEng
Type
Bug
MERGED
0
updated
May 16, 2021
#57 Re-add Eclipse Checkstyle plugin to dev env + upgrade version.
!63
· created
May 07, 2021
by
Dennis Hendriks
v0.2
RelEng
Type
Bug
MERGED
0
updated
May 16, 2021
#57 Re-enable Maven build Eclipse help TOC generation.
!66
· created
May 10, 2021
by
Dennis Hendriks
v0.2
RelEng
Type
Bug
MERGED
0
updated
May 16, 2021
#57 Temporarily disable dl.bintray.com and geneclipsetoc in build.
!58
· created
May 03, 2021
by
Dennis Hendriks
v0.2
RelEng
Type
Bug
MERGED
0
updated
May 03, 2021
Prev
1
…
14
15
16
17
18
19
20
21
22
Next
