Commits · 3cd6ebad63aa6aef3f39aa7138046cdcd17718b8 · Simon Spies / lambda-rust

Mar 15, 2021
- 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
- update dependencies · f8e59635
  Ralf Jung authored 4 years ago
  
  f8e59635
Oct 30, 2020
- Bump std++ (Qp changes). · 0989fafb
  Robbert Krebbers authored 4 years ago
  
  0989fafb
Oct 29, 2020
- Merge branch 'patch/typo' into 'master' · 30df06a1
  Robbert Krebbers authored 4 years ago
  
  Fix typos See merge request iris/lambda-rust!17
  30df06a1
- fix typos · ae69f50b
  Yusuke Matsushita authored 4 years ago
  
  ae69f50b
Oct 19, 2020
- punctuation · 524fbf52
  Ralf Jung authored 4 years ago
  
  524fbf52
- bump Iris · ecb1b4ab
  Ralf Jung authored 4 years ago
  
  ecb1b4ab
- CI comment · 7cbec33e
  Ralf Jung authored 4 years ago
  
  7cbec33e
Oct 13, 2020
- some of these changes were unnecessary · 63aa88ea
  Ralf Jung authored 4 years ago
  
  63aa88ea