Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
Branches
Overview
Active
Stale
All
ralf/total-core
16f41e87
·
WIP: try getting rid of Core typeclass
·
Jul 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/val-compare
7bc008c5
·
introduce notation for value comparison
·
Jun 21, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/big_sepM2
d88db874
·
big_sepM2.
·
Mar 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/bupd_be_gone
d3814459
·
Remove basic updates from the Iris model, and define them using plainly.
·
Oct 27, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/iAssert_with
9835899b
·
Syntax `iAssert (Q with spat) as ...` which is consistent with `with`s elsewhere.
·
Feb 19, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/lock_no_gamma
68e8477d
·
Get rid of γs in locks.
·
Jun 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/no_always_forall
60b3610c
·
Experiment: remove always_forall.
·
Aug 21, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/own_ghost
12a6f8fb
·
Use notation for `own`.
·
Apr 09, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/plausibly
3e4b87c2
·
Show that bupd entails plausibly.
·
Oct 27, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/sprop
a4cc2f55
·
Add `sProp`.
·
Aug 16, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
seal_ires
fdcce825
·
Bench.
·
Feb 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
strong_frame
bc4b0cc2
·
Strong framing by default for persistent hypotheses.
·
Mar 05, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stronger_gen_proper_2
39f0153e
·
Make types of `big_op{L,M}_gen_proper_2` more generic
·
Jan 29, 2020
iris/iris!363
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stronger_list_core_id
d6dbed9e
·
Add a stronger version of `list_core_id`.
·
Jan 23, 2020
iris/iris!361
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
swasey/sequential
94bbe14d
·
Support sequential languages.
·
Dec 17, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unified_persistent_modality
09b0b3c9
·
Use more informative tags `Strong` and `Weak` for the modalities.
·
Oct 24, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
Next