| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-12 | Update to latest version | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||
| 2020-01-11 | Do proper submodule checkout and bump version. | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||
| 2019-05-18 | Version based on nightlies, update dependencies, optionally precompile proofs | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||
| 2019-02-16 | Add missing clang dependency | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||
| 2019-02-16 | Update to the latest git version | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||
| 2019-02-15 | No need for submodule sync, as the code will do that elsewhere | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||
| 2019-02-15 | add missing makedepends: jq | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||
| 2019-02-15 | Initial release 0.0.1.r23.g271a6812 | Gergely Imreh | |
| Signed-off-by: Gergely Imreh <imrehg@gmail.com> | |||