Commits · 09b1f842bed2133a46c84eeb7c1fb4f6db49d145 · Software / CoPaR

Sep 03, 2020
- Expose coalgebra printing as debug command · 09b1f842
  Hans-Peter Deifel authored 4 years ago
  09b1f842
Aug 15, 2020
- upgrade stack in CI · 9c8dcff8
  Bastian Kauschke authored 4 years ago
  
  9c8dcff8
Aug 12, 2020
- update ci · f20ddc4b
  Bastian Kauschke authored 4 years ago
  
  f20ddc4b
- update dependencies · bf2b45db
  Bastian Kauschke authored 4 years ago
  
  bf2b45db
Aug 05, 2020
- Test release flag in ci · 8c406733
  Hans-Peter Deifel authored 4 years ago
  8c406733
- fix test with RELEASE · f7bf2f0e
  Bastian Kauschke authored 4 years ago
  
  f7bf2f0e
Aug 03, 2020
- fix SomeFunctor with RELEASE · aeea9622
  Bastian Kauschke authored 4 years ago
  
  aeea9622
Jul 30, 2020
- Merge branch 'ParseMorphism' [#29] · b6b5199b
  Hans-Peter Deifel authored 4 years ago
  
  b6b5199b
Jul 28, 2020
- refactor printFactor · a0f70d2d
  Bastian Kauschke authored 4 years ago
  
  a0f70d2d
- update tests · b1d2a7f1
  Bastian Kauschke authored 4 years ago
  
  b1d2a7f1
- add minimize command · 80ad7fed
  Bastian Kauschke authored 4 years ago
  
  80ad7fed
- implement PrintMorphism for all functors · 47afebfd
  Bastian Kauschke authored 4 years ago
  
  47afebfd
- introduce PrintMorphism · 8d95f59a
  Bastian Kauschke authored 4 years ago
  
  8d95f59a
- add example · 804c2989
  Bastian Kauschke authored 4 years ago
  
  804c2989
Jul 07, 2020
- Fix casing · 36298426
  Thorsten Wißmann authored 4 years ago
  
  36298426
Jul 02, 2020
- Update README.md · bb063f8b
  Thorsten Wißmann authored 4 years ago
  
  bb063f8b
- More links in the README.md · b576b10d
  Thorsten Wißmann authored 4 years ago
  
  b576b10d
- Mention git clone command in the INSTALL.md · 49f55c55
  Thorsten Wißmann authored 4 years ago
  
  49f55c55
- Reorder material · 9976bd03
  Thorsten Wißmann authored 4 years ago
  
  9976bd03
- Update README.md · 803b8aa0
  Thorsten Wißmann authored 4 years ago
  
  803b8aa0
- Format literature. · 1b2eb48e
  Thorsten Wißmann authored 4 years ago
  
  1b2eb48e
- Update README.md · b78e032b
  Thorsten Wißmann authored 4 years ago
  
  b78e032b
- Fix markdown link · 7cbe4dbc
  Thorsten Wißmann authored 4 years ago
  
  7cbe4dbc
- More documentation mentioning literature · caaf71e5
  Thorsten Wißmann authored 4 years ago
  
  caaf71e5
Jun 25, 2020
- remove printMorphismPoint from ParseMorphism · a45aaa41
  Bastian Kauschke authored 4 years ago
  
  a45aaa41
Jun 23, 2020
- Merge branch 'FunctorDescription' [#28] · 632f9f24
  Hans-Peter Deifel authored 4 years ago
  
  632f9f24
- remove Printable · 92a63e1b
  Bastian Kauschke authored 4 years ago
  
  92a63e1b
- update tests · 6760be29
  Bastian Kauschke authored 5 years ago and Bastian Kauschke committed 4 years ago
  
  6760be29
- use FunctorDescription precedence · 89199390
  Bastian Kauschke authored 5 years ago and Bastian Kauschke committed 4 years ago
  
  89199390
Jun 03, 2020
- Merge branch 'FunctorDescription' [#26] · cabf9b4c
  Hans-Peter Deifel authored 5 years ago
  
  cabf9b4c
- update benchmarks · a5d8af4a
  Bastian Kauschke authored 5 years ago
  
  a5d8af4a
- update tests · f45a0ba5
  Bastian Kauschke authored 5 years ago
  
  f45a0ba5
- use single list in `parseFunctorExpression` · 5e8a310c
  Bastian Kauschke authored 5 years ago
  
  5e8a310c
- add type alias for group values functor · 2bba8185
  Bastian Kauschke authored 5 years ago
  
  2bba8185
- add type alias for monoid valued · e1ae6bbf
  Bastian Kauschke authored 5 years ago
  
  e1ae6bbf
- change FunctorDescription to a type class · e5e572ff
  Bastian Kauschke authored 5 years ago
  
  e5e572ff
- Merge branch 'rigrag' · 5aa9b0c5
  Hans-Peter Deifel authored 5 years ago
  
  5aa9b0c5
Jun 02, 2020
- Use Z in zigzag · 2ce5245f
  Thorsten Wißmann authored 5 years ago
  2ce5245f
May 26, 2020
- Merge branch 'remove-pretty' [#25] · 23e62cf2
  Hans-Peter Deifel authored 5 years ago
  
  23e62cf2
- remove showSorts, rename sortAsScope · 27e54c1e
  Bastian Kauschke authored 5 years ago
  
  27e54c1e