Commits · a83bedbe2293d65828b9287bb7238a22f0f9118f · Gaëtan Gilbert / Iris

Jun 06, 2021
- 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
- Add missing commutations for `fupd` · 9f5a71a9
  Paolo G. Giarrusso authored 3 years ago
  
  Suggestion from Gregory Malecha, forall lemmas suggested by Robbert & Ralf, proof scripts from me.
  9f5a71a9
- bupd_forall -> bupd_plain_forall · 461c9fdd
  Paolo G. Giarrusso authored 3 years ago
  
  461c9fdd
- Nit: Reduce asymmetry · cfe2139e
  Paolo G. Giarrusso authored 3 years ago
  
  cfe2139e
- fupd_homomorphism -> fupd_sep_homomorphism · 5497aa94
  Paolo G. Giarrusso authored 3 years ago
  
  5497aa94
May 28, 2021
- comply by opam's style guidelines · 1bb3e3fa
  Ralf Jung authored 3 years ago
  
  1bb3e3fa
- update build-all script for fork support for all projects · 2471b7df
  Ralf Jung authored 3 years ago
  
  2471b7df
- fix IRIS/STDPP handling in build-all · cf11af4b
  Ralf Jung authored 3 years ago
  
  cf11af4b
- support GitLab MR syntax for setting std++/Iris repo and rev · 08ea4ad2
  Ralf Jung authored 3 years ago
  
  08ea4ad2