summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
_afromher_steel_tacticsExample of tactic failing with GTot viewablesAymeric Fromherz33 hours
_aseem_polymonadic_bindssnapAseem Rastogi13 hours
_aseem_steelsome cleanupAseem Rastogi20 hours
afromher_steelAdd depends_only_on restriction on viewAymeric Fromherz3 days
aseem_misc2snapAseem Rastogi25 hours
denismerigoux_steelShare preactionDenis Merigoux6 hours
guido_1911snapGuido Martínez9 days
master[CI] regenerate hints + ocaml snapshotDzomo the everest Yak23 hours
nik_rename_letRenaming does not take advantage of inliningTahina Ramananandro8 days
steelweaken the subcomp rule for MST, removing an admit from Steel.EffectAseem Rastogi13 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 Rastogi7 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 Protzenko20 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 Ramananandro21 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 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 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
23 hours[CI] regenerate hints + ocaml snapshotHEADmasterDzomo the everest Yak
25 hourssnapaseem_misc2Aseem Rastogi
25 hourssome fixes in the pattern matching code for layered effectsAseem Rastogi
25 hourssnapAseem Rastogi
25 hoursa hoare style div effectAseem Rastogi
25 hoursmake is_uvar better, noticed from a failure in HoareDivAseem Rastogi
25 hoursset the final comp flags to [] for a layered lift (else flags like TOTAL are ...Aseem Rastogi
47 hours[CI] regenerate hints + ocaml snapshotDzomo the everest Yak
3 daysMerge commit 'c4df02f328a6f667edf8cbcf09f78e8fff69733e'Dzomo the everest Yak
3 days[CI] regenerate hints + ocaml snapshotDzomo the everest Yak
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/FStar.git
git://github.com/FStarLang/FStar
https://github.com/FStarLang/FStar