Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
C
CoPaR
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Deploy
Releases
Container Registry
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
This is an archived project. Repository and other project resources are read-only.
Show more breadcrumbs
Informatik 8
CoPaR
Graph
f77957a9d97f964f18a4896beb878669244fbcec
Select Git revision
Branches
20
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.
Begin with the selected commit
Created with Raphaël 2.2.0
4
Apr
3
28
Mar
25
22
21
19
18
15
14
12
11
10
9
8
7
7
Jan
5
4
3
23
Dec
22
21
16
14
13
12
11
10
9
8
7
5
4
3
1
30
Nov
28
27
26
19
16
15
14
13
9
8
7
6
5
4
3
2
1
31
Oct
30
29
28
27
26
25
24
23
22
21
20
19
17
16
9
8
7
4
3
1
28
Sep
26
25
21
14
10
9
8
7
4
2
31
Aug
29
28
27
25
24
22
20
18
17
16
15
11
10
9
8
7
6
5
4
2
1
30
Jul
29
28
27
26
25
24
23
22
21
20
19
18
17
16
14
13
12
11
10
9
8
7
6
5
4
3
26
Jun
25
19
18
12
11
5
4
Remove .gitlab-ci.yml
master
master
Move to git8.cs.fau.de
Print partition size while refining
debug-partition…
debug-partition-size
wta: Implement --out-degree parameter
wta-generator
wta-generator
wta: Implement Probability in terms of Data.Scientific
wta: Allow --different-values for powerset
wta: Don't generate zero edges when we decided not to
wta: Remove redundant imports
wta: Allow to restrict number of different monoid values
wta: Don't use floats for probability
wta: Change N,or monoid to Word,or
random-wta: Save random state to file instead of stderr
random-wta: Add help to --zero-frequency option
fixup! Implement random WTA generator
ci: Save artifacts on non-master branches
Implement random WTA generator
Add another tree automaton example
Merge branch 'fixes'
Rename functors (N, and/or) to (Word, and/or)
Fix sum in MonoidValued
fixes
fixes
bench: Add benchmark for hex parser
bench-hex
bench-hex
ci: Save artifacts on non-master branches
ci-artifacts
ci-artifacts
Remove custom stuff from stack.yaml
Implement random WTA generator
Add another tree automaton example
Add one more example for tree automata
Fix language-equiv-vs-bisim example
Fix examples/README.md
Refactor MonoidValuedSpec
new-monoids
new-monoids
Refactor MonoidValued module to reduce code duplication
Add example input/output for bit-and monoid
Implement bitvectors and bitwise 'or' as monoid-valued functor
Implement bitvectors and bitwise 'and' as monoid-valued functor
Add new lexer primitive to parse hexadecimal numbers
Add monoid wrappers for .&. and .|.
tests: Reduce code duplication
Implement (Z, min) and (R, min) monoids
Update stack.yaml
stack
stack
Merge branch 'sumbag'
Add microbenchmarks for SumBag
sumbag
sumbag
Loading