Skip to content
GitLab
Explore
Sign in
Eclipse Projects
Eclipse ESCET (Supervisory Control Engineering Toolkit)
escet
Merge requests
Open
3
Merged
427
Closed
26
All
456
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}}
Title
#257 Configure Checkstyle for asciidoc files.
!221
· created
Dec 06, 2021
by
Ferdie Reijnen
v0.4
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
26
updated
Dec 09, 2021
#258 CIF pretty printer breaks for variables used as indices in tuples that are also field names
!227
· created
Dec 08, 2021
by
Ferdie Reijnen
v0.4
CIF
Type
Bug
Merged
Approved
34
updated
Dec 12, 2021
#269 Allow converting more/extra updates/predicates/expressions.
!814
· created
Feb 19, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
2
updated
Feb 20, 2024
#269 CIF BDD and data-based synthesis: Use collectEvents/collectAutomata from CifCollectUtils.
!797
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Closed
3
updated
Feb 06, 2024
#269 Improve CIF/BDD and synthesis settings classes
!773
· created
Jan 25, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
2
updated
Jan 27, 2024
#269 Make UnsupportedPredicateException public.
!816
· created
Feb 20, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
1
updated
Feb 20, 2024
#269 Small improvements in CIF/BDD plugin
!779
· created
Jan 28, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
0
updated
Jan 28, 2024
#272 Added utils classes for JavasScript export function.
!686
· created
Nov 02, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
Approved
62
updated
Dec 19, 2023
#272 CIF codegen: add SVG code generation to JavaScript code generator.
!721
· created
Dec 19, 2023
by
Dennis Hendriks
v2.0
CIF
Type
Enhancement
Merged
0
updated
Dec 19, 2023
#272 CIF code generator: add JavaScript as code generation target
!681
· created
Oct 30, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
23
updated
Nov 02, 2023
#272 CIF code generator: add SVG boilerplate code to JavaScript code generator
!716
· created
Dec 12, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Closed
239
updated
Dec 20, 2023
#272 Generate variables and functions for JavaScript export target
!710
· created
Dec 04, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
Approved
130
updated
Dec 19, 2023
#272 JavaScript code generation: added UI/CSS
!699
· created
Nov 23, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
Approved
29
updated
Nov 27, 2023
#272 JavaScript code generation: generate variables and functions boilerplate
!704
· created
Nov 27, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Merged
Approved
17
updated
Dec 01, 2023
#272 JavaScript code generation step 1: add export menu option
!680
· created
Oct 30, 2023
by
Rik Lubking
v2.0
CIF
Type
Enhancement
Closed
3
updated
Oct 30, 2023
#274 CIF simulator GUI input mode termination by red stop button leaves buttons enabled
!243
· created
Dec 30, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Enhancement
Merged
Approved
6
updated
Jan 05, 2022
#280 Debugging simulator code doesn't work
!242
· created
Dec 24, 2021
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
55
updated
Jan 06, 2022
#282 Multi assignments generated by CIF to PLC have wrong assignment syntax for some temporary variables
!245
· created
Jan 02, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
0
updated
Jan 03, 2022
#286 CIF to PLC transformation should not generate formal argument for 'NOT'
!247
· created
Jan 05, 2022
by
Ferdie Reijnen
v0.5
CIF
Type
Bug
Merged
Approved
0
updated
Jan 05, 2022
#297 #405 CIF event-based language equivalence check generates incorrect counterexamples
!362
· created
Aug 22, 2022
by
Ferdie Reijnen
v0.7
CIF
Type
Bug
Merged
67
updated
Sep 04, 2022
Prev
1
2
3
4
5
6
7
8
9
…
23
Next