Branches · Software / CoPaR

Skip to content

GitLab

Menu

Projects Groups Snippets

/
Help
Sign in

C CoPaR
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributors
- Graph
- Compare
Issues 1
- Issues 1
- 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

Predetermine-unstable-states

27ea4abb · Big type cleanup. · Aug 05, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
Master-Distributed-Merge

e087d11f · Merge remote-tracking branch 'origin/distci' into Master-Distributed-Merge · Jul 26, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
distci

5f0844e5 · ci: Update ghc container · Jul 26, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
Comments_to_help_Silas_understand_the_Alg

fe8903e4 · Bunch of comments and some trivial refactoring. · Jul 07, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
master default protected

0420bdac · Update dfa · Jun 20, 2022
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

test_release
distributed

42322124 · Merge MR 50 'Update dfa' · Jun 20, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
fixed-DFA

fd0f754b · Update dfa · Jun 02, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
Windows-Fixed-(-) merged

e992401c · Hopefully the last Formatting Warning · May 10, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
symbolic

7b7b8c6e · Fix typos in docker README · May 10, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
certificates

7642f444 · change mvPrinter for `mempty` · Apr 28, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
distrib-tmp

468f017b · Add documentation on distributed refinement · Apr 15, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
fb-signatures-simple_stack-ghci

01fad50f · Bug in stat output · Mar 18, 2021

Compare

Download source code

zip tar.gz tar.bz2 tar
fb-signatures-simple

663ff404 · Add DEncoding (better encoding for naive algorithm) · Dec 31, 2020

Compare

Download source code

zip tar.gz tar.bz2 tar
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

Prev
1
2
3
4
5
Next

Download source code

Download source code

Download source code

Download source code

Download source code

Download artifacts

Previous Artifacts

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code