Commits · b3911c16a9bf535cee5879e554eaf767a363cd40 · Yixuan Chen / Iris

Jun 08, 2021
- Changelog · b3911c16
  Paolo G. Giarrusso authored 3 years ago
  
  b3911c16
- Disambiguate agree_op_proper (noticed when trying to give a mode to Equiv) · b48c3b16
  Paolo G. Giarrusso authored 3 years ago
  
  b48c3b16
- Add remaining modes in cmra.v · 4adb71a8
  Paolo G. Giarrusso authored 3 years ago
  
  4adb71a8
- Mode for Unit · 1d7cb415
  Paolo G. Giarrusso authored 3 years ago
  
  1d7cb415
Jun 07, 2021
- Global Lemma → Lemma · a529364e
  Ralf Jung authored 3 years ago
  
  a529364e
- Merge branch 'ralf/bi-extensions' into 'master' · 7e77c9e7
  Ralf Jung authored 3 years ago
  
  move BI interface extensions to their own file See merge request iris/iris!699
  7e77c9e7
- move BI interface extensions to their own file · 5f2e8222
  Ralf Jung authored 3 years ago
  
  5f2e8222
Jun 06, 2021
- iris-bot: rename --test-branch → --test-rev · c1b931de
  Ralf Jung authored 3 years ago
  
  c1b931de
- Iron now has ad-hoc timing support · a83bedbe
  Ralf Jung authored 3 years ago
  
  a83bedbe
- fix timing comparison link · e50d482f
  Ralf Jung authored 3 years ago
  
  e50d482f
- add support for timing tests that need changes in the reverse dependency · 65235ee9
  Ralf Jung authored 3 years ago
  
  65235ee9
- tweak iris-bot help · 7f1799d5
  Ralf Jung authored 3 years ago
  
  7f1799d5
- rewrite iris-bot argument parsing using argparse · 58822e3d
  Ralf Jung authored 3 years ago
  
  58822e3d
- coq-lint: follow the style of other make messages · 7660bec0
  Ralf Jung authored 3 years ago
  
  7660bec0
- changelog and comment fixes for FromModal changes · 5ac41ebc
  Ralf Jung authored 3 years ago
  
  5ac41ebc
Jun 05, 2021
- iris-bot: fetch only master branch · 674eda31
  Ralf Jung authored 3 years ago
  
  674eda31
- fix docs · e30b3031
  Ralf Jung authored 3 years ago
  
  e30b3031
- Merge branch 'master' of https://gitlab.mpi-sws.org/iris/iris · 53d4a19f
  Ralf Jung authored 3 years ago
  
  53d4a19f
- turn build-all into more general script, and add support for ad-hoc timing measurements · 6996766a
  Ralf Jung authored 3 years ago
  
  6996766a
- rename nightly jobs for new naming scheme · 00e3ea15
  Ralf Jung authored 3 years ago
  
  00e3ea15
- mark most jobs as interruptible · d8b092d3
  Ralf Jung authored 3 years ago
  
  d8b092d3
- remove duplication in build-all script · b08379d9
  Ralf Jung authored 3 years ago
  
  b08379d9
- update dependencies · 2da41848
  Ralf Jung authored 3 years ago
  
  2da41848
Jun 04, 2021
- sync gitattributes with std++ · 3a41dad6
  Ralf Jung authored 3 years ago
  
  3a41dad6
- Disambiguate an fmap. · 40898af4
  Robbert Krebbers authored 3 years ago
  
  Follow up of e1c5e026
  40898af4
Jun 03, 2021
- update instructions for timing regression tests · 27c78b61
  Ralf Jung authored 3 years ago
  
  27c78b61
- fix invoking our linter · e68aec0a
  Ralf Jung authored 3 years ago
  
  e68aec0a
- move common style checks to separate file · 0039738e
  Ralf Jung authored 3 years ago
  
  0039738e
- disambiguate an mret · e1c5e026
  Ralf Jung authored 3 years ago
  
  Thanks to Paolo G. Giarrusso
  e1c5e026
- Merge branch 'ci/ralf/singletons' into 'master' · 2959900d
  Ralf Jung authored 3 years ago
  
  rename global singletons to 'GS' suffix Closes #409 See merge request iris/iris!678
  2959900d
Jun 02, 2021
- Merge branch 'ralf/sts' into 'master' · d38565f8
  Ralf Jung authored 3 years ago
  
  remove DRA layer, implement STS directly as an RA Closes #378 See merge request iris/iris!693
  d38565f8
- fix for std++ update · 82bd9f1d
  Ralf Jung authored 3 years ago
  
  82bd9f1d
- update dependencies · dde08018
  Ralf Jung authored 3 years ago
  
  dde08018
- add comment explaining how the STS construction works · 76e70d5d
  Ralf Jung authored 3 years ago
  
  76e70d5d
- update RA docs · 1560da9e
  Ralf Jung authored 3 years ago
  
  1560da9e
- fix typo · 632f92c5
  Ralf Jung authored 3 years ago
  
  632f92c5
- update ref files · 7f0c8a58
  Ralf Jung authored 3 years ago
  
  7f0c8a58
- rename global singletons to 'GS' suffix · 1118f70f
  Ralf Jung authored 3 years ago
  
  1118f70f
May 31, 2021
- Merge branch 'fupd-commutes' into 'master' · 8e404355
  Ralf Jung authored 3 years ago
  
  Add missing commutations for `fupd` See merge request iris/iris!688
  8e404355
- Add (non-persistent) IntoAnd & IntoForall for bupd/fupd · b2bb853f
  Paolo G. Giarrusso authored 3 years ago
  
  b2bb853f