Skip to content
GitLab
Explore
Sign in
Open
2
Merged
1,009
Closed
53
All
1,064
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}}
Merged date
#69 Configure Eclipse Foundation account details for Git in Oomph setup
!54
· created
Apr 29, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
updated
May 03, 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
#66 CIF ElimComponentDefInst crashes on via parameter reference ending with a component instantiation.
!51
· created
Apr 29, 2021
by
Ferdie Reijnen
Merged
4
updated
Apr 30, 2021
#28 #29 Upgrade to Eclipse 2021-03 and Java 11.
!50
· created
Apr 27, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
8
updated
Apr 30, 2021
#70 Fixed console water mark settings.
!52
· created
Apr 29, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Bug
Merged
2
updated
Apr 30, 2021
#39 Fix CompParamWrapExpression for nested Def/Inst.
!49
· created
Apr 26, 2021
by
Dennis Hendriks
v0.2
CIF
Type
Bug
Merged
22
updated
Apr 28, 2021
#39 Fix ElimCompDefInst for nested parameters.
!42
· created
Apr 20, 2021
by
Ferdie Reijnen
Merged
6
updated
Apr 28, 2021
#61 Fix LessEqual and LessThan metamodel documentation.
!47
· created
Apr 23, 2021
by
Ferdie Reijnen
Merged
5
updated
Apr 23, 2021
#45 Deprecate old CIF enum declaration syntax 2.
!45
· created
Apr 21, 2021
by
Ferdie Reijnen
Merged
updated
Apr 21, 2021
#49 CIF simulator crashes on too many invariants.
!44
· created
Apr 21, 2021
by
Ferdie Reijnen
Merged
9
updated
Apr 21, 2021
#64 Allow just last year in license headers.
!39
· created
Apr 19, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Apr 21, 2021
#26 Distinguish dev and release builds.
!41
· created
Apr 19, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Jun 02, 2021
#26 Version number preparations for 0.2.0 + + updated release process
!40
· created
Apr 19, 2021
by
Dennis Hendriks
v0.2
RelEng/DevOps
Type
Enhancement
Merged
1
updated
Apr 21, 2021
#41 Fix errMalforumedUrl typo.
!43
· created
Apr 20, 2021
by
Ferdie Reijnen
Merged
updated
Apr 20, 2021
#45 Deprecate old CIF enum declaration syntax.
!37
· created
Apr 16, 2021
by
Ferdie Reijnen
Merged
25
updated
Apr 19, 2021
#59 mCRL2 transformation website: Supported specifications list is incomplete.
!36
· created
Apr 14, 2021
by
Ferdie Reijnen
Merged
1
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
#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
#37 Fix CIF simulator for empty initial predicates initialization.
!31
· created
Apr 11, 2021
by
Ferdie Reijnen
Merged
3
updated
Apr 13, 2021
Prev
1
…
45
46
47
48
49
50
51
Next
