Commits · c65ffcf113c1215fc6f3790ccc5dfe0c9d30f521 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

Nov 02, 2021
- CI: update to mathcomp 1.13 · 4ab7fbb8
  Björn Brandenburg authored 3 years ago
  
  4ab7fbb8
Oct 14, 2021
- opam: bump up supported Coq version · e50c3d11
  Björn Brandenburg authored 3 years ago
  
  e50c3d11
Oct 07, 2021
- drop support of older versions of Coq and ssreflect · d0f45cb1
  Sergey Bozhko authored 3 years ago and Björn Brandenburg committed 3 years ago
  
  Coq 8.11, Coq 8.12, ssreflect 1.10, and ssreflect 1.11 are no longer supported
  d0f45cb1
Mar 08, 2021
- Compile with Coq 8.13 and mathcomp 1.12 · ccbad0e8
  Pierre Roux authored 4 years ago and Björn Brandenburg committed 4 years ago
  
  ccbad0e8
Aug 27, 2020
- Coq 8.10 no longer supported since #104 · 3df79004
  Pierre Roux authored 4 years ago
  
  3df79004
Aug 04, 2020
- update opam spec file · 5b509b25
  Björn Brandenburg authored 4 years ago
  
  5b509b25
Feb 26, 2020
- Add an Opam file · 979772bb
  Pierre Roux authored 5 years ago
  
  979772bb