Commits · core-up · Adam / Iris

Jan 03, 2025
- Remove tests mentioning core · 25057899
  Adam authored 5 months ago
  
  25057899
Sep 29, 2024
- Move category results · 032e2739
  Adam authored 8 months ago
  
  032e2739
Sep 22, 2024
- Complete removing core except for 2 tests · 367fab0d
  Adam authored 8 months ago
  
  367fab0d
Sep 12, 2024
- Remove core · 4e2491cf
  Adam authored 9 months ago
  
  View commits for tag fossacs-2025 fossacs-2025
  
  4e2491cf
- simplify maximum idemp axiom · 89f95fc3
  Adam authored 9 months ago
  
  89f95fc3
- Infinite products · f486b227
  Adam authored 9 months ago
  
  f486b227
- Remove unnecessary validity parameters of miximal core axiom · ca231b75
  Adam authored 10 months ago
  
  ca231b75
- Category of cmras · ed7a7783
  Adam authored 10 months ago
  
  ed7a7783
- Add maximum axiom to pcore · f1311c1c
  Adam authored 11 months ago
  
  f1311c1c
Sep 11, 2024
- Merge branch 'msammler/stdpp_555' into 'master' · 0203d5ca
  Ralf Jung authored 9 months ago
  0203d5ca
- sync dune flags · 09279a52
  Ralf Jung authored 9 months ago
  
  09279a52
- Break long line. · eebd01f9
  Robbert Krebbers authored 9 months ago
  
  eebd01f9
- Make backwards compatible. · 5192f9d7
  Robbert Krebbers authored 9 months ago
  
  5192f9d7
- Adapt to iris/stdpp!555 · 30da7ea3
  Michael Sammler authored 1 year ago
  
  30da7ea3
- Merge branch 'ralf/coq-8.20' into 'master' · 2c668ea2
  Ralf Jung authored 9 months ago
  2c668ea2
- use Coq 8.20 for reftesting · 8dac02fe
  Ralf Jung authored 9 months ago
  
  8dac02fe
- fix or silence 8.20 warnings · b40126df
  Ralf Jung authored 9 months ago
  
  b40126df
- test Coq 8.20 · c8d73bf6
  Ralf Jung authored 9 months ago
  
  c8d73bf6
- update dependencies · 68778750
  Ralf Jung authored 9 months ago
  
  68778750
Sep 10, 2024
- Bump std++. · 6f24ed4b
  Robbert Krebbers authored 9 months ago
  
  6f24ed4b
- update dependencies · f14ebfde
  Ralf Jung authored 9 months ago
  
  f14ebfde
Sep 05, 2024
- Bump std++. · f6ed0921
  Robbert Krebbers authored 9 months ago
  
  f6ed0921
Sep 04, 2024
- Merge branch 'ralf/style_guide' into 'master' · 0005c5d9
  Ralf Jung authored 9 months ago
  0005c5d9
- Reformat style guide · a658b538
  Ralf Jung authored 9 months ago
  
  a658b538
- Merge branch 'discrete_fun_helpers' into 'master' · a92765d3
  Ralf Jung authored 9 months ago
  a92765d3
- bump std++ · 0653ba6c
  Ralf Jung authored 9 months ago
  
  0653ba6c
Sep 03, 2024
- Add changelog · ede904dc
  Janggun Lee authored 9 months ago
  
  ede904dc
- Remove use of `map_Forall_insert_1`. · 69446a0b
  Robbert Krebbers authored 9 months ago
  
  69446a0b
Aug 30, 2024
- bump std++ · efb542b0
  Ralf Jung authored 9 months ago
  
  efb542b0
Aug 29, 2024
- Add some `discrete_fun_singleton` helpers. · f6ab4763
  Janggun Lee authored 9 months ago
  
  f6ab4763
- Merge branch 'discrete_fun_update' into 'master' · ff40b0a7
  Ralf Jung authored 9 months ago
  ff40b0a7
- Add changelog. · 197d868c
  Janggun Lee authored 9 months ago
  
  197d868c
Aug 28, 2024
- avoid naming a typeclass argument · 05ebd4df
  Ralf Jung authored 9 months ago
  
  05ebd4df
- Apply review comments and add `discrete_fun_updateP'`. · 3f996021
  Janggun Lee authored 9 months ago
  
  3f996021
Aug 23, 2024
- Add `discrete_function_update{P}`. · fe3f50a8
  Janggun Lee authored 9 months ago
  fe3f50a8
Aug 20, 2024
- Merge branch 'janno/iframe-cbv' into 'master' · 657b34ad
  Robbert Krebbers authored 9 months ago
  657b34ad
- More documentation. · 13aa09a8
  Robbert Krebbers authored 9 months ago
  
  13aa09a8
- Documentation. · 77fd4c86
  Robbert Krebbers authored 10 months ago
  
  77fd4c86
- Turn two more uses of `cbv` into `lazy` that involve user terms. · 3e55344c
  Robbert Krebbers authored 10 months ago
  
  3e55344c
- iFrame: Do not call `cbv` on user terms in contexts · 45b4a2d2
  Jan-Oliver Kaiser authored 1 year ago
  
  45b4a2d2