Merge requests · Software

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

S Software
Group information
- Group information
- Activity
- Labels
- Members
Issues 46
- Issues 46
- List
- Board
- Milestones
Merge requests 6
- Merge requests 6
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

Software
Merge requests

Open 6
Merged 64
Closed 2
All 72

further cleanup

copar!42 · created Oct 21, 2020 by Bastian Kauschke
- Merged
- 3
updated Oct 22, 2020
small cleanup

copar!41 · created Oct 19, 2020 by Bastian Kauschke
- Merged
- 2
updated Oct 20, 2020
remove redundant calls to `statesOfBlock` in `Minimize`

copar!40 · created Oct 16, 2020 by Bastian Kauschke
- Merged
- 0
updated Oct 19, 2020
time minimize

copar!38 · created Oct 13, 2020 by Bastian Kauschke
- Merged
- 0
updated Oct 19, 2020
Reachability

copar!37 · created Sep 25, 2020 by Hans-Peter Deifel
- Merged
- Approved
- 10
updated Oct 06, 2020
Expose coalgebra printing as debug command

copar!35 · created Sep 03, 2020 by Hans-Peter Deifel
- Merged
- Approved
- 3
updated Sep 25, 2020
minimize

copar!33 · created Sep 01, 2020 by Bastian Kauschke
- Merged
- 21
updated Sep 25, 2020
Implement converter for the grammar rules of the berkeleyparser

copar!36 · created Sep 10, 2020 by Thorsten Wißmann
- Merged
- 0
updated Sep 17, 2020
update primitive to >= 0.7.1.0

copar!32 · created Aug 10, 2020 by Bastian Kauschke
- Merged
- 3
updated Aug 31, 2020
Test release flag in ci

copar!30 · created Jul 23, 2020 by Hans-Peter Deifel
- Merged
- 0
updated Aug 05, 2020
fix `stack test --flag copar:RELEASE`

copar!31 · created Aug 05, 2020 by Bastian Kauschke
- Merged
- 0
updated Aug 05, 2020
implement coalgebra printing

copar!29 · created Jun 25, 2020 by Bastian Kauschke
- Merged
- 37
updated Jul 30, 2020
replace Printable with FunctorDescription

copar!28 · created Jun 05, 2020 by Bastian Kauschke
- Merged
- 9
updated Jun 23, 2020
reuse FunctorDescription

copar!26 · created May 27, 2020 by Bastian Kauschke
- Merged
- 13
updated Jun 03, 2020
Use Z in zigzag

copar!27 · created Jun 02, 2020 by Thorsten Wißmann
- Merged
- 2
updated Jun 03, 2020
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
Remove PrettyPrint

copar!25 · created May 25, 2020 by Bastian Kauschke
- Merged
- 5
updated May 26, 2020
printParseableFunctor: omit unnecessary braces

copar!24 · created May 18, 2020 by Bastian Kauschke
- Merged
- 11
updated May 20, 2020
Implement a parsable functor-expression printer

copar!23 · created May 11, 2020 by Bastian Kauschke
- Merged
- 7
updated May 18, 2020
reenable GroupValued Int parsing

copar!22 · created May 11, 2020 by Bastian Kauschke
- Merged
- 8
updated May 13, 2020

Prev
1
2
3
4
Next