Commits · master · Iris / simuliris

Mar 31, 2025
- Merge branch 'ci/lennard/bump-iris' into 'master' · 771b052a
  Lennard Gäher authored 3 weeks ago
  
  Bump Iris See merge request !20
  771b052a
- bump iris · fbb60d41
  Lennard Gäher authored 3 weeks ago
  
  fbb60d41
Mar 19, 2025
- update README · 18b8bfcf
  Johannes Hostert authored 1 month ago
  
  18b8bfcf
- add example 14 Coq file · 06edbb88
  Johannes Hostert authored 1 month ago
  
  06edbb88
Mar 18, 2025
- clarify notation · 10e7d793
  Ralf Jung authored 1 month ago
  
  10e7d793
- work on readme · 30d93595
  Ralf Jung authored 1 month ago
  
  30d93595
- add explanation of coq to paper correspondence · 040f2d9c
  Johannes Hostert authored 1 month ago
  
  040f2d9c
- link to TB readme · 003179e0
  Ralf Jung authored 1 month ago
  
  003179e0
- Merge branch 'ci/tree-borrows' into 'master' · dc27a2ec
  Ralf Jung authored 1 month ago
  
  Tree Borrows update See merge request !18
  dc27a2ec
Mar 17, 2025
- more readme · 5b6e968b
  Johannes Hostert authored 1 month ago
  
  5b6e968b
Mar 14, 2025
- add comment about nsteps · 0232e6a1
  Johannes Hostert authored 1 month ago
  
  0232e6a1
- remove "Print Assumptions" things · dd28d249
  Johannes Hostert authored 1 month ago
  
  dd28d249
- add TB one-liner · e6940837
  Johannes Hostert authored 1 month ago
  
  e6940837
- restore SB README · a6360b95
  Johannes Hostert authored 1 month ago
  
  a6360b95
- open your eyes; your double-blindness is cured · 570ea001
  Johannes Hostert authored 1 month ago
  
  570ea001
- huge TB cleanup · 2894a20f
  Johannes Hostert authored 1 month ago
  
  2894a20f
- Merge remote-tracking branch 'origin/master' into ci/tree-borrows · 65013a71
  Johannes Hostert authored 1 month ago
  
  65013a71
Mar 11, 2025
- trees_equal/trees_equal.v goes poof · fb939248
  Neven Villani authored 1 month ago
  
  This file is outdated
  fb939248
- Cleanup read_read_reorder and give it a README · 6168f97d
  Neven Villani authored 1 month ago
  
  6168f97d
Mar 10, 2025
- First wave of extra documentation & cleanup · a7a6ebb6
  Neven Villani authored 1 month ago
  
  a7a6ebb6
Feb 07, 2025
- update dependencies · 4099b244
  Ralf Jung authored 2 months ago
  
  4099b244
- Forward compatibility fixes for stdpp!555 · 4a6e4194
  Robbert Krebbers authored 2 months ago
  
  4a6e4194
Jan 29, 2025
- allow 9.0-compatible coq-equations · b7030e3a
  Ralf Jung authored 2 months ago
  
  b7030e3a
- update dependencies · c0934c77
  Ralf Jung authored 2 months ago
  
  c0934c77
Jan 25, 2025
- also allow 'dev' version of coq-equations · 33f048f8
  Ralf Jung authored 2 months ago
  
  33f048f8
Nov 15, 2024
- typo · 0113a590
  Johannes Hostert authored 5 months ago
  
  0113a590
- more stuff on example 14 · 30af0340
  Johannes Hostert authored 5 months ago
  
  30af0340
- make the supervisor happy by adding random hints to the readme · 2c072cfe
  Johannes Hostert authored 5 months ago
  
  2c072cfe
- talk about what is, not what will be · da706433
  Ralf Jung authored 5 months ago
  
  da706433
- equivalence_def instead of refinement_def · 054b38d2
  Johannes Hostert authored 5 months ago
  
  054b38d2
- readme tweaks · ec3e8cd9
  Ralf Jung authored 5 months ago
  
  ec3e8cd9
- whoops example 1 is a different file · 83ecef0f
  Johannes Hostert authored 5 months ago
  
  83ecef0f
- more readme work · d28a2de2
  Johannes Hostert authored 5 months ago
  
  d28a2de2
- remove potentially double-blind link · ffc3fd5a
  Johannes Hostert authored 5 months ago
  
  ffc3fd5a
- Remove outdated FIXME and other commented out code · e2096174
  Neven Villani authored 5 months ago
  
  e2096174
- Apply suggestion · a3c294e1
  Johannes Hostert authored 5 months ago
  
  a3c294e1
Nov 14, 2024
- fix compile derp · 5d4a6693
  Johannes Hostert authored 5 months ago
  
  5d4a6693
- implement MR feedback · 41ad5dec
  Johannes Hostert authored 5 months ago
  
  41ad5dec
- add insert read example · 7fd646af
  Johannes Hostert authored 5 months ago
  
  7fd646af
- remove poison semantics · eb239377
  Johannes Hostert authored 5 months ago
  
  eb239377