| Age | Commit message (Collapse) | 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 | |