Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Informatik 8
CoPaR
Repository
Branches
Overview
Active
Stale
All
more-h-to-f
2e150e2c
·
Replace even more instances of h3 with f3
·
Nov 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
h-to-f
767b4937
·
Rename a few type variables from h to f
·
Nov 09, 2018
!7
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
powerset-bitweight
7ed53a0a
·
Encode the toRest part of Powerset's weight in Int
·
Nov 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rename
6b0c6325
·
Rename ma to copar in a few other places
·
Nov 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
opt/groupBy
7e153b9e
·
Fix benchmarks compilation
·
Nov 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
powerset-weight
8db7fbd5
·
Remove redundant UNPACK pragma
·
Nov 09, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
otimizations
fa32dea8
·
Unpack fields of AlgoState
·
Nov 07, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/somefunctor-tagged
d9fa0136
·
Stuff
·
Nov 05, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/somefunctor-any
18903017
·
Add comment about Any usage to SomeFunctor
·
Nov 02, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/elim-functor-subterms
b860c591
·
main: Improve some help messages
·
Nov 02, 2018
!6
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
scratch/debug-ap-memusage
f0a46785
·
Add another TODO comment
·
Nov 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/list-functors
f32aa3b8
·
main: Rename 'list_functors' to 'list-functors'
·
Oct 31, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
scratch/subterm-elemination
c27b98c8
·
Current state of the work
·
Oct 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/true-monoids
55274a40
·
Add example for maxDouble
·
Oct 25, 2018
!5
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/double-max-monoid
9c7f1d17
·
Remove some commented out code
·
Oct 25, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/valmari-dfa
786abddc
·
random-dfa: Allow to output a single DFA in multiple formats
·
Oct 24, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
restrictPartition
e4674557
·
Fix whitespace
·
Oct 24, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
features/complex-numbers
83deb7b6
·
Clean up code in MonoidValuedSpec
·
Oct 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eliminate-lists2
9de49155
·
Explain amortized cost for Stack.push in documentation
·
Oct 17, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
h1-initialize
814f7644
·
Speed up MorphismEncoding creation from parser state
·
Oct 08, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next