Commits · f81eea8ccf7a608800f059137c31bc657fc8f438 · Software / CoPaR · GitLab

Snippets Groups Projects

Mar 21, 2019
- Fix sum in MonoidValued · f81eea8c
  Thorsten Wißmann authored 6 years ago and Hans-Peter Deifel committed 6 years ago
  
  f81eea8c
- bench: Add benchmark for hex parser · f77957a9
  Hans-Peter Deifel authored 6 years ago
  
  f77957a9
Mar 18, 2019
- Remove custom stuff from stack.yaml · 597e0def
  Hans-Peter Deifel authored 6 years ago
  
  597e0def
Mar 14, 2019
- Add one more example for tree automata · 4543c0af
  Hans-Peter Deifel authored 6 years ago
  
  4543c0af
- Fix language-equiv-vs-bisim example · 2d81f6a4
  Hans-Peter Deifel authored 6 years ago
  2d81f6a4
- Fix examples/README.md · 2e9f2447
  Hans-Peter Deifel authored 6 years ago
  2e9f2447
- Refactor MonoidValuedSpec · 9c877832
  Hans-Peter Deifel authored 6 years ago
  9c877832
- Refactor MonoidValued module to reduce code duplication · 74c8b14e
  Hans-Peter Deifel authored 6 years ago
  
  74c8b14e
- Add example input/output for bit-and monoid · 1ae4befb
  Hans-Peter Deifel authored 6 years ago
  
  1ae4befb
- Implement bitvectors and bitwise 'or' as monoid-valued functor · 87b8ef1d
  Hans-Peter Deifel authored 6 years ago
  
  87b8ef1d
- Implement bitvectors and bitwise 'and' as monoid-valued functor · 7a6be645
  Hans-Peter Deifel authored 6 years ago
  
  7a6be645
- Add new lexer primitive to parse hexadecimal numbers · bd3e3a96
  Hans-Peter Deifel authored 6 years ago
  
  bd3e3a96
- Add monoid wrappers for .&. and .|. · 349b3755
  Hans-Peter Deifel authored 6 years ago
  
  349b3755
Mar 12, 2019
- tests: Reduce code duplication · a17eec00
  Hans-Peter Deifel authored 6 years ago
  
  a17eec00
- Implement (Z, min) and (R, min) monoids · e34f4979
  Hans-Peter Deifel authored 6 years ago
  e34f4979
Mar 11, 2019
- Update stack.yaml · e13739a7
  Hans-Peter Deifel authored 6 years ago
  
  e13739a7
- Merge branch 'sumbag' · c79e6a75
  Hans-Peter Deifel authored 6 years ago
  
  c79e6a75
- Add microbenchmarks for SumBag · 733171e8
  Hans-Peter Deifel authored 6 years ago
  
  733171e8
Mar 10, 2019
- SumBag: Make datatype strict · 1e542693
  Hans-Peter Deifel authored 6 years ago
  1e542693
Mar 09, 2019
- Integrate SumBag into MonoidValued implementation · 61868820
  Hans-Peter Deifel authored 6 years ago
  61868820
- SumBag: Add some internal documentation · 29cebc6c
  Hans-Peter Deifel authored 6 years ago
  
  29cebc6c
Mar 08, 2019
- SumBag: Add API documentation · c15d5adf
  Hans-Peter Deifel authored 6 years ago
  
  c15d5adf
- SumBag: Implement Foldable · a7b3ee03
  Hans-Peter Deifel authored 6 years ago
  
  a7b3ee03
- tests: Add tests for SumBag · eff6caba
  Hans-Peter Deifel authored 6 years ago
  
  eff6caba
- SumBag: Don't throw away whole subtrees when deleting · 9627b877
  Hans-Peter Deifel authored 6 years ago
  9627b877
- SumBag: Fix typo in rotate1 · 624bf4e5
  Hans-Peter Deifel authored 6 years ago
  624bf4e5
- SumBag: Fix typos in error messages and comments · c9354b7d
  Hans-Peter Deifel authored 6 years ago
  
  c9354b7d
- SumBag: Implement conversion to and from lists · c2feee5d
  Hans-Peter Deifel authored 6 years ago
  c2feee5d
- SumBag: Implement membership tests · fb7a40c2
  Hans-Peter Deifel authored 6 years ago
  fb7a40c2
- SumBag: Don't export size combinator · 58691da0
  Hans-Peter Deifel authored 6 years ago
  58691da0
- Add Eq and Show instances to SumBag · 02fc57a0
  Hans-Peter Deifel authored 6 years ago
  02fc57a0
Mar 07, 2019
- Implement sum bag data type · 9b761979
  Hans-Peter Deifel authored 6 years ago
  
  9b761979
Jan 06, 2019
- random-dfa: Don't parenthesize X^A in functor expression · 2ccb7ef8
  Hans-Peter Deifel authored 6 years ago
  2ccb7ef8
Jan 05, 2019
- random-dfa: Use Word32 as base data type · de81c4b1
  Hans-Peter Deifel authored 6 years ago
  de81c4b1
Jan 04, 2019
- random-dfa: Allow to specify probability for final states · 273a65b1
  Hans-Peter Deifel authored 6 years ago
  
  273a65b1
- random-dfa: Replace Int with Word16 · bd186b68
  Hans-Peter Deifel authored 6 years ago
  bd186b68
Jan 03, 2019
- Fix warnings · b4cb3bed
  Hans-Peter Deifel authored 6 years ago
  
  b4cb3bed
- Fix benchmark compilation · e2800e3e
  Hans-Peter Deifel authored 6 years ago
  
  e2800e3e
- Fix tests · 92efd0a8
  Hans-Peter Deifel authored 6 years ago
  
  92efd0a8
- Add CLI flag to disable optimizations · b090cb5a
  Hans-Peter Deifel authored 6 years ago
  b090cb5a