Skip to content
GitLab
Explore
Sign in
Jason Hu
lambda-rust
Repository
Branches
Overview
Active
Stale
All
new_ops
d9797ee5
·
add more operations to the language
·
Dec 22, 2022
iris/lambda-rust!27
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bounded
2c208a64
·
Merge remote-tracking branch 'upstream/master' into bounded
·
Dec 22, 2022
iris/lambda-rust!26
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
950a713f
·
update dependencies
·
Nov 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
masters/weak_mem
d03bc23f
·
fix na_borrow
·
Jul 05, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
masters/rusthornbelt
00c664c7
·
Use Coq 8.15.0
·
Apr 21, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xldenis/pldi-submission
bb7601ef
·
Merge branch 'masters/rusthornbelt' into xldenis/pldi-submission
·
Apr 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xldenis/smallvec-push
f0f30002
·
100
·
Mar 13, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refmut_sync
fcf960cc
·
RefMut can be considered as Sync
·
Feb 15, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/sprop
f6d4980f
·
Compat with
iris/stdpp!309
.
·
Sep 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/pinning
a8095e98
·
Add pinning to model of types
·
Jul 27, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xldenis/option
e8e4a630
·
Prove a function on option
·
Jun 03, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/Z_of_nat
a9c2158c
·
Insert `Z.of_nat` when coercion is dropped.
·
Jun 03, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xldenis/type-sum
4fc05ae8
·
Prove remaining sum rules
·
May 17, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
yusuke/tlist_for_prophecy
9b75f7ea
·
use tlist for prophecy
·
Apr 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
msammler/rustverify_talk
7ed93b4c
·
changes for rustverify talk
·
Apr 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gpirlea/pin_semantic
813bf84d
·
make everything build again
·
Mar 11, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rusthornbelt
3aa48db7
·
prove model of product
·
Mar 08, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/janno/strict-tc-resolution
0f082cc2
·
CI timing job
·
Feb 28, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
step_indexing_controlled_by_ghosts
9390d6a7
·
Rebase on top of Iris step indexing branch
·
Feb 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gpirlea/pinning
bb851ce8
·
Merge branch 'master' into gpirlea/pinning
·
Dec 16, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next