Commits · 1b3e86bb788848e4484be832d28c8e3e965453d7 · Gaëtan Gilbert / Iris

Mar 18, 2023
- Remove redundant space. · 1b3e86bb
  Robbert Krebbers authored 2 years ago
  
  1b3e86bb
- Add CHANGELOG. · 3466b794
  Robbert Krebbers authored 2 years ago
  
  3466b794
- CHANGELOG entry. · 8b71b075
  Robbert Krebbers authored 2 years ago
  
  8b71b075
Mar 09, 2023
- Improve iCombine to allow a 'gives' clause for validity properties · 02a46fc6
  Ike Mulder authored 2 years ago and Robbert Krebbers committed 2 years ago
  
  02a46fc6
Mar 07, 2023
- CHANGELOG. · fa59d087
  Robbert Krebbers authored 2 years ago
  
  fa59d087
- Change definition of dist_later for compatability with Transfinite Iris · 45203832
  Michael Sammler authored 2 years ago and Robbert Krebbers committed 2 years ago
  
  45203832
Mar 03, 2023
- CHANGELOG. · fa902781
  Robbert Krebbers authored 2 years ago
  
  fa902781
Feb 16, 2023
- Tweak CHANGELOG, give credit to @svancollem . · ab2ec90b
  Robbert Krebbers authored 2 years ago
  
  ab2ec90b
- add changelog · 6af40773
  Ralf Jung authored 2 years ago
  
  6af40773
Feb 13, 2023
- CHANGELOG. · 0d781227
  Robbert Krebbers authored 2 years ago
  
  0d781227
Feb 08, 2023
- CHANGELOG entry. · 9f23a5ce
  Robbert Krebbers authored 2 years ago
  
  9f23a5ce
- Apply Robbert's suggestions · 586c7625
  Robbert Krebbers authored 2 years ago and Simcha van Collem committed 2 years ago
  
  586c7625
Jan 17, 2023
- Add changelog entry · 2f6a2f2c
  Simcha van Collem authored 2 years ago
  
  2f6a2f2c
Jan 09, 2023
- drop support for Coq 8.13 · 2365daee
  Ralf Jung authored 2 years ago
  
  2365daee
Dec 06, 2022
- CHANGELOG. · 81a42f84
  Robbert Krebbers authored 2 years ago
  
  81a42f84
Nov 26, 2022
- Add Fractional and AsFractional instance for embed · 4df29af7
  Simon Friis Vindum authored 2 years ago
  
  4df29af7
Nov 24, 2022
- CHANGELOG. · e35c8ee0
  Robbert Krebbers authored 2 years ago
  
  e35c8ee0
- CHANGELOG. · f7271e52
  Robbert Krebbers authored 2 years ago
  
  f7271e52
Nov 23, 2022
- heaplang.sty: avoid clash with hyperref · 4a4db77f
  Ralf Jung authored 2 years ago
  
  4a4db77f
Nov 17, 2022
- CHANGELOG. · b83e6cad
  Robbert Krebbers authored 2 years ago
  
  b83e6cad
Nov 16, 2022
- Consider intro pattern `IRewrite` (->/<-) to be intuitionistic · 7b3ccc15
  Robbert Krebbers authored 2 years ago and Ralf Jung committed 2 years ago
  
  7b3ccc15
Nov 09, 2022
- Add transitive closure for bi · 97a7ff0c
  Simcha van Collem authored 2 years ago and Robbert Krebbers committed 2 years ago
  
  97a7ff0c
Aug 20, 2022
- make tutorial a stable link · daf895dc
  Ralf Jung authored 2 years ago
  
  daf895dc
Aug 17, 2022
- set release date to tomorrow, re-flow changelog · ea2417ba
  Ralf Jung authored 2 years ago
  
  ea2417ba
- Prepare changelog for release 4.0 · a4cc46d4
  Lennard Gäher authored 2 years ago and Ralf Jung committed 2 years ago
  
  a4cc46d4
Aug 13, 2022
- proofmode: do not treat pure assertions as persistent · 4ab05d99
  Ralf Jung authored 2 years ago
  
  4ab05d99
Aug 10, 2022
- changelog · bbc45d80
  Ralf Jung authored 2 years ago
  
  bbc45d80
Aug 09, 2022
- CHANGELOG. · fa7af014
  Robbert Krebbers authored 2 years ago
  
  fa7af014
Aug 04, 2022
- update documentation and make it match reality · 01abd043
  Ralf Jung authored 2 years ago
  
  01abd043
- add some missing IsOp instances and remove accidental instance for mono_nat and mono_list · 77d3a42e
  Ralf Jung authored 2 years ago
  
  77d3a42e
- rename staging to unstable · d9360cde
  Ralf Jung authored 2 years ago
  
  d9360cde
Aug 03, 2022
- changelog · 3c16b4eb
  Ralf Jung authored 2 years ago
  
  3c16b4eb
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 26, 2022
- CHANGELOG entry. · 7ff76b3c
  Robbert Krebbers authored 2 years ago
  
  7ff76b3c
Jul 20, 2022
- Remove unused Qp argument to dfrac_valid_discarded · 1f93e2d0
  Tej Chajed authored 2 years ago
  
  1f93e2d0
Jul 19, 2022
- Make saved props have discardable fractions · c4399239
  Lennard Gäher authored 2 years ago and Ralf Jung committed 2 years ago
  
  c4399239
- changelog · 449ced9b
  Ralf Jung authored 2 years ago
  
  449ced9b
Jul 14, 2022
- Fupd soundness lemmas always generate credits · 584702fd
  Lennard Gäher authored 2 years ago and Ralf Jung committed 2 years ago
  
  584702fd
Jul 05, 2022
- First Steps for Later Credits · 7032de0e
  Simon Spies authored 2 years ago and Ralf Jung committed 2 years ago
  
  7032de0e
Jun 09, 2022
- remove of_envs_eq'; add of_envs_alt · d3f9e01a
  Ralf Jung authored 2 years ago
  
  d3f9e01a