Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
master
default
protected
7b8a6255
·
update dependencies
·
Jan 20, 2021
typed_proph
32b4655f
·
First shot at typed prophecy variables interface.
·
Sep 24, 2019
cas_resolve
deedaafd
·
Add heap_lang library for resolve on CAS.
·
Jun 15, 2019
atomic_resolve_alternative
850c642b
·
First steps of the implementation of Robbert's suggestion.
·
May 27, 2019
arrays
3e99ad1a
·
Cleanup arrays
·
May 15, 2019
prophecy_list
d479c851
·
Style updates suggested by
@robbertkrebbers
·
Mar 22, 2019
iris/iris!225
ci/robbert/tc_opaque
5e9d94b3
·
CI.
·
Mar 15, 2019
ci/joe/compact_ipm
c4de1014
·
Update tac_forall_specialize to not embed the context twice.
·
Mar 14, 2019
robbert/big_sepM2
d88db874
·
big_sepM2.
·
Mar 13, 2019
ci/robbert/kill_locked_value_lambdas
b00f573b
·
Get rid of locked value lambdas.
·
Mar 13, 2019
ralf/const-rf
0e53b389
·
keep more instances local
·
Mar 02, 2019
ci/debug
e0d1a32f
·
test CI
·
Feb 28, 2019
mtac2-tt
a42fcf07
·
auto-detect timing project name
·
Feb 28, 2019
ralf/no-generalize
f5bceb45
·
play with avoid auto-generalization
·
Feb 22, 2019
ralf/saved-anything
143eb81a
·
explain to be careful around savedAnythingG
·
Feb 19, 2019
ci/disable-ltac-backtrace
b51b7a70
·
Set the Ltac backtrace option in tests.
·
Feb 05, 2019
iris-3.1
6eeb2c95
·
reflect in README that this is the 3.1 branch
·
Jan 28, 2019
iris-3.0
e42a8649
·
update README to reflect the branch's state
·
Jan 28, 2019
ci/maximedenes/instance-nobody-open-proof
2e426d3f
·
Make trivial instances explicit
·
Jan 24, 2019
robbert/ufrac
1d67a47f
·
The unbounded fractional authoritative camera.
·
Dec 20, 2018
Prev
1
2
3
4
Next