Skip to content
GitLab
Explore
Sign in
Iris
gpfsl
Repository
Branches
Overview
Active
Stale
All
chase-lev-sketch
protected
57f24b1a
·
change notation for tokens
·
Jan 23, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lara
ed1ccaf3
·
bump to master
·
Dec 03, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/janno/canonical-vprop
7b415c46
·
Try something with canonical projections for vProp.
·
Apr 16, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
janno/texan-telescopes
42b7f046
·
Solve `[Post]` subgoals automatically.
·
May 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/merge_sbi_new
b14d3053
·
Test with merge SBI.
·
May 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jaehwang/graph2hist
cd6c6bbc
·
graph -> lin notes
·
Jun 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jaehwang/eventHistoryR
7e033b64
·
add eventHistoryR
·
Aug 03, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jaehwang/graph_lin
635e29bc
·
Sketch of graph lin proofs
·
Aug 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jaehwang/exchange_graph_lin
ac341d3e
·
Fix _CoqProject
·
Aug 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jaehwang/history-lat
01b3d024
·
port treiber stack graph proof (with some admits)
·
Aug 11, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
history
6249171d
·
remove graph edges from history
·
Sep 03, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
hai/try_loop
a179c626
·
WIP: try loop
·
Oct 10, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jaemin/treiber
3802ba54
·
finish linerizability
·
Oct 15, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/persistently-forall
ade7a4b4
·
adjust for BiPersistentlyForall
·
Nov 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
graphs_multi
protected
84446fe3
·
Minor cleanup
·
Dec 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/examples
protected
ef7fba7d
·
Fix compass readme to support review
·
Mar 01, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
vm
6c85c925
·
Make VM less powerful
·
Mar 02, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/compass
protected
64634a18
·
Fix warnings with Typeclasses Opaque
·
Jun 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar