Commits · 303b615ba0210d1e950f65319d185f80eb211f96 · Simon Spies / lambda-rust

Sep 03, 2020
- test Coq 8.12 and deny warnings · 303b615b
  Ralf Jung authored 4 years ago
  
  303b615b
Sep 02, 2020
- update dependencies · 4cbd0622
  Ralf Jung authored 4 years ago
  
  4cbd0622
- update warning settings, and fix warnings · ceb6ca55
  Ralf Jung authored 4 years ago
  
  ceb6ca55
- update dependencies · e75c1713
  Ralf Jung authored 4 years ago
  
  e75c1713
Aug 26, 2020
- fractured borrows: factor token trading into separate lemmas · 6dd6fbfb
  Ralf Jung authored 4 years ago
  
  6dd6fbfb
Jul 22, 2020
- Bump Iris + get rid of iAlways. · 340e8204
  Robbert Krebbers authored 4 years ago
  
  340e8204
Jul 15, 2020
- update dependencies · 1b31e552
  Ralf Jung authored 4 years ago
  
  1b31e552
- remove now-unnecessary extra qualification · ed345684
  Ralf Jung authored 4 years ago
  
  ed345684
- bump Iris · 3e70afc7
  Ralf Jung authored 4 years ago
  
  3e70afc7
Jul 10, 2020
- strengthen lifetime logic: make lft_userN disjoint from lftN so it remains... · 9ca012d6
  Ralf Jung authored 4 years ago
  
  strengthen lifetime logic: make lft_userN disjoint from lftN so it remains available during atomic accessors
  9ca012d6
Jul 08, 2020
- explain why we expose κ' in bor_acc_strong · 5d384541
  Ralf Jung authored 4 years ago
  
  5d384541
- bump Iris · aa650418
  Ralf Jung authored 4 years ago
  
  aa650418
Jul 02, 2020
- update dependencies; fix for step_fupd notation change · a772befe
  Ralf Jung authored 4 years ago
  
  a772befe
Jun 19, 2020
- test against Coq 8.11.2 · bcf15e3d
  Ralf Jung authored 4 years ago
  
  bcf15e3d
- nightly build against 8.12 beta · c8835ca6
  Ralf Jung authored 4 years ago
  
  c8835ca6
- update dependencies · 8f17f207
  Ralf Jung authored 4 years ago
  
  8f17f207
- update dependencies; import numbers where needed and update Makefile · 8078f356
  Ralf Jung authored 4 years ago
  
  8078f356
May 29, 2020
- bump Iris · 09942ced
  Ralf Jung authored 4 years ago
  
  09942ced
- show that bor_shorten can be derived · 02a42740
  Ralf Jung authored 4 years ago
  
  02a42740
May 24, 2020
- Bump Iris (sbi removal). · 766776c4
  Robbert Krebbers authored 4 years ago
  
  766776c4
May 15, 2020
- mark a stronger-than-on-paper rule as such · 9418275e
  Ralf Jung authored 4 years ago
  
  9418275e
May 08, 2020
- proof style nits · 875e7747
  Ralf Jung authored 4 years ago
  
  875e7747
May 07, 2020
- update dependencies · c6d98043
  Ralf Jung authored 4 years ago
  
  c6d98043
Apr 23, 2020
- update dependencies · 916b26ad
  Ralf Jung authored 4 years ago
  
  916b26ad
Apr 08, 2020
- bump Iris · 00d2513f
  Ralf Jung authored 4 years ago
  
  00d2513f
Apr 07, 2020
- fix for std++/Iris name overlap · b15312b6
  Ralf Jung authored 4 years ago
  
  b15312b6
- fix for Iris renames · a6b87eb4
  Ralf Jung authored 4 years ago
  
  a6b87eb4
- update dependencies · 168e70eb
  Ralf Jung authored 4 years ago
  
  168e70eb
- bump Iris · 0984fec7
  Ralf Jung authored 4 years ago
  
  0984fec7
Apr 04, 2020
- Bump Iris. · fe35f4cd
  Robbert Krebbers authored 4 years ago
  
  fe35f4cd
- Fix typo. · 397cb2b3
  Robbert Krebbers authored 4 years ago
  
  397cb2b3
Apr 02, 2020
- enable coercion path warning · 2e75ac23
  Ralf Jung authored 4 years ago
  
  2e75ac23
- update dependencies · 7b456885
  Ralf Jung authored 4 years ago
  
  7b456885
Mar 31, 2020
- make a user-mask available inside lifetime logic view shifts · 757490f7
  Ralf Jung authored 4 years ago
  
  757490f7
Mar 30, 2020
- bump Iris · df39e04f
  Ralf Jung authored 4 years ago
  
  df39e04f
Mar 21, 2020
- update dependencies; seal typed_{read,write} to avoid unification slowness · 73f3ded1
  Ralf Jung authored 5 years ago
  
  73f3ded1
Mar 18, 2020
- update dependencies · 66509f23
  Ralf Jung authored 5 years ago
  
  66509f23
- update dependencies · e19d2453
  Ralf Jung authored 5 years ago
  
  e19d2453
Mar 16, 2020
- add missing spaces · 1e4d095c
  Ralf Jung authored 5 years ago
  
  1e4d095c
- update dependencies; fix for coercion removal · 03c9ddd3
  Ralf Jung authored 5 years ago
  
  03c9ddd3