Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Software
CoPaR
Repository
Branches
Overview
Active
Stale
All
Active branches
SylvanSymbolic
3986bffd
·
Merge branch 'SylvanSymbolic' of
https://git8.cs.fau.de/software/copar
into SylvanSymbolic
·
Sep 11, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
test_branch_release
Predetermine-unstable-states
fc0bf61d
·
Final Commit.
·
Sep 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
symci
7d66d59d
·
ci: Hardcode compiler version
·
Sep 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
c9ad60cd
·
Fix compilation on GHC 8.6
·
Sep 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
test_release
Stale branches
flexible-functors
22fed3e6
·
Implement new functor parsing
·
Jun 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
functors-take2
b77cf5f4
·
Remove even more unused code
·
Jul 06, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new-parser
eabb81be
·
Remove obsolete Sort module
·
Jul 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
benchmarks-ci
5ec83b50
·
Build (don't run) benchmarks in CI
·
Jul 24, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
build-script
ee39e382
·
Use posix sh function definition syntax in build script
·
Jul 29, 2018
!3
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar