Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
389 commits behind the upstream repository.
-
Björn Brandenburg authored...by adding the -projection-no-head-constant flag to the build settings.
Björn Brandenburg authored...by adding the -projection-no-head-constant flag to the build settings.
_CoqProject 79 B