Commits · master · FP / Stacked Borrows Coq

Nov 18, 2020
- noticed something odd in our local simulation relation · d1471b10
  Ralf Jung authored 4 years ago
  
  d1471b10
Feb 07, 2020
- remove a todo that we did · 92090a71
  Ralf Jung authored 5 years ago
  
  92090a71
Jan 07, 2020
- bump all dependencies · 0e926762
  Hai Dang authored 5 years ago
  
  0e926762
Nov 19, 2019
- link to paper website as well · 345fd810
  Ralf Jung authored 5 years ago
  
  345fd810
- link to uploaded appendix · beefdf5b
  Ralf Jung authored 5 years ago
  
  beefdf5b
Nov 14, 2019
- fix same typo in code · a7323b23
  Ralf Jung authored 5 years ago
  
  a7323b23
Nov 13, 2019
- typo in README · 1e98a4b8
  Hai Dang authored 5 years ago
  
  View commits for tag popl20 popl20
  
  1e98a4b8
- editing · 05983bb8
  Ralf Jung authored 5 years ago
  
  05983bb8
- update README and add comments about indexing stacks · 7379a946
  Hai Dang authored 5 years ago
  
  7379a946
Nov 08, 2019
- more README edits · af44b2c3
  Ralf Jung authored 5 years ago
  
  af44b2c3
- more comments on retag Default vs FnEntry · e7805765
  Ralf Jung authored 5 years ago
  
  e7805765
- README editing · 31da8ade
  Ralf Jung authored 5 years ago
  
  31da8ade
- explain simulation in README + more comments for ex1 · d96a7447
  Hai Dang authored 5 years ago
  
  d96a7447
Oct 31, 2019
- Merge branch 'master' of gitlab.mpi-sws.org:FP/stacked-borrows · 259b030d
  Ralf Jung authored 5 years ago
  
  259b030d
- more backtics · 7ea38844
  Ralf Jung authored 5 years ago
  
  7ea38844
Oct 30, 2019
- quote Miri implemention in README · 07674eec
  Hai Dang authored 5 years ago
  
  07674eec
- let's not copy binary blobs between repos that get out of sync anyway · b3668f02
  Ralf Jung authored 5 years ago
  
  b3668f02
- update appendix · 15179104
  Ralf Jung authored 5 years ago
  
  15179104
- link things · 3a8b5260
  Ralf Jung authored 5 years ago
  
  3a8b5260
- fix Miri typo · d91b5618
  Ralf Jung authored 5 years ago
  
  d91b5618
- update appendix · 37d5c503
  Hai Dang authored 5 years ago
  
  37d5c503
- add links to Miri in README · ddee7971
  Hai Dang authored 5 years ago
  
  ddee7971
- sync README with paper · b0e86c8f
  Hai Dang authored 5 years ago
  
  b0e86c8f
Oct 22, 2019
- update README · ff98a460
  Ralf Jung authored 5 years ago
  
  ff98a460
- update appendix · 994dd4d4
  Hai Dang authored 5 years ago
  
  994dd4d4
- add table linking appendix and Coq · 282a9f17
  Hai Dang authored 5 years ago
  
  282a9f17
Oct 11, 2019
- reorder in README · 90dc58a0
  Hai Dang authored 5 years ago
  
  90dc58a0
Oct 10, 2019
- add LICENSE · 9ae2c04d
  Hai Dang authored 5 years ago
  
  9ae2c04d
- minor edits to README · 91c4b652
  Hai Dang authored 5 years ago
  
  91c4b652
Oct 09, 2019
- fix README · fdfe3232
  Hai Dang authored 5 years ago
  
  fdfe3232
- bump iris · 151d4e46
  Hai Dang authored 5 years ago
  
  151d4e46
Sep 20, 2019
- add comments to code · 2c54350f
  Hai Dang authored 5 years ago
  
  2c54350f
Sep 17, 2019
- fix typos in README · fb4a36a8
  Hai Dang authored 5 years ago
  
  fb4a36a8
- remove old commented code · 8f851ab3
  Ralf Jung authored 5 years ago
  
  8f851ab3
- more edits · d0716dc6
  Ralf Jung authored 5 years ago
  
  d0716dc6
- edit · 1d6d9a6d
  Ralf Jung authored 5 years ago
  
  1d6d9a6d
- update README · 2d7ea383
  Hai Dang authored 5 years ago
  
  2d7ea383
- add 2 proofs of ex3 · ddd96a4a
  Hai Dang authored 5 years ago
  
  ddd96a4a
Sep 16, 2019
- fix README more · d8b37fe6
  Hai Dang authored 5 years ago
  
  d8b37fe6
- fix README · 2491a5c3
  Hai Dang authored 5 years ago
  
  2491a5c3