Bump MathComp lower bound to >= 1.16.0 and Coq to >= 8.16. (!272) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Pierre Roux requested to merge proux1/rt-proofs:bump_lbs into master 2 years ago

Mar 17, 2023
- Revert "Restore compatibility with Coq 8.13" · 684abf2c
  Pierre Roux authored 2 years ago and Björn Brandenburg committed 2 years ago
  
  This reverts commit be40b98b now that we require Coq >= 8.16. Fixes: #85
  684abf2c
- Bump lower bound for Coq to >= 8.16 · 45930ef1
  Pierre Roux authored 2 years ago and Björn Brandenburg committed 2 years ago
  
  45930ef1
- Bump lower bound on MathComp to >= 1.16.0 · b9454d56
  Pierre Roux authored 2 years ago
  
  b9454d56