Branches · Glen Mével / iris-time-proofs · GitLab

Active branches

master default protected

fab17192 · Merge branch 'master' of gitlab.inria.fr:gmevel/iris-time-proofs · May 18, 2022

Download source code

zip tar.gz tar.bz2 tar
banker

d93eb054 · update lemmas about auth_min_nat do not need ◯ · Apr 28, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
banker_debit_attempt

85316c10 · an attempt at fixing the proof of `debit_force`, but `debit_pay` is now broken · Apr 28, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar

Stale branches

new_heap_lang merged

93f6f1f5 · Use time receipts in proof of union find. · Nov 09, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
gen_id

50ee5313 · Gen_id.v · Jan 17, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar