Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
385 commits behind the upstream repository.
-
There are quite a few places where hypotheses about the task of a job are simply stated as equality (even though a proper predicate exists). This patch replaces the equalities with the predicate.
There are quite a few places where hypotheses about the task of a job are simply stated as equality (even though a proper predicate exists). This patch replaces the equalities with the predicate.
abstract_rta.v 27.76 KiB