Commit message (Expand) | Author | Age | |
---|---|---|---|
* | CI: extract iris git version without using opam | 2018-04-18 | |
* | fix iris-lambda-rust CI | 2018-04-18 | |
* | Improve shell scripts | 2018-04-05 | |
* | CI: Run coqchk on Iris | 2018-01-31 | |
* | rename ci-iris-coq -> ci-iris-lambda-rust | 2017-10-19 |