Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
Merge requests
Open
6
Merged
63
Closed
2
All
71
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{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}}
Created date
added ci
gqm-coq!1
· created
Apr 25, 2018
by
Michael Sammler
MERGED
0
updated
Apr 25, 2018
Docu
gqm-coq!2
· created
Jun 08, 2018
by
Michael Sammler
MERGED
0
updated
Jun 08, 2018
Polynomial functor
copar!1
· created
Jul 17, 2018
by
Thorsten Wißmann
MERGED
0
updated
Jul 18, 2018
Exponentials
copar!2
· created
Jul 18, 2018
by
Thorsten Wißmann
MERGED
0
updated
Jul 19, 2018
Add build script that wraps stack
copar!3
· created
Jul 26, 2018
by
Thorsten Wißmann
MERGED
3
updated
Jul 29, 2018
WIP: Add converter from PRISM models to our syntax
copar!4
· created
Aug 15, 2018
by
Thorsten Wißmann
MERGED
0
updated
Jun 02, 2020
Features/true monoids
copar!5
· created
Oct 23, 2018
by
Thorsten Wißmann
MERGED
0
updated
Oct 25, 2018
Functor subexpression absorbing
copar!6
· created
Oct 27, 2018
by
Thorsten Wißmann
MERGED
7
updated
Nov 02, 2018
Rename the functor H to F
copar!7
· created
Nov 09, 2018
by
Thorsten Wißmann
MERGED
0
updated
Nov 09, 2018
Use exact comparision for doubles
copar!8
· created
Nov 15, 2018
by
Thorsten Wißmann
MERGED
2
updated
Nov 16, 2018
Rationals
copar!9
· created
Nov 15, 2018
by
Thorsten Wißmann
MERGED
0
updated
Nov 16, 2018
Linux bin artifacts
copar!10
· created
Nov 26, 2018
by
Thorsten Wißmann
MERGED
10
updated
Nov 30, 2018
WIP: WEB!
copar!11
· created
Dec 13, 2018
by
Thorsten Wißmann
1
updated
Dec 13, 2018
WIP: Random WTA generator
copar!12
· created
Mar 18, 2019
by
Thorsten Wißmann
MERGED
5
updated
Apr 12, 2019
Fixes
copar!13
· created
Mar 21, 2019
by
Thorsten Wißmann
MERGED
1
updated
Mar 22, 2019
WIP: WTA Benchmarks
copar-benchmarks!1
· created
Mar 26, 2019
by
Hans-Peter Deifel
MERGED
0
updated
Mar 27, 2019
Implement true rationals
copar!14
· created
May 29, 2019
by
Hans-Peter Deifel
MERGED
0
updated
May 29, 2019
Add dune build system
cool!1
· created
Jul 30, 2019
by
Hans-Peter Deifel
v1.0 - The first "real" release
MERGED
Approved
1
10
updated
May 21, 2021
CI Improvements
cool!2
· created
Aug 01, 2019
by
Merlin
MERGED
7
updated
Aug 01, 2019
Add licensing info
cool!3
· created
Aug 02, 2019
by
Merlin
MERGED
2
updated
Aug 05, 2019
Prev
1
2
3
4
Next
