Commits · master · Software / CoPaR

Browse files

Jun 20, 2022
- Update dfa · 0420bdac
  baletiballo authored Jun 02, 2022 and Hans-Peter Deifel committed Jun 20, 2022
  
  0420bdac
Jun 02, 2022
- Update dfa · fd0f754b
  baletiballo authored Jun 02, 2022
  
  fd0f754b
Nov 13, 2020
- examples: Give dfa example an initial state · 8c07590f
  Hans-Peter Deifel authored Nov 13, 2020
  8c07590f
- minimize tests: Require newline before EOF · c7fc3340
  Hans-Peter Deifel authored Nov 13, 2020
  c7fc3340
Nov 04, 2020
- Add T-Beg example markov chain · 45fa1597
  Thorsten Wißmann authored Oct 28, 2020 and Hans-Peter Deifel committed Nov 04, 2020
  
  45fa1597
Nov 02, 2020
- fix AbsorbingPolynomial innerFunctors · 44672224
  Bastian Kauschke authored Nov 02, 2020
  
  44672224
- Revert "Add T-Beg example markov chain" · 0dd884dc
  Hans-Peter Deifel authored Nov 02, 2020
  0dd884dc
Oct 28, 2020
- Add T-Beg example markov chain · 2008c0af
  Thorsten Wißmann authored Oct 28, 2020
  
  2008c0af
Oct 05, 2020
- add some additional tests · f5e7462a
  Bastian Kauschke authored Oct 05, 2020
  
  f5e7462a
- implement graph minimization · e4be4e54
  Bastian Kauschke authored Oct 05, 2020
  
  e4be4e54
Sep 25, 2020
- test minimization · b213aa49
  Bastian Kauschke authored Sep 25, 2020
  
  b213aa49
Jul 28, 2020
- add example · 804c2989
  Bastian Kauschke authored Jul 28, 2020
  
  804c2989
Jun 02, 2020
- Use Z in zigzag · 2ce5245f
  Thorsten Wißmann authored Jun 02, 2020
  2ce5245f
May 13, 2020
- add test for int-valued · fe31375c
  Bastian Kauschke authored May 13, 2020
  
  fe31375c
May 12, 2020
- add tests for Lexer.name · ec4013e5
  Bastian Kauschke authored May 12, 2020
  
  ec4013e5
May 11, 2020
- add an example for weird names · 42b6b693
  Bastian Kauschke authored May 11, 2020
  
  42b6b693
Sep 27, 2019
- Add ZIGZAG example from Högberg et.al. · e0cc2673
  Hans-Peter Deifel authored Sep 27, 2019
  
  e0cc2673
May 29, 2019
- Implement true rationals · b6d12102
  Hans-Peter Deifel authored May 29, 2019
  b6d12102
Mar 25, 2019
- Add another tree automaton example · b3c8c9e9
  Hans-Peter Deifel authored Mar 15, 2019
  
  b3c8c9e9
Mar 21, 2019
- Rename functors (N, and/or) to (Word, and/or) · afc736fa
  Hans-Peter Deifel authored Mar 21, 2019
  afc736fa
Mar 14, 2019
- Add one more example for tree automata · 4543c0af
  Hans-Peter Deifel authored Mar 14, 2019
  
  4543c0af
- Fix language-equiv-vs-bisim example · 2d81f6a4
  Hans-Peter Deifel authored Mar 14, 2019
  2d81f6a4
- Fix examples/README.md · 2e9f2447
  Hans-Peter Deifel authored Mar 14, 2019
  2e9f2447
- Add example input/output for bit-and monoid · 1ae4befb
  Hans-Peter Deifel authored Mar 13, 2019
  
  1ae4befb
Dec 22, 2018
- Don't put the largest initial block into queue · c2a7d1ef
  Hans-Peter Deifel authored Dec 22, 2018
  c2a7d1ef
Nov 15, 2018
- Add example for Q^X · 7a0526a2
  Hans-Peter Deifel authored Nov 16, 2018
  
  7a0526a2
Nov 14, 2018
- Some more examples · 45399891
  Thorsten Wißmann authored Nov 14, 2018
  
  45399891
Nov 02, 2018
- examples: Enable functor transforms · 336d7478
  Hans-Peter Deifel authored Nov 01, 2018
  
  336d7478
Oct 25, 2018
- Add example for maxDouble · 55274a40
  Hans-Peter Deifel authored Oct 25, 2018
  
  55274a40
Oct 23, 2018
- Add markov chain to examples · 32c9fae8
  Hans-Peter Deifel authored Oct 23, 2018
  
  32c9fae8
- Add DFA to examples · 4ee7b91d
  Hans-Peter Deifel authored Oct 23, 2018
  
  4ee7b91d
- Add example for complex numbers · 70dcfac9
  Hans-Peter Deifel authored Oct 23, 2018
  
  70dcfac9
- Add example for maxIntValued · b76bffa8
  Hans-Peter Deifel authored Oct 23, 2018
  
  b76bffa8
Oct 04, 2018
- Fix example pp-non-zippable · a56d2817
  Hans-Peter Deifel authored Oct 04, 2018
  a56d2817
Aug 28, 2018
- Update example output · a1f0b622
  Hans-Peter Deifel authored Aug 28, 2018
  a1f0b622
Jul 27, 2018
- Fix tests · bcc462bf
  Hans-Peter Deifel authored Jul 27, 2018
  bcc462bf
Jul 16, 2018
- Add README to examples directory · ac9635fc
  Hans-Peter Deifel authored Jul 16, 2018
  
  ac9635fc
Jul 13, 2018
- Let powerset have its own fancy unicode symbol · 2d108ad7
  Hans-Peter Deifel authored Jul 13, 2018
  2d108ad7
- Add existing examples to test suite · bc86ff84
  Hans-Peter Deifel authored Jul 13, 2018
  bc86ff84
- Convert examples to new syntax · 785487f8
  Hans-Peter Deifel authored Jul 13, 2018
  
  785487f8