initial commit
importing rosa
thales case study
some possible loops
Merge remote-tracking branch 'rosa-github/master'
Merge branch 'master' into loops
fiddling with benchmarks
...
Merge remote-tracking branch 'rosa-github/master'
Merge branch 'master' into loops
fixing regression tests
fixing regression tests
Merge remote-tracking branch 'rosa-github/master'
messing with examples
Merge branch 'master' into loops
Merge remote-tracking branch 'rosa-github/master'
Merge branch 'master' into loops
fixing bug with function calls inside if-then-else
making ellipsoid proof go through
...