Skip to content
GitLab
Explore
Sign in
Open
1
Merged
593
Closed
28
All
622
Recent searches
{{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}}
Title
#970 CIF execution scheme: defined it and ensured CIF code generator + PLCgen adhere to it
!1050
· created
Sep 04, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
6
Approved
updated
Sep 10, 2024
#971 CIF controller properties checker: bounded response check uses execution order
!1073
· created
Sep 28, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
27
Approved
updated
Oct 01, 2024
#973 CIF type checker: improve comp def/inst param count mismatch pos.
!1060
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Sep 10, 2024
#976 CIF SBE FIFO example: improve documentation
!1049
· created
Sep 03, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
Approved
updated
Sep 05, 2024
#977 CIF controller checker: warn if model has no input variables.
!1051
· created
Sep 04, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Sep 10, 2024
#980 PLCgen: fix event functions and their calls.
!1056
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
1
Approved
updated
Sep 10, 2024
#984 PLCgen: no more warnings for renaming loc pointers ending in dots.
!1062
· created
Sep 10, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
Approved
updated
Sep 10, 2024
#986 PLCgen event functions: don't directly assign input parameter.
!1065
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Sep 23, 2024
#992 EdgeWorksetAlgoOption: proper reference to its replacement 'Exploration strategy' option.
!1068
· created
Sep 21, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Sep 23, 2024
#993 PLCgen: First steps in cleaning up the generator backdoor communication
!1069
· created
Sep 25, 2024
by
Albert Hofkamp
v6.0
CIF
Type
Enhancement
Merged
17
Approved
updated
Oct 04, 2024
#997 CIF controller properties checker docs: the confluence check has BDD preconditions, not MDD ones.
!1074
· created
Sep 28, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Sep 30, 2024
#998 CIF codegen: fixes for type declarations and tuple field projections
!1080
· created
Oct 04, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Bug
Merged
Approved
updated
Oct 04, 2024
Draft: #307 Add CIF to CIF transformation to anonymize names
!270
· created
Feb 25, 2022
by
Dennis Hendriks
CIF
Type
Enhancement
Closed
1
updated
Feb 25, 2022
Draft: #316 Introduce small common position class in scanning and parsing
!271
· created
Feb 25, 2022
by
Albert Hofkamp
v0.6
CIF
Chi
Common
SeText
ToolDef
Type
Enhancement
Closed
32
updated
Apr 10, 2022
Draft: #368 Implement `cif2dsm` computation
!320
· created
May 17, 2022
by
Albert Hofkamp
v0.7
CIF
Type
Enhancement
Closed
122
updated
Aug 17, 2022
Draft: #378 CIF data-based synthesis variable ordering and reordering in one go.
!472
· created
Jan 09, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
5
updated
Mar 12, 2023
Draft: #382 Make plcgen0 accessible in ESCET.
!352
· created
Aug 08, 2022
by
Albert Hofkamp
CIF
Type
Enhancement
Closed
2
updated
Aug 11, 2022
Draft: #382 (take 2) Make plcgen0 accessible in ESCET.
!357
· created
Aug 11, 2022
by
Albert Hofkamp
v3.0
CIF
Type
Enhancement
Closed
4
updated
Dec 22, 2023
Draft: #454 New output for CIF checks
!464
· created
Jan 01, 2023
by
Dennis Hendriks
v0.9
CIF
Type
Enhancement
Closed
28
updated
Feb 21, 2023
Draft: #520 Add algorithm by Fei et al. (2014) to compute edge dependency sets
!595
· created
May 28, 2023
by
Dennis Hendriks
v0.10
CIF
Type
Enhancement
Closed
3
updated
May 29, 2023
Prev
1
…
27
28
29
30
31
32
Next
