Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Repository
rt-proofs
analysis
definitions
schedulability.v
Find file
Blame
History
Permalink
Put State inside ProcessorState
· 0b7a65db
Pierre Roux
authored
Feb 25, 2022
It was a parameter but that wasn't of any use, it was just making everything more noisy.
0b7a65db