Commits · fb7fea27485554b6425d3289a874aa37d36c5800 · Pierre Roux / Iris

Dec 05, 2021
- test suite: unset env vars that change Coq's output · fb7fea27
  Ralf Jung authored 3 years ago
  
  fb7fea27
Dec 03, 2021
- update dependencies · f2640c5e
  Ralf Jung authored 3 years ago
  
  f2640c5e
Dec 02, 2021
- fix read_contrib_spec_1 being unexpectedly weak for no reason · aec517b5
  Ralf Jung authored 3 years ago
  
  aec517b5
Dec 01, 2021
- update stdpp dependency · b230b840
  Michael Sammler authored 3 years ago
  
  b230b840
Nov 26, 2021
- switch CI and timing to Coq 8.14.1 · 255341dd
  Ralf Jung authored 3 years ago
  
  255341dd
Nov 25, 2021
- update dependencies · b01aa338
  Ralf Jung authored 3 years ago
  
  b01aa338
Nov 23, 2021
- fix coq-lint for macOS restricted regex support · d04dfdf4
  Ralf Jung authored 3 years ago
  
  d04dfdf4
Nov 22, 2021
- Merge branch 'robbert/big_op_instances.v' into 'master' · f6dd81bc
  Robbert Krebbers authored 3 years ago
  
  Move big-op instances up. See merge request iris/iris!755
  f6dd81bc
- Move big-op instances up. · 22e84ce0
  Robbert Krebbers authored 3 years ago
  
  22e84ce0
- Merge branch 'ghost-map-persist-auth' into 'master' · 2fff23af
  Ralf Jung authored 3 years ago
  
  gmap_view supports persisting the authorative element See merge request iris/iris!745
  2fff23af
- move to post-release changelog · 15348051
  Ralf Jung authored 3 years ago
  
  15348051
- gmap_view supports persisting the authorative element · b38f1529
  Simon Friis Vindum authored 3 years ago and Ralf Jung committed 3 years ago
  
  b38f1529
- update append-only list tracking issue · 46d8457a
  Ralf Jung authored 3 years ago
  
  46d8457a
Nov 16, 2021
- Merge branch 'vsiles' into 'master' · 3982e4ea
  Robbert Krebbers authored 3 years ago
  
  Adding gmap_fmap_ext_ne See merge request iris/iris!751
  3982e4ea
- Adding gmap_fmap_ext_ne · 26be4a4b
  Vincent authored 3 years ago and Robbert Krebbers committed 3 years ago
  
  26be4a4b
- Merge branch 'robbert/iRewrite_dom' into 'master' · afa87d25
  Robbert Krebbers authored 3 years ago
  
  Define `Proper` for `dom` and enable `iRewrite` on goals involving `dom` See merge request !754
  afa87d25
- CHANGELOG. · f70a6e8d
  Robbert Krebbers authored 3 years ago
  
  f70a6e8d
- Add test. · 3c2d317a
  Robbert Krebbers authored 3 years ago
  
  3c2d317a
- Add `Proper` instance for `Dom` on `gmap`. · b3901a51
  Robbert Krebbers authored 3 years ago
  
  b3901a51
- rename a command that conflicts with siunitx.sty · ff3cf284
  Ralf Jung authored 3 years ago
  
  ff3cf284
Nov 15, 2021
- fix coq-lint for Instances · f0df9142
  Ralf Jung authored 3 years ago
  
  f0df9142
- silence a warning we cannot fix any time soon · 25469570
  Ralf Jung authored 3 years ago
  
  25469570
Nov 13, 2021
- normalize for Fail printing locations · f1e2242d
  Ralf Jung authored 3 years ago
  
  f1e2242d
- update dependencies · fc879c12
  Ralf Jung authored 3 years ago
  
  fc879c12
Nov 10, 2021
- Merge branch 'indentation_config' into 'master' · 9e44cd34
  Ralf Jung authored 3 years ago
  
  Indentation config See merge request !752
  9e44cd34
- Added support for `by` and `forall` · d1131ebd
  Jonas Kastberg authored 3 years ago
  
  d1131ebd
- remove an outdated comment · 6823251d
  Ralf Jung authored 3 years ago
  
  6823251d
- Suggested fix for indentation problem · 79a108a8
  Jonas Kastberg authored 3 years ago
  
  79a108a8
- .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
Nov 09, 2021
- Merge branch 'ralf/fixpoint_unfold' into 'master' · d87541bc
  Ralf Jung authored 3 years ago
  
  give some help for using fixpoint_unfold See merge request !749
  d87541bc
Nov 08, 2021
- Merge branch 'ralf/persistently-forall' into 'master' · 53ec94ec
  Ralf Jung authored 3 years ago
  
  move persistently_forall_2 out of BI interface See merge request !702
  53ec94ec
- tweak changelog · 049ac8e3
  Robbert Krebbers authored 3 years ago and Ralf Jung committed 3 years ago
  
  049ac8e3
- changelog · 72d9cb6e
  Ralf Jung authored 3 years ago
  
  72d9cb6e
- give some help for using fixpoint_unfold · d4dd8716
  Ralf Jung authored 3 years ago
  
  d4dd8716
- Merge branch 'ralf/big_sepL2_sep' into 'master' · dd9a044e
  Ralf Jung authored 3 years ago
  
  lemmas to merge a sepL and a sepL2 See merge request iris/iris!735
  dd9a044e
- GPFSL supports timing now · bdad8ab2
  Ralf Jung authored 3 years ago
  
  bdad8ab2
- formatting and nits · b0eb3ed9
  Ralf Jung authored 3 years ago
  
  b0eb3ed9
- improve comments · 6db3649f
  Robbert Krebbers authored 3 years ago and Ralf Jung committed 3 years ago
  
  6db3649f
- fix spacing · ce6f4e19
  Paolo G. Giarrusso authored 3 years ago and Ralf Jung committed 3 years ago
  
  ce6f4e19