Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Open sidebar
Bennet Bleßmann
bamapro-2019-ss
Repository
Branches
Overview
Active
Stale
All
master
default
protected
63690b17
·
Merge branch 'dev-bennet'
·
Sep 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dev-bennet
merged
38365f39
·
add a version of Either.elm that is not eta reduced
·
Sep 27, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dev-tammo
merged
6a2972bc
·
Merge branch 'master' into dev-tammo
·
Sep 26, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
z3-case
6943a664
·
Add simple test and more cases
·
Aug 04, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
elm-ast-to-smt-transform
a80bfa9d
·
Revert "update to current version"
·
Jun 27, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
def-to-typeddef-in-let
972c4895
·
work on getting type information for let bindings where not already present
·
Jun 25, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
z3-library-datatypes
15bc94bd
·
Add constructor management
·
Jun 22, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
experimental
48a6a9ac
·
Some more experimental changes
·
Jun 19, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
constructor-case
1c1c54ea
·
Transform constructor-based case expressions (curently tuple and either)
·
Jun 16, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar