Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Björn Brandenburg authoredThis fixes all warnings about ambiguous module names and resolves #49. It also highlights that we still need to cut down on superfluous Require Import commands in recently ported files.
Björn Brandenburg authoredThis fixes all warnings about ambiguous module names and resolves #49. It also highlights that we still need to cut down on superfluous Require Import commands in recently ported files.