Branches · Jan / iris-coq · GitLab

Snippets Groups Projects

master default protected

8f1acb74 · NEW: Now with strange typing error. · 6 years ago
iris/iris!152
Download source code

zip
tar.gz
tar.bz2
tar
ci/ralf/telescopes

1d3cf6d0 · Merge remote-tracking branch 'origin/gen_proofmode' into ci/ralf/telescopes · 6 years ago
Download source code

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

cc605c1a · also use iSolveTC for heap_lang · 6 years ago
Download source code

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

86fda3c8 · make atomic_heap a typeclass and add some notation for it · 6 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
mtac2-tt

ffb1edea · Bump Mtac commit. · 6 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
gen_proofmode

ce9313df · make updates and magic wand linebreaks consistent with coq built-in notation · 6 years ago
Download source code

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

5863b551 · use beq instead of Bool.eqb in envs_replace · 6 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/ralf/mtac2-tt

5b2f1b51 · update CI and Makefile · 6 years ago
Download source code

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

f02bf0d6 · use beq instead of Bool.eqb in envs_replace · 6 years ago
Download source code

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

e5fb155f · Stronger version of adequacy that also talks about state. · 6 years ago
Download source code

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

1ea1f5df · Typeclass to overload WP notation. · 7 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ralf/emp-intro

15b4a65e · when the goal is an evar, pick emp when possible · 7 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
joe/defined_pers

e472449d · Define persistently from the BI interface. · 7 years ago
Download source code

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

0625d673 · WIP: make core general for all BIs · 7 years ago
Download source code

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

c1502cc2 · apply -> refine · 7 years ago
Download source code

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

d9ce97eb · take some part of robberts patch · 7 years ago
Download source code

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

1ecb9670 · `Cancelable` instances for gmap/option. · 7 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
jh/evar_iframe

998bdedf · Get rid of KnownFrame and iFrame automatically instantiating evars. · 7 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/janno/vmcast

caf434e7 · Fix cast in `solve_as_val`. · 7 years ago
Download source code

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

9835899b · Syntax `iAssert (Q with spat) as ...` which is consistent with `with`s elsewhere. · 7 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Prev
1
2
3
Next