Commits · master · POTTIER Francois / osiris

Jun 12, 2025
- Notation fixes after merging. · c0d7f4e8
  Remy Seassau authored 1 week ago
  
  c0d7f4e8
- Update notations so we no longer have notation conflicts. · 8fdba847
  Remy Seassau authored 1 week ago
  
  8fdba847
- Nit · c273439a
  Irene Yoon authored 1 week ago
  
  c273439a
Jun 11, 2025
- Merge exceptions · 852e7d44
  Irene Yoon authored 1 week ago
  
  852e7d44
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
Jan 18, 2025
- Fix proofs. · 9ec9c9ca
  Remy Seassau authored 5 months ago
  
  9ec9c9ca
Nov 22, 2024
- Resolve merge conflicts from master and make branch compile · dec715c5
  Irene Yoon authored 7 months ago
  
  dec715c5
- [exceptions/exceptions_pure] repair; cleaup left to do in [exceptions_pure] · da274ad0
  Irene Yoon authored 7 months ago
  
  da274ad0
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
Sep 04, 2024
- Refactor [handle_cons] into Ltac2 and comment. · 62bc03c3
  Remyjck authored 9 months ago
  
  62bc03c3
Aug 30, 2024
- nit · 0dfe8dbd
  MADIOT Jean-Marie authored 9 months ago
  0dfe8dbd
Aug 28, 2024
- Improved cpat matching to work on generic outcomes. · 7ccada6b
  Remyjck authored 9 months ago
  
  7ccada6b
- Bugfix + reorganising. · 93fabc93
  Remyjck authored 9 months ago
  
  93fabc93
Jul 19, 2024
- Strengthened [pure_match], unfolding branches is now unnecessary · 85fff771
  Remyjck authored 11 months ago
  
  85fff771
Jul 16, 2024
- Nit. · b9673cc1
  Remyjck authored 11 months ago
  
  b9673cc1
Jul 10, 2024
- Changes do be propagating. · 043e75bf
  Remyjck authored 11 months ago
  
  043e75bf
May 22, 2024
- Reorganisation. · c8402cdd
  Remyjck authored 1 year ago
  
  c8402cdd
Apr 12, 2024
- Added example which catches an exception [match/try .. with]. · 4a6470a3
  Remyjck authored 1 year ago
  
  4a6470a3

Admin message