| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-12-05 | [CI] regenerate hints + ocaml snapshot | Dzomo the everest Yak |
| 2019-11-29 | [CI] regenerate hints + ocaml snapshot | Dzomo the everest Yak |
| 2019-11-27 | trying to use more of HoareST spec style | Aseem Rastogi |
| 2019-11-24 | merge with master | Aseem Rastogi |
| 2019-10-27 | merge with masterrefs/pull/1874/head_aseem_layered_effects_only | Aseem Rastogi |
| 2019-10-16 | moving .checked and .hints files to ulib/.cache | Nikhil Swamy |
 |
index : FStar | |
| El lenguaje de programación y verificación F* | mirror |
| summaryrefslogtreecommitdiff |