Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
Branches
Overview
Active
Stale
All
ci/robbert/into_fupd
d70b62f6
·
Use new class `IntoFUpd` in tactic `wp_value_head`.
·
Jan 07, 2021
ci/robbert/into_val_pures
ae5de30b
·
Allow `IntoVal` to take pure steps.
·
Oct 18, 2018
ci/robbert/kill_locked_value_lambdas
b00f573b
·
Get rid of locked value lambdas.
·
Mar 13, 2019
ci/robbert/mapsto_persist
bd032741
·
CHANGELOG.
·
Dec 18, 2020
ci/robbert/merge_sbi
59bbb184
·
Experiment: Merge bi & sbi structures for some performance tests.
·
Apr 19, 2020
ci/robbert/naive_solver
6a96d902
·
CI.
·
Jun 26, 2019
ci/robbert/set_solver_eauto
336404e0
·
update to std++ snapshot
·
Oct 27, 2022
ci/robbert/set_unfold
6d17dc6d
·
CI.
·
Apr 23, 2019
ci/robbert/tc_opaque
bb0f3924
·
`equiv` is no longer type class opaque.
·
Apr 23, 2019
ci/stability
2f7efe5a
·
rerun CI
·
Jun 23, 2018
ci/timing
00dad6b9
·
benchmark a different branch
·
Oct 24, 2023
coq-bugs/tc-resolution-cannot-unify-with-self
a1abaf74
·
reproducer for Coq bug
·
Jun 04, 2023
fast_string
157e41c2
·
Use fast_string.
·
Feb 22, 2017
hai/si_embed
fb9e7003
·
Make uPred_si_embed instances lemmas and move them
·
Apr 18, 2021
iris-3.0
protected
e42a8649
·
update README to reflect the branch's state
·
Jan 28, 2019
iris-3.1
protected
6eeb2c95
·
reflect in README that this is the 3.1 branch
·
Jan 28, 2019
iris-3.2
protected
15e5dc7c
·
depend on released std++
·
Apr 29, 2020
iris-3.3
protected
1399a84e
·
better opam synopsis
·
Jul 15, 2020
iris-3.4
protected
f181d238
·
update Iris doc version
·
Mar 08, 2021
jh/simplify_na_inv
20bb7cc3
·
Simplify NA-inv protocol.
·
Oct 06, 2023
Prev
1
2
3
4
5
Next