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

Activity

Felipe Cerqueira added 1 commit 7 years ago
added 1 commit

b6c93d38 - Make Prosa compatible with Coq 8.7.0 and Mathcomp 1.6.4

Compare with previous version
Felipe Cerqueira changed title from Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.2 to Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.4 7 years ago

changed title from Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.2 to Make Prosa compatible with Coq 8.7 and Mathcomp 1.6.4
Felipe Cerqueira merged 7 years ago

merged

Please register or sign in to reply