Branches · Software / CoPaR · GitLab

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

C CoPaR
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributor statistics
- Graph
- Compare revisions
Issues 4
- Issues 4
- List
- Boards
- Service Desk
- Milestones
Merge requests 5
- Merge requests 5
Deployments
- Deployments
- Environments
- Releases
Monitor
- Monitor
- Incidents
Analytics
- Analytics
- Value stream
- Repository
Snippets
- Snippets
Activity
Graph
Create a new issue
Commits
Issue Boards

Collapse sidebar

Software
CoPaR
Repository
Branches

Overview
Active
Stale
All

main-refactor merged

a285d396 · tests: Remove unused imports · Nov 17, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
mini-tests-cleanup merged

8c07590f · examples: Give dfa example an initial state · Nov 13, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
t-beg-example merged

45fa1597 · Add T-Beg example markov chain · Nov 04, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
absorbing-poly-minimize merged

305ac203 · compute... -> enumerate... · Nov 04, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
noSort

976278e6 · sad · Oct 25, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
ghc-8.8

c54429a9 · enable `generic` for json · Oct 19, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
minimize-timing merged

7b3d9264 · need more stats · Oct 13, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
reachability merged

c22d9289 · Add additional newline to help output · Oct 06, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
minimize merged

b213aa49 · test minimization · Sep 25, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
print-as-debug-command merged

09b1f842 · Expose coalgebra printing as debug command · Sep 03, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
poly-print-sort

33d00349 · polynomial: Sort edge labels before printing · Sep 03, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
primitive-version merged

9c8dcff8 · upgrade stack in CI · Aug 15, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
ci-test

cda34f4e · Revert "test" · Aug 12, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
release-ci merged

8c406733 · Test release flag in ci · Aug 05, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
release merged

f7bf2f0e · fix test with RELEASE · Aug 05, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
ParseMorphism merged

a0f70d2d · refactor printFactor · Jul 28, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
FunctorDescription merged

92a63e1b · remove Printable · Jun 23, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
rigrag merged

2ce5245f · Use Z in zigzag · Jun 02, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
remove-pretty merged

27e54c1e · remove showSorts, rename sortAsScope · May 26, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
omit-braces merged

886da5c9 · omit braces in AbsorbingPolynomial · May 20, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
4
5
6
Next