Skip to content
Snippets Groups Projects
Select Git revision
  • bench-hex
  • bench-partition
  • bench-split
  • benchmarks-ci
  • build-script
  • ci
  • ci-artifacts
  • ci-stack
  • debug-partition-size
  • double-round
  • eliminate-lists
  • eliminate-lists2
  • features/complex-numbers
  • features/disable-sanity
  • features/double-max-monoid
  • features/elim-functor-subterms
  • features/list-functors
  • features/somefunctor-any
  • features/somefunctor-tagged
  • features/true-monoids
20 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.04Apr328Mar252221191815141211109877Jan54323Dec2221161413121110987543130Nov282726191615141398765432131Oct302928272625242322212019171698743128Sep26252114109874231Aug292827252422201817161511109876542130Jul29282726252423222120191817161413121110987654326Jun251918121154Remove .gitlab-ci.ymlmastermasterMove to git8.cs.fau.dePrint partition size while refiningdebug-partition…debug-partition-sizewta: Implement --out-degree parameterwta-generatorwta-generatorwta: Implement Probability in terms of Data.Scientificwta: Allow --different-values for powersetwta: Don't generate zero edges when we decided not towta: Remove redundant importswta: Allow to restrict number of different monoid valueswta: Don't use floats for probabilitywta: Change N,or monoid to Word,orrandom-wta: Save random state to file instead of stderrrandom-wta: Add help to --zero-frequency optionfixup! Implement random WTA generatorci: Save artifacts on non-master branchesImplement random WTA generatorAdd another tree automaton exampleMerge branch 'fixes'Rename functors (N, and/or) to (Word, and/or)Fix sum in MonoidValuedfixesfixesbench: Add benchmark for hex parserbench-hexbench-hexci: Save artifacts on non-master branchesci-artifactsci-artifactsRemove custom stuff from stack.yamlImplement random WTA generatorAdd another tree automaton exampleAdd one more example for tree automataFix language-equiv-vs-bisim exampleFix examples/README.mdRefactor MonoidValuedSpecnew-monoidsnew-monoidsRefactor MonoidValued module to reduce code duplicationAdd example input/output for bit-and monoidImplement bitvectors and bitwise 'or' as monoid-valued functorImplement bitvectors and bitwise 'and' as monoid-valued functorAdd new lexer primitive to parse hexadecimal numbersAdd monoid wrappers for .&. and .|.tests: Reduce code duplicationImplement (Z, min) and (R, min) monoidsUpdate stack.yamlstackstackMerge branch 'sumbag'Add microbenchmarks for SumBagsumbagsumbag