summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
_aseem_lifts_from_effect_abbrevscpAseem Rastogi7 days
_aseem_steelnitsAseem Rastogi10 hours
afromher_steelFirst attempt at views for hprops, and automatic equalities for delta through...Aymeric Fromherz4 days
aseem_misc2Merge branch 'master' into aseem_misc2Aseem Rastogi7 days
aseem_no_hslmake F# happyAseem Rastogi4 days
denismerigoux_steelMerge branch 'steel' into denismerigoux_steelDenis Merigoux5 days
guido_miscmark #1799 fixedGuido Martínez89 min.
mastermark #1799 fixedGuido Martínez89 min.
steelRevert "First attempt at views for hprops, and automatic equalities for delta...Aymeric Fromherz4 days
taramana_kremlin_commentssnapTahina Ramananandro3 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 Rastogi5 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 Protzenko19 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 Ramananandro19 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 Swamy2 years
schoolNancy17schoolNancy17.zip  schoolNancy17.tar.gz  schoolNancy17.tar.bz2  Kenji Maillard2 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 Hritcu3 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
89 min.mark #1799 fixedHEADmasterguido_miscGuido Martínez
89 min.snapGuido Martínez
89 min.parser: fix #1799Guido Martínez
2 hoursulib: Classical: introduce move_requires_2Guido Martínez
15 hours[CI] regenerate hints + ocaml snapshotDzomo the everest Yak
39 hours[CI] regenerate hints + ocaml snapshotDzomo the everest Yak
3 days[CI] regenerate hints + ocaml snapshotDzomo the everest Yak
4 days[CI] regenerate hints + ocaml snapshotDzomo the everest Yak
4 daysmake F# happyaseem_no_hslAseem Rastogi
5 daysMerge branch 'master' into aseem_no_hslAseem Rastogi
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/FStar.git
git://github.com/FStarLang/FStar
https://github.com/FStarLang/FStar