| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-07-30 | Build entire ulib | robinleander |
| 2018-07-29 | Add comments, fix output path | robinleander |
| 2018-07-29 | Fix path hacks | robinleander |
| 2018-07-29 | Only use files from fstar package | robinleander |
| 2018-07-29 | Fix missing space | robinleander |
| 2018-07-29 | Copy all files in /opt/fstar | robinleander |
| 2018-07-27 | Add Fstar to path | robinleander |
| 2018-07-27 | Bump release | robinleander |
| 2018-07-27 | Fix compile | robinleander |
| 2018-07-27 | Remake ulib | robinleander |
| 2018-07-27 | Fix copying | robinleander |
| 2018-07-27 | Copy only nonexisting files | robinleander |
| 2018-07-27 | Actually install ulib | robinleander |
| 2018-07-27 | Fix make directory | robinleander |
| 2018-07-27 | Add ocaml-fstar dep | robinleander |
| 2018-07-27 | Parallel build | robinleander |
| 2018-07-27 | Depend on z3 | robinleander |
| 2018-07-27 | Fix ulib path | robinleander |
| 2018-07-27 | Initial release | robinleander |