Skip to content
GitLab
Explore
Sign in
Open
0
Merged
653
Closed
33
All
686
Merge trains
Recent searches
Loading
{{ 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
#739 Improve CIF tutorial lesson on initialization predicates.
!1017
· created
Aug 01, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Aug 02, 2024
#73 Split ESCET end-user and developer documentation into two separate documentation sets.
!162
· created
Oct 08, 2021
by
Dennis Hendriks
v0.4
CIF
Chi
Common
Products
SeText
ToolDef
Type
Enhancement
Merged
1
updated
Oct 17, 2021
#740 Add syntax highlighting to the documentation (website / Eclipse help only)
!774
· created
Jan 25, 2024
by
Dennis Hendriks
v3.0
CIF
Chi
Products
SeText
ToolDef
Type
Enhancement
Merged
2
Approved
updated
Jan 26, 2024
#742 Add SBE course Module 5
!1138
· created
Nov 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
87
Approved
updated
Nov 12, 2024
#742 Add SBE course modules 1.2 and 1.3.
!970
· created
Jul 16, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
74
Approved
updated
Nov 11, 2024
#742 Add SBE course, with home page, module 1 introduction, and module 1.1.
!966
· created
Jul 09, 2024
by
Dennis Hendriks
v5.0
CIF
Type
Enhancement
Merged
28
Approved
updated
Jul 15, 2024
#742 SBE course: add modules 1.3 - 4 + course files + some other improvements
!1089
· created
Oct 11, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
7
Approved
updated
Oct 14, 2024
#742 SBE course: finalized first version (only 5 modules, other improvements)
!1156
· created
Nov 26, 2024
by
Dennis Hendriks
v6.0
CIF
Type
Enhancement
Merged
26
updated
Dec 01, 2024
#745 Remove 'ball_sorting' CIF benchmark model + scripts.
!850
· created
Mar 31, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Bug
Merged
Approved
updated
Apr 02, 2024
#749 Removed trailing space from 'cif.bnf'.
!776
· created
Jan 27, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Bug
Merged
Approved
updated
Jan 27, 2024
#750 Fix typos (plural->singular) in PlantsRefsReqsChecker warnings.
!777
· created
Jan 28, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Bug
Merged
Approved
updated
Jan 28, 2024
#751 Fixed 'Sumpremica' typo in Ball sorting model source information.
!778
· created
Jan 28, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Bug
Merged
Approved
updated
Jan 28, 2024
#752 Event-based automata projection docs: add more output expectations.
!780
· created
Jan 28, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
4
Approved
updated
Jan 28, 2024
#756 Remove 'no duplicate state annotations per automaton' constraint.
!786
· created
Jan 30, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Bug
Merged
Approved
updated
Jan 31, 2024
#757 Test models produced by CIF multilevel tests for being valid
!908
· created
Jun 01, 2024
by
Dennis Hendriks
v4.0
CIF
Type
Enhancement
Merged
Approved
updated
Jun 03, 2024
#757 Test models produced by CIF to CIF integration tests are checked for being valid
!804
· created
Feb 12, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
1
Approved
updated
Feb 13, 2024
#757 Test models produced by CIF tools in integration tests for being valid (2nd part)
!808
· created
Feb 14, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
2
Approved
updated
Feb 15, 2024
#757 Test models produced by CIF tools in integration tests for being valid (part 3, event-based toolset)
!812
· created
Feb 18, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 19, 2024
#762 CIF Ecore docs: add missing element type for 'Delete' function.
!789
· created
Feb 02, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Bug
Merged
Approved
updated
Feb 05, 2024
#766 CIF website: made the 'learn more' statement complete.
!793
· created
Feb 04, 2024
by
Dennis Hendriks
v3.0
CIF
Type
Enhancement
Merged
Approved
updated
Feb 05, 2024
Prev
1
…
22
23
24
25
26
27
28
29
30
…
33
Next
