Skip to content
GitLab
Explore
Sign in
Maxime Dénès
LambdaRust-coq
Repository
Branches
Overview
Active
Stale
All
fix-export
831c3946
·
Avoid relying on `Export` bugs
·
Sep 10, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bump-iris
362b91d5
·
Bump Iris version
·
Feb 04, 2019
iris/lambda-rust!12
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
instance-nobody-open-proof
77d340bc
·
Make trivial instances explicit
·
Jan 24, 2019
iris/lambda-rust!11
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
289ee836
·
bump Iris
·
Jan 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/weak_mem
38d5ba20
·
try to fix std++
·
Jan 15, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/debug
41f0d79f
·
use 8.8.0 as default Coq version; test against Coq master with coqchk
·
Nov 07, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/prophecy
badca8ce
·
update for observations in language interface
·
Oct 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/gen_proofmode
1da6c57f
·
use pm_prettify for goal prettification
·
Jul 05, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/weak_mem
92d0039b
·
bump gpfsl
·
Jun 26, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/old-asval
4ff15805
·
simplify AsVal-using proofs a bit
·
Jun 20, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/pm_red
61fa46d9
·
and again
·
Jun 04, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/acc
9f12527a
·
experiment with fractured borrows as accessors
·
May 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/iris-dev-performance
c35d6e2f
·
run triggers on the timing CI
·
Mar 06, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/exact_vm
c02b2a72
·
WIP
·
Mar 01, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
skiplist
c79971e7
·
Skiplist WIP
·
Oct 21, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
iris-update
12425ffd
·
More fixes, depends on the ilocked Iris branch.
·
Sep 29, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/lifetime_no_dead_trade
7d8e810e
·
It is not necessary to ask lifetime inclusion to trade dead tokens.
·
Aug 28, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/popl_submission
122ef54b
·
Update readme.
·
Jul 07, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
strong_cas_fail
f6c342c3
·
Do not allow na reads and CAS to race on the same location.
·
May 16, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/call
f35e4b7b
·
wip
·
May 12, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next