Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.4 (!4) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Felipe Cerqueira requested to merge felipec/rt-proofs:port-8.7 into master 7 years ago

Dec 07, 2017
- Make Prosa compatible with Coq 8.7.0 and Mathcomp 1.6.4 · b6c93d38
  Felipe Cerqueira authored 7 years ago
  
  - Remove Require declarations from Modules. - Small fixes due to changes in the type checker. - Generate _CoqProject with Makefile and remove spurious warnings from ssreflect.
  b6c93d38
- Remove Makefile from version control · aba0ad30
  Felipe Cerqueira authored 7 years ago
  
  aba0ad30