Skip to content
GitLab
Explore
Sign in
Open
8
Merged
565
Closed
28
All
601
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}}
Popularity
#459 Improve CIF data-based synthesis documentation on supported updated/expressions/predicates
!425
· created
Nov 27, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Enhancement
Merged
10
1
Approved
updated
Dec 01, 2022
#357 Update CIF documentation for recent Inkscape versions
!397
· created
Oct 22, 2022
by
Martijn Goorden
v0.8
CIF
Type
Bug
Merged
40
1
updated
Nov 24, 2022
#439 Get rid of references to 'receive(d) variables'.
!391
· created
Oct 15, 2022
by
Dennis Hendriks
v0.8
CIF
Type
Bug
Merged
1
Approved
updated
Oct 17, 2022
#438 Various small JavaDoc/documentation fixes/improvements.
!390
· created
Oct 15, 2022
by
Dennis Hendriks
v0.8
CIF
Common
Type
Enhancement
Merged
1
Approved
updated
Oct 17, 2022
#419 Added Oisterwijksebaan bridge real-world CIF synthesis example
!370
· created
Sep 25, 2022
by
Dennis Hendriks
v0.7
CIF
Type
Enhancement
Merged
16
1
updated
Sep 29, 2022
#172 AsciiDoc source file/folder renames
!146
· created
Sep 26, 2021
by
Dennis Hendriks
v0.3
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
2
1
updated
Sep 27, 2021
#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
updated
Sep 09, 2024
#715 Enable CIF code generator integration tests also for JS/HTML.
!1059
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
1
updated
Sep 09, 2024
#849 PLCgen S7 docs: update/improve/fix documentation.
!1058
· created
Sep 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
2
updated
Sep 09, 2024
#968 PLCgen: fix operator priority for binary '-'
!1057
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
updated
Sep 08, 2024
#980 PLCgen: fix event functions and their calls.
!1056
· created
Sep 08, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
updated
Sep 08, 2024
#965 PLCgen: iteration limit is bounded response property + 1, and fix loop killed condition.
!1055
· created
Sep 07, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
2
updated
Sep 09, 2024
#901 #921 PLCgen: S7 has additional naming constraints
!1054
· created
Sep 07, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
8
updated
Sep 09, 2024
#969 PLCgen: fix constants having another constant as value.
!1053
· created
Sep 05, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
4
Approved
updated
Sep 06, 2024
#967 PLCgen: don't crash on reading invalid I/O table file.
!1052
· created
Sep 05, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
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
Approved
updated
Sep 05, 2024
#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
4
Approved
updated
Sep 05, 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
#935 #912 PLCgen: Add transitions in functions
!1046
· created
Aug 27, 2024
by
Albert Hofkamp
v5.0
CIF
Type
Bug
Merged
40
Approved
updated
Aug 31, 2024
#964 CIF controller properties checker: termination request fix/improve.
!1045
· created
Aug 23, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Bug
Merged
Approved
updated
Aug 25, 2024
Prev
1
2
3
4
5
…
31
Next
