v0.9.0 (released before ICFP 2015)
·
34916 commits
to master
since this release
Countless improvements, including an interactive mode, a new extraction mechanism to OCaml and F#, the ghost effect, a lot of new examples (micro-F* formalization, Wysteria, etc), hyper-heaps, build-config support, quite a bit of cleanup of the code base, and fixing all these issues.