summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
_guido_revertedsnapGuido Martínez45 hours
afromher_frameAttempt at new bind framingAymeric Fromherz3 hours
afromher_frame_debugRepro for ide failure using tacticsAymeric Fromherz4 hours
denismerigoux_pcmDon't name variable type'Denis Merigoux10 hours
guido_ci2test with fd 3Guido Martínez2 days
guido_revertremove unneded -T flagGuido Martínez33 hours
guido_tacticsfixGuido Martínez2 days
guido_testtrying a non-parallel buildGuido Martínez7 hours
master[CI] regenerate hints + ocaml snapshotDzomo the everest Yak22 hours
nik_310renaming, documenting interface etc.Nikhil Swamy4 hours
[...]
 
TagDownloadAuthorAge
V0.9.7.0-alpha1FStar-0.9.7.0-alpha1.zip  FStar-0.9.7.0-alpha1.tar.gz  FStar-0.9.7.0-alpha1.tar.bz2  Aseem Rastogi9 months
v0.9.6.0FStar-0.9.6.0.zip  FStar-0.9.6.0.tar.gz  FStar-0.9.6.0.tar.bz2  Jonathan Protzenko23 months
v0.9.6.0-alpha1FStar-0.9.6.0-alpha1.zip  FStar-0.9.6.0-alpha1.tar.gz  FStar-0.9.6.0-alpha1.tar.bz2  Tahina Ramananandro23 months
v0.9.5.0FStar-0.9.5.0.zip  FStar-0.9.5.0.tar.gz  FStar-0.9.5.0.tar.bz2  Nikhil Swamy3 years
schoolNancy17schoolNancy17.zip  schoolNancy17.tar.gz  schoolNancy17.tar.bz2  Kenji Maillard3 years
V0.9.4.0FStar-0.9.4.0.zip  FStar-0.9.4.0.tar.gz  FStar-0.9.4.0.tar.bz2  Catalin Hritcu3 years
v0.9.3.0-beta1FStar-0.9.3.0-beta1.zip  FStar-0.9.3.0-beta1.tar.gz  FStar-0.9.3.0-beta1.tar.bz2  Catalin Hritcu4 years
v0.9.2.0FStar-0.9.2.0.zip  FStar-0.9.2.0.tar.gz  FStar-0.9.2.0.tar.bz2  Benjamin Beurdouche4 years
0.9.2.0FStar-0.9.2.0.zip  FStar-0.9.2.0.tar.gz  FStar-0.9.2.0.tar.bz2  Catalin Hritcu4 years
v0.9.1.1FStar-0.9.1.1.zip  FStar-0.9.1.1.tar.gz  FStar-0.9.1.1.tar.bz2  Benjamin Beurdouche4 years
[...]
 
AgeCommit messageAuthor
22 hours[CI] regenerate hints + ocaml snapshotHEADmasterDzomo the everest Yak
33 hoursremove unneded -T flagguido_revertGuido Martínez
34 hoursMerge branch 'master' of github:FStarLang/FStarGuido Martínez
34 hoursRevert "build.sh: fix sed call"Guido Martínez
34 hoursRevert "build.sh: some refactoring"Guido Martínez
34 hoursRevert "build.sh: abort on errors"Guido Martínez
34 hoursRevert "build.sh: git clone while building F*"Guido Martínez
36 hoursMerge pull request #1984 from FStarLang/nik_rec_under_matchnikswamy
37 hoursMerge branch 'master' into nik_rec_under_matchrefs/pull/1984/headnikswamy
45 hourssnap_guido_revertedGuido Martínez
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/FStar.git
git://github.com/FStarLang/FStar
https://github.com/FStarLang/FStar