Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Daniël Louwrink
lambda-rust
Repository
Branches
Overview
Active
Stale
All
jh_nondependent_expr
21d1abf5
·
Expression do no longer have a dependent type holding the set of
·
Jul 14, 2016
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
new_lifetime_logic
merged
f207080e
·
Update type system wrt new lifetime logic.
·
Nov 08, 2016
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stuck
dc85a171
·
Stuck.
·
Dec 01, 2016
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/bug
0657f6bf
·
Stuck.
·
Dec 09, 2016
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/anomaly
363ce0ef
·
Coq anomaly
·
Dec 14, 2016
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
no-opaque
c34388ea
·
test performance without typeclasses opaque
·
Jan 04, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/ofe_problems
6ec83eee
·
Ofe problems.
·
Jan 30, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fast_string
674b22d2
·
Use fast_string.
·
Feb 22, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/dynamic_masks
4e268989
·
Dynamic masks for lifetimes.
·
Feb 28, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/undiscriminated_hintdb
merged
a30d1b32
·
Try making [lrust_typing] non-discriminated to see whether anything changes.
·
Mar 06, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gen_big_op
cd5dc3ca
·
Update to new big ops in Iris.
·
Mar 21, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fnlft
merged
45d185eb
·
Line breaks, tweaks.
·
Mar 24, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/closures
4bf89e83
·
Attempt at modeling closures. this does not work because of higher
·
Mar 27, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/typecheck_foo
83f9d0a1
·
Typechecking Ralf's example.
·
Apr 14, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
notations
69f91efc
·
Remove obsolete FIXME.
·
May 09, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/call
f35e4b7b
·
wip
·
May 12, 2017
Compare
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
jh/popl_submission
122ef54b
·
Update readme.
·
Jul 07, 2017
Compare
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
Compare
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
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next