Commits · 2f0142c031b716811e3673d9b603f84397054704 · Software / CoPaR · GitLab

Snippets Groups Projects

Nov 02, 2018
- Improve memory usage of AbsorbingPolynomial · 2f0142c0
  Hans-Peter Deifel authored 6 years ago
  2f0142c0
- Remove some commented-out code · f652d4a9
  Hans-Peter Deifel authored 6 years ago
  
  f652d4a9
- prism-converter: Add alternative valmari output format · 8064c4b9
  Hans-Peter Deifel authored 6 years ago
  8064c4b9
- prism-converter: Add a few Show instances · 7b813ec6
  Hans-Peter Deifel authored 6 years ago
  7b813ec6
- prism-converter: Fix whitespace · 7654e0c9
  Hans-Peter Deifel authored 6 years ago
  
  7654e0c9
- tests: Import refinement tests for AbsorbingPolynomial · 81116a89
  Hans-Peter Deifel authored 6 years ago
  
  81116a89
- AbsorbingPolynomial: Fix sum parsing · 93540db8
  Hans-Peter Deifel authored 6 years ago
  93540db8
- Add parser tests for AbsorbingPolynomial · ed223e65
  Hans-Peter Deifel authored 6 years ago
  ed223e65
- Add Functor instance to Sorted type · 2ba46566
  Hans-Peter Deifel authored 6 years ago
  
  2ba46566
- AbsorbingPolynomial: Export a few types for easier testing · 0e6c9dd9
  Hans-Peter Deifel authored 6 years ago
  
  0e6c9dd9
- AbsorbingPolynomial: Implement parsing for sums · 5bace2f9
  Hans-Peter Deifel authored 6 years ago
  
  5bace2f9
- AbsorbingPolynomial: Implement parsing for arbitrary products · b38d5494
  Hans-Peter Deifel authored 6 years ago
  
  b38d5494
- AbsorbingPolynomial: Add a few comments · b74d1b56
  Hans-Peter Deifel authored 6 years ago
  
  b74d1b56
- AbsorbingPolynomial: Remove quadratic index lookups · db625ff5
  Hans-Peter Deifel authored 6 years ago
  db625ff5
- AbsorbingPolynomial: Implement factor parsing · 22b58464
  Hans-Peter Deifel authored 6 years ago
  22b58464
- Fix some whitespace · 7e900559
  Hans-Peter Deifel authored 6 years ago
  
  7e900559
- Generalize RefinementInterface for AbsorbingPolynomial · b29ea1b4
  Hans-Peter Deifel authored 6 years ago
  b29ea1b4
- Define AbsorbingPolynomial type using Polynomial · 30a91c29
  Hans-Peter Deifel authored 6 years ago
  30a91c29
- AbsorbingPolynomial: Also absorb variables · 8879e33a
  Hans-Peter Deifel authored 6 years ago
  8879e33a
- main: Add apply-ast-transforms flag to print-functor · df72a67b
  Hans-Peter Deifel authored 6 years ago
  
  df72a67b
- Modularize design of functor expr rewrites · 407614de
  Hans-Peter Deifel authored 6 years ago
  407614de
- cabal: Add bounds to pretty-show · 590d63d9
  Hans-Peter Deifel authored 6 years ago
  
  590d63d9
- main: Implement 'debug print-functor' command · 44d08d27
  Hans-Peter Deifel authored 6 years ago
  
  44d08d27
- Prettify Show1 instances for Product and Sum functors · 1322ac71
  Hans-Peter Deifel authored 6 years ago
  1322ac71
- Fix Show instance for functor expression · eaebbdfa
  Hans-Peter Deifel authored 6 years ago
  eaebbdfa
- Add Show1 instance to various functors · 45650734
  Hans-Peter Deifel authored 6 years ago
  45650734
- Implement rudimentary version of AbsorbingPolynomial · a71db9f4
  Hans-Peter Deifel authored 6 years ago
  a71db9f4
- Fix examples compilation · ef46e6b5
  Hans-Peter Deifel authored 6 years ago
  
  ef46e6b5
- main: Add flag to 'dot' command to enable functor transformations · e9762d28
  Hans-Peter Deifel authored 6 years ago
  
  e9762d28
Oct 27, 2018
- main: Add flag to 'refine' to enable functor transformations · 7b6bb0dd
  Hans-Peter Deifel authored 6 years ago
  
  7b6bb0dd
- Add ability to store AST transformations in SomeFunctor · 447610a4
  Hans-Peter Deifel authored 6 years ago
  447610a4
Oct 25, 2018
- Merge branch 'features/true-monoids' · d345dc28
  Hans-Peter Deifel authored 6 years ago
  
  d345dc28
- Add example for maxDouble · 55274a40
  Hans-Peter Deifel authored 6 years ago
  
  55274a40
- Remove some commented out code · 9c7f1d17
  Hans-Peter Deifel authored 6 years ago
  
  9c7f1d17
- Implement (R, max)-valued functor · 2a872a2a
  Hans-Peter Deifel authored 6 years ago
  
  2a872a2a
- Implement MaxDouble data type · 58a04bfa
  Hans-Peter Deifel authored 6 years ago
  58a04bfa
- .gitignore: Add TAGS file · 38f20445
  Hans-Peter Deifel authored 6 years ago
  
  38f20445
- Rename ADouble type to EqDouble · 610eb1af
  Hans-Peter Deifel authored 6 years ago
  610eb1af
- Rename Data.AFloat module to Data.Float.Utils · ba58c122
  Hans-Peter Deifel authored 6 years ago
  ba58c122
Oct 24, 2018
- Merge branch 'features/valmari-dfa' · f26b96f2
  Hans-Peter Deifel authored 6 years ago
  
  f26b96f2