Skip to content
GitLab
Explore
Sign in
Register
student-projects
bamapro-2019-ss
Repository
Branches
Overview
Active
Stale
All
master
default
63690b17
·
Merge branch 'dev-bennet'
·
Sep 30, 2019
dev-bennet
38365f39
·
add a version of Either.elm that is not eta reduced
·
Sep 27, 2019
dev-tammo
6a2972bc
·
Merge branch 'master' into dev-tammo
·
Sep 26, 2019
z3-case
6943a664
·
Add simple test and more cases
·
Aug 04, 2019
elm-ast-to-smt-transform
a80bfa9d
·
Revert "update to current version"
·
Jun 27, 2019
!15
def-to-typeddef-in-let
972c4895
·
work on getting type information for let bindings where not already present
·
Jun 25, 2019
z3-library-datatypes
15bc94bd
·
Add constructor management
·
Jun 22, 2019
experimental
48a6a9ac
·
Some more experimental changes
·
Jun 19, 2019
constructor-case
1c1c54ea
·
Transform constructor-based case expressions (curently tuple and either)
·
Jun 16, 2019