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

ghc-8.8

c54429a9 · enable `generic` for json · Oct 19, 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
absorbing-poly-minimize merged

305ac203 · compute... -> enumerate... · Nov 04, 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
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
main-refactor merged

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

Compare

Download source code

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

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

Compare

Download source code

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

01fad50f · Bug in stat output · Mar 18, 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
certificates

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

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
Windows-Fixed-(-) merged

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

Compare

Download source code

zip tar.gz tar.bz2 tar
fixed-DFA merged

fd0f754b · Update dfa · Jun 02, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
distributed merged

42322124 · Merge MR 50 'Update dfa' · Jun 20, 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
distci

5f0844e5 · ci: Update ghc container · Jul 26, 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
sylvansymbolic

ba44d2dc · Fix whitespace · Oct 14, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
ci

7b790ad3 · ci: Enable new ci for master · Oct 19, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
master default protected

7b790ad3 · ci: Enable new ci for master · Oct 19, 2022
Download source code

zip tar.gz tar.bz2 tar
Download artifacts

Previous Artifacts

test_release

Prev
1
2
3
4
5
6
Next