Commits · restrictPartition · Informatik 8 / CoPaR · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

Oct 24, 2018
- Fix whitespace · e4674557
  Hans-Peter Deifel authored 6 years ago
  
  e4674557
- main: Include size of partition restricted to sort 1 in stats · d970ad3c
  Hans-Peter Deifel authored 6 years ago
  d970ad3c
Oct 23, 2018
- Add markov chain to examples · 32c9fae8
  Hans-Peter Deifel authored 6 years ago
  
  32c9fae8
- Add DFA to examples · 4ee7b91d
  Hans-Peter Deifel authored 6 years ago
  
  4ee7b91d
- Add example for complex numbers · 70dcfac9
  Hans-Peter Deifel authored 6 years ago
  
  70dcfac9
Oct 20, 2018
- Merge branch 'features/complex-numbers' · 00410b6f
  Hans-Peter Deifel authored 6 years ago
  
  00410b6f
- Clean up code in MonoidValuedSpec · 83deb7b6
  Hans-Peter Deifel authored 6 years ago
  
  83deb7b6
- tests: Add tests for MonoidValued for Complex · cbcde80a
  Hans-Peter Deifel authored 6 years ago
  
  cbcde80a
- Implement MonoidValued functor for complex numbers · 7b28bb89
  Hans-Peter Deifel authored 6 years ago
  
  7b28bb89
- Implement parser for complex numbers · 157c90eb
  Hans-Peter Deifel authored 6 years ago
  157c90eb
Oct 19, 2018
- Merge branch 'fixes/monod-valued-de-GADT' · 6e0584f6
  Hans-Peter Deifel authored 6 years ago
  
  6e0584f6
- benchmarks: Fix a compiler warning about name shadowing · cf31851b
  Hans-Peter Deifel authored 6 years ago
  
  cf31851b
- benchmarks: Fix compilation of BenchMonoidValued · a81ee0ee
  Hans-Peter Deifel authored 6 years ago
  
  a81ee0ee
- tests: Fix compilation of MonoidValuedSpec · c5781890
  Hans-Peter Deifel authored 6 years ago
  
  c5781890
- Remove monomorphic constructors from MonoidValued functors · 1d0ca51b
  Hans-Peter Deifel authored 6 years ago
  1d0ca51b
Oct 09, 2018
- Merge branch 'h1-initialize' · 82019c56
  Hans-Peter Deifel authored 6 years ago
  
  82019c56
Oct 08, 2018
- Speed up MorphismEncoding creation from parser state · 814f7644
  Hans-Peter Deifel authored 6 years ago
  814f7644
Oct 07, 2018
- Merge branch 'bench-partition' · df4241d5
  Hans-Peter Deifel authored 6 years ago
  
  df4241d5
Oct 04, 2018
- Don't needlessly update blocks with one state · 4068d42c
  Hans-Peter Deifel authored 6 years ago
  4068d42c
- Remove unnecessary import · 7feeed6e
  Hans-Peter Deifel authored 6 years ago
  
  7feeed6e
- tests: Fix split tests that depends on block order · b6cdd69e
  Hans-Peter Deifel authored 6 years ago
  
  b6cdd69e
- Fix example pp-non-zippable · a56d2817
  Hans-Peter Deifel authored 6 years ago
  a56d2817
- Unbox state and blocks arrays in RefinablePartition · 0fdb3f18
  Hans-Peter Deifel authored 6 years ago
  0fdb3f18
- Use `make1` for RefinablePartition in initialize · 9d471456
  Hans-Peter Deifel authored 6 years ago
  9d471456
- Add more benchmarks for RefinablePartition · 3de3a1e5
  Hans-Peter Deifel authored 6 years ago
  3de3a1e5
- RefinablePartition: Add new make1 constructor · 9b6fe1a2
  Hans-Peter Deifel authored 6 years ago
  9b6fe1a2
Oct 03, 2018
- Remove commented out code · 2576c23a
  Hans-Peter Deifel authored 6 years ago
  
  2576c23a
- RefinablePartition: Use linear list accumulation · 2bd87321
  Hans-Peter Deifel authored 6 years ago
  
  2bd87321
- Fix typo in comment · 1713f12b
  Hans-Peter Deifel authored 6 years ago
  
  1713f12b
- Add some benchmarks for RefinablePartition.splitBy · 237acbe5
  Hans-Peter Deifel authored 6 years ago
  
  237acbe5
- Merge branch 'megaparsec-7' · 4ce6c13b
  Hans-Peter Deifel authored 6 years ago
  
  4ce6c13b
- Remove unnecessary imports · 153d504f
  Hans-Peter Deifel authored 6 years ago
  153d504f
- cabal: Add hspec-discover to build-tools-depends · 8e5a672a
  Hans-Peter Deifel authored 6 years ago
  8e5a672a
- Add cabal.project file · 34d5c0e6
  Hans-Peter Deifel authored 6 years ago
  
  34d5c0e6
Oct 01, 2018
- stack: Add megaparsec-7 to extra deps · d60078ba
  Hans-Peter Deifel authored 6 years ago
  
  d60078ba
Sep 30, 2018
- Port parsers to megaparsec-7.0 · b94a46fd
  Hans-Peter Deifel authored 6 years ago
  
  b94a46fd
Sep 27, 2018
- .gitignore: Ignore all .dir-local.el files · 8ccc55b4
  Hans-Peter Deifel authored 6 years ago
  8ccc55b4
- Add some bounds to cabal file · 4bd54067
  Hans-Peter Deifel authored 6 years ago
  
  4bd54067
- Add cabal artifacts to .gitignore · 7b385c70
  Hans-Peter Deifel authored 6 years ago
  
  7b385c70
Sep 26, 2018
- Merge branch 'poly-speedup' · 1d9f4ec9
  Hans-Peter Deifel authored 6 years ago
  
  1d9f4ec9