Commits · strong_cas_fail · Iris / lambda-rust · GitLab

Snippets Groups Projects

May 16, 2017
- Do not allow na reads and CAS to race on the same location. · f6c342c3
  Robbert Krebbers authored 8 years ago
  f6c342c3
- Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq · ccaa983d
  Jacques-Henri Jourdan authored 8 years ago
  
  ccaa983d
- An example with non-lexical lifetimes. · e9716c6a
  Jacques-Henri Jourdan authored 8 years ago
  
  e9716c6a
- explain a weird design choice · 87bf3231
  Ralf Jung authored 8 years ago
  
  87bf3231
- Use return: instead of "return". · 5b8432f2
  Jacques-Henri Jourdan authored 8 years ago
  
  5b8432f2
May 15, 2017
- Use type_call_iris to simplify some proofs. · 419aec4f
  Jacques-Henri Jourdan authored 8 years ago
  
  419aec4f
May 13, 2017
- Fake a shared cell from a mutable borrow. · d86bc591
  Jacques-Henri Jourdan authored 8 years ago
  
  d86bc591
- Fix FIXME. · 830f16e9
  Robbert Krebbers authored 8 years ago
  830f16e9
- Bump Iris. · ebddbb7f
  Robbert Krebbers authored 8 years ago
  
  ebddbb7f
May 12, 2017
- fix FIXME · 360cb44f
  Ralf Jung authored 8 years ago
  
  360cb44f
- fix build · 2f832315
  Ralf Jung authored 8 years ago
  
  2f832315
- Use new function call lemma in spawn, take_mut · 25cdab5a
  Ralf Jung authored 8 years ago
  
  25cdab5a
- tune ty_own simplification behavior; make uninit.(ty_own) compute the right way · 50104633
  Ralf Jung authored 8 years ago
  
  50104633
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/LambdaRust-coq · 0cab8fc7
  Ralf Jung authored 8 years ago
  
  0cab8fc7
- should fix the error · 9dc14fb5
  Ralf Jung authored 8 years ago
  
  9dc14fb5
- keep building as many files as possible · d520e47b
  Ralf Jung authored 8 years ago
  
  d520e47b
- Fix use of iInduction, we had to generalize first. · ce46d445
  Robbert Krebbers authored 8 years ago
  ce46d445
- fix compile · 55de8385
  Ralf Jung authored 8 years ago
  
  55de8385
- *oops* did not mean to commit this yet · 07045934
  Ralf Jung authored 8 years ago
  
  07045934
- Lemma to call a rust-typed function from Iris · bc3c1ccd
  Ralf Jung authored 8 years ago
  
  bc3c1ccd
- Merge commit '3f39048d ' · 7673df07
  Ralf Jung authored 8 years ago
  
  7673df07
May 09, 2017
- make the static dispatch for closures look more like it looks in Rust · 8f23e937
  Ralf Jung authored 8 years ago
  
  8f23e937
- Make ty_own simpl nomatch to avoid many matches in proof states. · 3f39048d
  Robbert Krebbers authored 8 years ago
  
  3f39048d
- Delimit scopes of list variants of subst. · fb327fcf
  Robbert Krebbers authored 8 years ago
  
  fb327fcf
- Fix another FIXME. · 0758845e
  Robbert Krebbers authored 8 years ago
  0758845e
- Bump Iris, fix FIXME. · ae3de6b5
  Robbert Krebbers authored 8 years ago
  
  ae3de6b5
May 04, 2017
- swap · 6f6bd266
  Jacques-Henri Jourdan authored 8 years ago
  
  6f6bd266
May 02, 2017
- Use a "static dispatch" way of presenting higher order functions. · 15f425f2
  Jacques-Henri Jourdan authored 8 years ago
  
  15f425f2
- prove take_mut · e431e185
  Ralf Jung authored 8 years ago
  
  e431e185
Apr 29, 2017
- Arc comments · f3ac56ab
  Ralf Jung authored 8 years ago
  
  f3ac56ab
- Mutex and MutexGuard subtyping. This completes the Mutex proof. · fededf8a
  Ralf Jung authored 8 years ago
  
  fededf8a
Apr 28, 2017
- MutexGuard Sync bound · fb244ed3
  Ralf Jung authored 8 years ago
  
  fb244ed3
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/LambdaRust-coq · fcde5d93
  Ralf Jung authored 8 years ago
  
  fcde5d93
- Mutex: Send+Sync · f4a672cf
  Ralf Jung authored 8 years ago
  
  f4a672cf
- Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq · 5eb375e8
  Jacques-Henri Jourdan authored 8 years ago
  
  5eb375e8
- weak_count and strong_count for Arc. · f4930b01
  Jacques-Henri Jourdan authored 8 years ago
  
  f4930b01
- refine comments even more · f2f98080
  Ralf Jung authored 8 years ago
  
  f2f98080
- refine comments · 1b16dbbe
  Ralf Jung authored 8 years ago
  
  1b16dbbe
- Guards for rwlock are sync. · 4a90389f
  Jacques-Henri Jourdan authored 8 years ago
  
  4a90389f
- Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq · 11e5b308
  Jacques-Henri Jourdan authored 8 years ago
  
  11e5b308