Commits · master · POTTIER Francois / osiris

Jun 12, 2025
- Notation fixes after merging. · c0d7f4e8
  Remy Seassau authored 2 weeks ago
  
  c0d7f4e8
- Update notations so we no longer have notation conflicts. · 8fdba847
  Remy Seassau authored 2 weeks ago
  
  8fdba847
May 27, 2025
- Update proof rules and existing proofs. · 727e1ff2
  Remy Seassau authored 1 month ago
  
  727e1ff2
Apr 09, 2025
- Upgrades: coq [8.17 ~> 8.20], iris [4.1~>4.3], stdpp [1.9~>1.11] · 151d1fc8
  Remy Seassau authored 2 months ago
  
  151d1fc8
Feb 19, 2025
- Fix proof of [iter]. · 137fa18b
  Remy Seassau authored 4 months ago
  
  137fa18b
Dec 16, 2024
- Added [Spec] predicate. · 0bc06316
  Remy Seassau authored 6 months ago
  
  0bc06316
Nov 22, 2024
- Resolve merge conflicts from master and make branch compile · dec715c5
  Irene Yoon authored 7 months ago
  
  dec715c5
- [iter] repair; more comments, needs cleanup · 6af56df4
  Irene Yoon authored 7 months ago
  
  6af56df4
Sep 12, 2024
- Typo. · 8d088e99
  Remyjck authored 9 months ago
  
  8d088e99
- [isListIter] pure proof. · 82912dc5
  Remyjck authored 9 months ago
  
  82912dc5
Sep 11, 2024
- Renamed [handle_cons] to [next_branch]. · 27955c47
  Remyjck authored 9 months ago
  
  27955c47
Sep 08, 2024
- Update [handle_cons] to do automatic intros. · 0ebb213b
  Remyjck authored 9 months ago
  
  0ebb213b
Aug 28, 2024
- Improved cpat matching to work on generic outcomes. · 7ccada6b
  Remyjck authored 9 months ago
  
  7ccada6b
- Reorganising. · 19b63f13
  Remyjck authored 9 months ago
  
  19b63f13
Aug 26, 2024
- Comments. · 4faaf3fd
  Remyjck authored 10 months ago
  
  4faaf3fd
- Initial version of tactic that allows branch matching in ewp. · 72aacab0
  Remyjck authored 10 months ago
  
  72aacab0
Aug 22, 2024
- Progress towards pattern matching under ewp. · ed26091b
  Remyjck authored 10 months ago
  
  ed26091b
Jul 30, 2024
- First complete proof of iter. · 3ed07000
  Remyjck authored 10 months ago
  
  3ed07000
Jul 29, 2024
- Better spec for [List.iter] · 0d2c2b03
  Remyjck authored 10 months ago
  
  0d2c2b03
- Started new examples · 24ee31f8
  Remyjck authored 10 months ago
  
  24ee31f8

Admin message