Remove hardcoded ideal processor model from aRTA (!88) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:abst_proc_for_aRTA into master 5 years ago

Activity

Sergey Bozhko added 6 commits 5 years ago
added 6 commits

172c0f13...041d30a2 - 5 commits from branch RT-PROOFS:master

aae570d0 - Remove hardcoded ideal processor model from aRTA

Compare with previous version
Björn Brandenburg merged 5 years ago

merged

Please register or sign in to reply