Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
Branches
Overview
Active
Stale
All
jh/sprop_upred
111318cb
·
Upred is isomorphic to some kind of monotonous SProp predicate. (WIP)
·
Apr 04, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh_inductive_pairs
7d2a0390
·
Failed attempt at improving performances of pairs by using inductives
·
Jun 16, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jonas/step_update
9afe85b3
·
Better definition of step modality
·
May 26, 2023
iris/iris!887
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
later_stripping
ff41fb77
·
Made heapGS_step_cnt a local instance
·
Apr 10, 2022
iris/iris!783
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
less_canonical
5226baf6
·
FAIL : Less canonical projections.
·
Feb 22, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
less_canonical_new
a9e2d8f3
·
Another failed approach to avoid declaring other projections than the carrier as canonical.
·
Feb 02, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
838322ad
·
remove some long-dead files
·
Jan 11, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mtac2
2b33df47
·
Start porting tactics to mtac2.
·
Nov 25, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mtac2-tt
ba871b6e
·
changes in ttactics
·
Nov 29, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
no_always_forall
60b3610c
·
Experiment: remove always_forall.
·
Aug 21, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
no_closed
949bc625
·
Get rid of closedness conditions.
·
Aug 18, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
peterson
decbe8f4
·
Ported code and proof to heaplang
·
Jan 18, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
primproj-fail
e3760751
·
WIP: Make uPred, OFE and CMRAs use primitive projections
·
Dec 07, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/auth-frac
cf25cbc8
·
WIP: this is not nice. we should have a sigma-type-based auth instead.
·
Nov 30, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/magic-singleton
9bd5532f
·
demonstrate a weird issue
·
Mar 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/options-file
95c7b32b
·
hack Makefile to install .v files (for iris_options)
·
Feb 07, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/plainly
73adb81d
·
WIP
·
Dec 06, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/proofmode-imported
2e0eb1da
·
test proofmode via transitive imports
·
Nov 16, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/salways
84da47cb
·
WIP: try to prove more rules for salways
·
Mar 21, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
revert-849abb8d
c59b52fe
·
Revert "Merge branch 'swasey/progress' into 'master'"
·
Nov 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next