Commits · 9cb4b4a5496a283d58e8b3e9b9af30ca9f0712de · Pierre Roux / Iris

Mar 18, 2023
- add 'wp_apply (...) as' · 6900258e
  Ralf Jung authored 2 years ago
  
  6900258e
Aug 04, 2022
- update documentation and make it match reality · 01abd043
  Ralf Jung authored 2 years ago
  
  01abd043
Jul 13, 2022
- clarify · 1c105c7d
  Robbert Krebbers authored 2 years ago and Ralf Jung committed 2 years ago
  
  1c105c7d
Jul 07, 2022
- document wp_smart_apply · 1db4c77d
  Ralf Jung authored 2 years ago
  
  1db4c77d
Nov 10, 2020
- add docs and changelog entry · 0e228686
  Ralf Jung authored 4 years ago
  
  0e228686
Nov 06, 2020
- split RA docs into separate file, and general doc updates · 8cfe4ceb
  Ralf Jung authored 4 years ago
  
  8cfe4ceb
Oct 29, 2020
- Fix typos · 07d25e67
  Yusuke Matsushita authored 4 years ago and Robbert Krebbers committed 4 years ago
  
  07d25e67
Dec 19, 2019
- [doc] Fix links to doc files · d5763982
  Tej Chajed authored 5 years ago and Ralf Jung committed 5 years ago
  
  d5763982
Dec 14, 2019
- [doc] Copy edit the heap lang documentation · 6385b7ea
  Tej Chajed authored 5 years ago
  
  Verified
  
  6385b7ea
Nov 10, 2019
- CAS -> CmpXchg in HeapLang tactic docs · 86a8269d
  Paolo G. Giarrusso authored 5 years ago
  
  Verified
  
  86a8269d
Nov 01, 2019
- move docs around · 14ac28b1
  Ralf Jung authored 5 years ago
  
  14ac28b1
Jul 22, 2019
- mention how to use iLöb for recursive functions · 8dfda06c
  Ralf Jung authored 5 years ago
  
  8dfda06c
Mar 14, 2019
- Get rid of locked value lambdas. · ece1ecdd
  Robbert Krebbers authored 6 years ago
  
  ece1ecdd
Feb 26, 2019
- expand HeapLang docs a bit · cceb5c12
  Ralf Jung authored 6 years ago
  
  cceb5c12
Feb 18, 2019
- we need unlocked value lambdas · a1cf5cb9
  Ralf Jung authored 6 years ago
  
  a1cf5cb9
- apply feedback · e5c727d8
  Ralf Jung authored 6 years ago
  
  e5c727d8
Feb 16, 2019
- document parts of HeapLang and, in particular, what we are doing with the thunk-related notations · 38dbbf59
  Ralf Jung authored 6 years ago
  
  38dbbf59