10 May 2015 release
Pre-release
Pre-release
·
36332 commits
to master
since this release
Note, we include fstar/bin/z3, which is a binary of Z3-4.3.2 and is covered by the relevant licenses there.