Commits · a4cc46d4f78eedf33c478da57bd597d411d1232e · Pierre Roux / Iris

Jul 27, 2022
- Add later credits to the WP · c5ebd34d
  Lennard Gäher authored 2 years ago and Robbert Krebbers committed 2 years ago
  
  c5ebd34d
Jul 23, 2022
- use consistent metavar in fpfn RA rules · 0136017b
  Ralf Jung authored 2 years ago
  
  0136017b
Jul 05, 2022
- First Steps for Later Credits · 7032de0e
  Simon Spies authored 2 years ago and Ralf Jung committed 2 years ago
  
  7032de0e
- add test user of proofoutlines · e399bd08
  Ralf Jung authored 2 years ago
  
  e399bd08
- update pftools.sty from my thesis · 8d81002c
  Ralf Jung authored 2 years ago
  
  not really a fully compatible replacement. we should really have an example use of this somewhere here...
  8d81002c
May 23, 2022
- add logically atomic triples · f8710e19
  Ralf Jung authored 2 years ago
  
  f8710e19
- Revert "Merge branch 'iris_style_improvements' into 'master'" · b60fbd73
  Ralf Jung authored 2 years ago
  
  This reverts commit bfb57e8b, reversing changes made to 56e9d264. Fixes the problem reported at <iris/iris!797 (comment 81110)>
  b60fbd73
- add a test document for our macros · 3e0fecca
  Ralf Jung authored 2 years ago
  
  3e0fecca
May 21, 2022
- (maybe) better symbol for Ptradd · f9181595
  Ralf Jung authored 2 years ago
  
  f9181595
- remove MatchCore macro, and add sugar for match with binders · 8dc969d0
  Ralf Jung authored 2 years ago
  
  8dc969d0
- add short-circuiting boolean operations · ee8476c4
  Ralf Jung authored 2 years ago
  
  ee8476c4
May 18, 2022
- document HeapLang syntax and operational semantics · 6676a195
  Ralf Jung authored 2 years ago
  
  6676a195
May 16, 2022
- Renamed internal macro · c4857c8a
  Jonas Kastberg authored 2 years ago
  
  c4857c8a
- Removed unused angle bracket macro · 006ab914
  Jonas Kastberg authored 2 years ago
  
  006ab914
May 13, 2022
- Made hoare triple macro compatible with e.g. array environment · 5a0f0a4c
  Jonas Kastberg authored 2 years ago
  
  5a0f0a4c
Jan 23, 2022
- also update filename · 620e1ffc
  Ralf Jung authored 3 years ago
  
  620e1ffc
- Bump version number in TeX docs · fd459e87
  Tej Chajed authored 3 years ago
  
  Verified
  
  fd459e87
Nov 16, 2021
- rename a command that conflicts with siunitx.sty · ff3cf284
  Ralf Jung authored 3 years ago
  
  ff3cf284
Nov 10, 2021
- .gitignore · 1e40d59b
  Ralf Jung authored 3 years ago
  
  1e40d59b
- this is now the Iris 3.6 docs · 51a81879
  Ralf Jung authored 3 years ago
  
  51a81879
Jul 05, 2021
- add comment in iris.sty · 6ffe3929
  Ralf Jung authored 3 years ago
  
  6ffe3929
Apr 19, 2021
- invariant paradox: use fupd notation and fix formatting · 9e4493f9
  Ralf Jung authored 3 years ago
  
  9e4493f9
Mar 08, 2021
- update version number in tex docs · 93d53ba8
  Ralf Jung authored 4 years ago
  
  93d53ba8
Mar 06, 2021
- Update latex. · 18b74886
  Jacques-Henri Jourdan authored 4 years ago
  
  18b74886
Oct 31, 2020
- Fix typos · 291d150c
  Yusuke Matsushita authored 4 years ago and Ralf Jung committed 4 years ago
  
  291d150c
Oct 29, 2020
- Fix typos · 07d25e67
  Yusuke Matsushita authored 4 years ago and Robbert Krebbers committed 4 years ago
  
  07d25e67
Oct 01, 2020
- make adequacy apply to multiple initial threads · 996ec297
  Michael Sammler authored 4 years ago
  
  996ec297
Aug 24, 2020
- LaTeX: make \spac non-breakable · 7f690d29
  Ralf Jung authored 4 years ago
  
  7f690d29
Jul 14, 2020
- fix docs title · 8253fa47
  Ralf Jung authored 4 years ago
  
  8253fa47
- tex docs: semantic invariants · 07d83528
  Ralf Jung authored 4 years ago
  
  07d83528
Jun 08, 2020
- adjust \min font · ada31c02
  Ralf Jung authored 4 years ago
  
  ada31c02
Jun 06, 2020
- capitalize Emp consistent with True/False · d1982040
  Ralf Jung authored 4 years ago
  
  d1982040
- make local update font consistent with other notation · a7b651f5
  Ralf Jung authored 4 years ago
  
  a7b651f5
Jun 04, 2020
- avoid ugly page break after judgment header · 0000e975
  Ralf Jung authored 4 years ago
  
  0000e975
Jun 03, 2020
- add TeX Makefile · 7fb5dd20
  Ralf Jung authored 4 years ago
  
  7fb5dd20
Jun 01, 2020
- tweak spacing around our domains · b880d5a2
  Ralf Jung authored 4 years ago
  
  b880d5a2
May 30, 2020
- sync iris.sty with my thesis, and small tweaks · 1c4f0990
  Ralf Jung authored 4 years ago
  
  1c4f0990
Mar 18, 2020
- definitionally -> propositionally · 26d4f967
  Ralf Jung authored 5 years ago
  
  26d4f967
- mention that masks in Coq are a bit different than on paper · 6ba36cd6
  Ralf Jung authored 5 years ago
  
  6ba36cd6
Feb 20, 2020
- say things about modalities · 8bc5a88a
  Ralf Jung authored 5 years ago
  
  8bc5a88a