Commits · ec6af5ad3015f515b65a8769adbfe46bc0a431af · Simon Spies / lambda-rust

May 05, 2021
- update dependencies · ec6af5ad
  Ralf Jung authored 3 years ago
  
  ec6af5ad
May 04, 2021
- The introduction pattern \!# is deprecated. Replace by \!>. · 9c1d9abd
  Jacques-Henri Jourdan authored 3 years ago
  
  9c1d9abd
May 01, 2021
- Nit. · 75f6aaae
  Jacques-Henri Jourdan authored 3 years ago
  
  75f6aaae
Apr 28, 2021
- don't test against Coq master (it is broken) · b6389b47
  Ralf Jung authored 3 years ago
  
  b6389b47
Apr 20, 2021
- Bump std++ (multisets). · 4e3fabc0
  Robbert Krebbers authored 3 years ago
  
  4e3fabc0
Mar 16, 2021
- Merge branch 'msammler/update-iris' into 'master' · 9f72ef66
  Ralf Jung authored 4 years ago
  
  Update iris dependency See merge request iris/lambda-rust!22
  9f72ef66
- Update iris dependency · c961dd7b
  Michael Sammler authored 4 years ago
  
  c961dd7b
Mar 15, 2021
- fix warnings · 8c43dc46
  Ralf Jung authored 4 years ago
  
  using Tej's script from iris!594 (comment 60292)
  8c43dc46
- bump the Coq version we test · 3cd6ebad
  Ralf Jung authored 4 years ago
  
  3cd6ebad
- Merge branch 'ci/ralf/ghostcell' into 'master' · 85369545
  Ralf Jung authored 4 years ago
  
  add GhostCell proof See merge request iris/lambda-rust!19
  85369545
Mar 11, 2021
- more comments explaining the weakened typing rule · 0e60fa20
  Ralf Jung authored 4 years ago
  
  0e60fa20
- add GhostCell proof by Joshua Yanovski · 97946ce6
  Ralf Jung authored 4 years ago
  
  97946ce6
- add BrandedVec proof by Joshua Yanovski · 4376ac7f
  Ralf Jung authored 4 years ago
  
  4376ac7f
- make external lifetime context inclusion syntactic, and adjust type system and existing proofs · ac7ba2d6
  Ralf Jung authored 4 years ago
  
  ac7ba2d6
- add derived 'meta' mechanism to lifetime logic: associate a lifetime with metadata (via a gname) · 1da46577
  Ralf Jung authored 4 years ago
  
  1da46577
- add 'syntactic' notion of lifetim inclusion and prove basic lemmas about it · 572c354a
  Ralf Jung authored 4 years ago
  
  572c354a
- prove that Skip is atomic · 719c409c
  Ralf Jung authored 4 years ago
  
  719c409c
Mar 09, 2021
- update dependencies · 7a5a1733
  Ralf Jung authored 4 years ago
  
  7a5a1733
Mar 07, 2021
- Bump · a96ed1bf
  Jacques-Henri Jourdan authored 4 years ago
  
  a96ed1bf
Mar 03, 2021
- update dependencies · ab1110a9
  Ralf Jung authored 4 years ago
  
  ab1110a9
Feb 16, 2021
- update dependencies · c6235271
  Ralf Jung authored 4 years ago
  
  c6235271
Feb 14, 2021
- Bump Iris. · b4038b7b
  Robbert Krebbers authored 4 years ago
  
  b4038b7b
Feb 12, 2021
- add variant of diverging_static for arbitrary invariant lifetime positions · d1a2a68f
  Ralf Jung authored 4 years ago
  
  d1a2a68f
- diverging_static can now be checked in the type system · 5b40fd70
  Ralf Jung authored 4 years ago
  
  5b40fd70
Feb 11, 2021
- show variant of equalization with the static lifetime · 57f71459
  Ralf Jung authored 4 years ago
  
  57f71459
- update dependencies · a0b45f8c
  Ralf Jung authored 4 years ago
  
  a0b45f8c
Jan 30, 2021
- fix typos · 76867886
  Ralf Jung authored 4 years ago
  
  76867886
Jan 29, 2021
- fix typo: relf -> refl · 0c24904f
  Ralf Jung authored 4 years ago
  
  0c24904f
- update dependencies · e69087a4
  Ralf Jung authored 4 years ago
  
  e69087a4
Jan 25, 2021
- Bump Iris. · 355d27d7
  Robbert Krebbers authored 4 years ago
  
  355d27d7
Dec 21, 2020
- Merge branch 'master' of gitlab.mpi-sws.org:iris/lambda-rust · 228ade96
  Jacques-Henri Jourdan authored 4 years ago
  
  228ade96
- option is non-expansive. · 3211eec2
  Jacques-Henri Jourdan authored 4 years ago
  
  3211eec2
Dec 10, 2020
- remove unused import of hoare module · c36ae2bd
  Ralf Jung authored 4 years ago
  
  c36ae2bd
- update dependencies · 3047110d
  Ralf Jung authored 4 years ago
  
  3047110d
Nov 21, 2020
- Prove more precise Sync/Send instances for RwLock guards. · 4404030f
  Jacques-Henri Jourdan authored 4 years ago
  
  4404030f
- prove Send instances for lock guards · c32e4cd1
  Ralf Jung authored 4 years ago
  
  c32e4cd1
Nov 17, 2020
- fix compatibility with latest Coq master · 47c423af
  Ralf Jung authored 4 years ago
  
  47c423af
- update dependencies · c4e3113b
  Ralf Jung authored 4 years ago
  
  c4e3113b
Nov 11, 2020
- update build system · 024b0331
  Ralf Jung authored 4 years ago
  
  024b0331
- update CI config · 58d1873e
  Ralf Jung authored 4 years ago
  
  58d1873e