Branches · Alix Trieu / Iris · GitLab

Snippets Groups Projects

read_only

9b804e35 · use standard license name · 4 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
if_instances

5a327edb · if instances for absorbing, affine and persistent · 4 years ago
iris/iris!474
Download source code

zip
tar.gz
tar.bz2
tar
Compare
master default protected

3998e1fd · Merge branch 'clarify-which-bsd' into 'master' · 4 years ago
Download source code

zip
tar.gz
tar.bz2
tar
ralf/ascii

7eaf255d · mention that the ASCII syntax exists (but we recommend unicode) · 4 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/issue_331

19671d2f · Test case. · 4 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/I

5dff121a · Remove redundant `%I` scopes in definitions. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/robbert/contractive_ne

6df6c641 · Remove `contractive_ne` and `contractive_proper` as instances. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/robbert/iFrame

30890193 · Make `[#]` produce goal with `<pers>` modality if premise is not persistent. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
iris-3.2

15e5dc7c · depend on released std++ · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/fail_ofe_bi

9d533fdd · Failed experiment: put `ofe` directly in `bi`. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/robbert/merge_sbi

59bbb184 · Experiment: Merge bi & sbi structures for some performance tests. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
swasey/sets-typeclass

997bfe3f · `namespace_map` notes. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
swasey/sets

5140c630 · Adjust comment. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/ralf/retime

4815e68e · Merge branch 'ralf/modalities' into 'master' · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/ralf/transfinite

1f868c7b · fix _CoqProject; disable tests (they are broken); reduce CI · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/stringident

e00bffc8 · WIP: use stringident plugin for pure intro patterns · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/thread_local_wp

1ca1a1aa · WIP. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
robbert/unbundle_chain

320b9511 · WIP. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/msammler/iris-coq-seal_big_opM

73e38f15 · seal big_opM, big_opS, big_opMS and big_sepM2 · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/robbert/naive_solver

6a96d902 · CI. · 5 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Prev
1
2
3
4
Next