Branches · Informatik 8 / CoPaR

Skip to content

GitLab

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 2
- Merge requests 2
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

Informatik 8
CoPaR
Repository
Branches

Overview
Active
Stale
All

eliminate-lists

6454e6a3 · Convert pred array to new Stack data structure · Oct 08, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
bench-partition merged

4068d42c · Don't needlessly update blocks with one state · Oct 04, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
megaparsec-7 merged

153d504f · Remove unnecessary imports · Oct 03, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
poly-speedup merged

8a0a8b38 · tests: Fix tests for Polynomial functor · Sep 26, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
bench-split

6261d8d8 · Fix whitespace · Sep 25, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
random-dfa merged

d3ac9436 · random-dfa: Optionally output to file instead of stdout · Sep 25, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
ghc-8.4 merged

b41b2f9e · ci: Use GHC 8.4 image · Sep 14, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
test-split merged

145dda57 · Add FIXME · Sep 10, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
wip/prism-converter merged

1f0537d4 · prism-converter: Allow arbitrary strings as variable values · Aug 18, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
scratch/performance

071aaed6 · Random stuff that improves performance · Aug 05, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
build-script merged

ee39e382 · Use posix sh function definition syntax in build script · Jul 29, 2018

Compare

Download source code

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

5ec83b50 · Build (don't run) benchmarks in CI · Jul 24, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
new-parser merged

eabb81be · Remove obsolete Sort module · Jul 13, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
functors-take2 merged

b77cf5f4 · Remove even more unused code · Jul 06, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
flexible-functors

22fed3e6 · Implement new functor parsing · Jun 26, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
ci merged

ec802c90 · ci: Enable caching of stack artifacts · Jun 19, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
Next

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

Download source code