Commits · test-split · Informatik 8 / CoPaR · GitLab

Snippets Groups Projects

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

Sep 10, 2018
- Add FIXME · 145dda57
  Hans-Peter Deifel authored 6 years ago
  
  145dda57
- tests: Add tests for `split` · ea68f6c1
  Hans-Peter Deifel authored 6 years ago
  
  ea68f6c1
- Add `delete` function to BlockQueue · b24d4c02
  Hans-Peter Deifel authored 6 years ago
  
  b24d4c02
- tests: Add tests for addBlocksToQueue · 3e14dd33
  Hans-Peter Deifel authored 6 years ago
  
  3e14dd33
Sep 09, 2018
- tests: Add more tests for splitBlock · 37cbfe5d
  Hans-Peter Deifel authored 6 years ago
  
  37cbfe5d
- Factor out queue handling from splitBlock · bc438245
  Hans-Peter Deifel authored 6 years ago
  bc438245
- tests: Add some tests for splitBlock · 0a1855ae
  Hans-Peter Deifel authored 6 years ago
  
  0a1855ae
- Add `toList` and `clear` functions to BlockQueue · cae572e8
  Hans-Peter Deifel authored 6 years ago
  cae572e8
Sep 08, 2018
- tests: Add tests for updateBlock · 5eae355f
  Hans-Peter Deifel authored 6 years ago
  
  5eae355f
- tests: Add more tests for collectTouchedBlocks · f10f0f1f
  Hans-Peter Deifel authored 6 years ago
  
  f10f0f1f
Sep 07, 2018
- tests: Add tests for collectTouchedBlocks · 3b257514
  Hans-Peter Deifel authored 6 years ago
  
  3b257514
Sep 04, 2018
- Clarify some documentation comments · fe73de51
  Hans-Peter Deifel authored 6 years ago
  
  fe73de51
Sep 02, 2018
- Add benchmarks for Algorithm.Initialize · eab9d4e3
  Hans-Peter Deifel authored 6 years ago
  
  eab9d4e3
- Add tests for Algorithm.Initialize · 6a186c78
  Hans-Peter Deifel authored 6 years ago
  
  6a186c78
- Enable -Wall in cabal file and fix some warnings · 86cc20bb
  Hans-Peter Deifel authored 6 years ago
  
  86cc20bb
Aug 31, 2018
- Use 'cpp-options' instead of 'ghc-options' for -DRELEASE · 46469548
  Hans-Peter Deifel authored 6 years ago
  46469548
- build.sh: Correctly pass options in copy sub-command · 4de6e15b
  Hans-Peter Deifel authored 6 years ago
  
  4de6e15b
- prism-converter: Add 'valmari' output format · f23df9d9
  Hans-Peter Deifel authored 6 years ago
  f23df9d9
Aug 29, 2018
- main: Add options to graph command to hide labels · 99ca1dfd
  Hans-Peter Deifel authored 6 years ago
  99ca1dfd
- main: Add --draw-partition flag to graph command · 03d18d63
  Hans-Peter Deifel authored 6 years ago
  03d18d63
- main: Rename `dot` command to `graph` · d34692d9
  Hans-Peter Deifel authored 6 years ago
  d34692d9
- main: Improve help output for dot command · 9f650441
  Hans-Peter Deifel authored 6 years ago
  
  9f650441
- main: Add --functor argument to dot command · 3c93cb78
  Hans-Peter Deifel authored 6 years ago
  
  3c93cb78
- graphviz: Don't use actual newlines inside labels · 3890bf7b
  Hans-Peter Deifel authored 6 years ago
  3890bf7b
- main: Allow to write graphviz graph to file · dcbffcbc
  Hans-Peter Deifel authored 6 years ago
  dcbffcbc
- Implement graphviz output · 4c336e51
  Hans-Peter Deifel authored 6 years ago
  4c336e51
Aug 28, 2018
- main: Add --functor argument to refine command · f01a2139
  Hans-Peter Deifel authored 6 years ago
  f01a2139
- Remove some unused imports · 027e85e1
  Hans-Peter Deifel authored 6 years ago
  
  027e85e1
- Move maybeAdd function to own module · 7178f755
  Hans-Peter Deifel authored 6 years ago
  7178f755
- Update example output · a1f0b622
  Hans-Peter Deifel authored 6 years ago
  a1f0b622
- Speed up deleteLargestM · 45a4a255
  Hans-Peter Deifel authored 6 years ago
  
  45a4a255
- Add benchmarks for deleteLargestM · 916de922
  Hans-Peter Deifel authored 6 years ago
  
  916de922
- main: Include 'overall-duration' key in json statistics · 16181a9c
  Hans-Peter Deifel authored 6 years ago
  16181a9c
- Move deleteLargestM function to own module · 79a47b10
  Hans-Peter Deifel authored 6 years ago
  79a47b10
Aug 27, 2018
- main: Add overall duration to stat output · bdf222ca
  Hans-Peter Deifel authored 6 years ago
  
  bdf222ca
- main: Don't use scientific notation for time metrics · e1cbe91e
  Hans-Peter Deifel authored 6 years ago
  e1cbe91e
- main: Always output time metrics as seconds · c5da808f
  Hans-Peter Deifel authored 6 years ago
  c5da808f
- main: Fix usage output wrt. subcommands · b76bff49
  Hans-Peter Deifel authored 6 years ago
  b76bff49
- main: Add even more performance metrics · 6695b1e1
  Hans-Peter Deifel authored 6 years ago
  6695b1e1
- Fix whitespace · 02cd7992
  Hans-Peter Deifel authored 6 years ago
  
  02cd7992