MCS: set handler params when configuring TCBs - #505

Draft

corlewis wants to merge 12 commits into

corlewis:corlewis/set-handler-params

Commits on Jul 19, 2022

rt aspec: set handler params when configuring TCBs
corlewis
committed
cbd44c9

Commits on Jul 22, 2022

rt riscv ainvs: set handler params when configuring TCBs
corlewis
committed
2660d9d

Commits on Aug 16, 2022

squash aspec: refactor update_and_check_handler_ep
corlewis
committed
1d0ef7c
squash ainvs: update proofs for refactored update_and_check_handler_ep
corlewis
committed
af08a1c
rt haskell: set handler params when configuring TCBs
corlewis
committed
f894caa

Commits on Aug 17, 2022

rt riscv refine: set handler params when configuring TCBs
corlewis
committed
250d63f

Commits on Sep 2, 2022

squash aspec: update for optional parameters
corlewis
committed
c19fad3
squash ainvs: update for optional parameters
corlewis
committed
81dca36
squash haskell: update for optional parameters
corlewis
committed
37209a9
squash refine: update for optional parameters
corlewis
committed
a265712
rt arm ainvs: set handler params when configuring TCBs
corlewis
committed
e2e07dd
rt arm refine: set handler params when configuring TCBs
corlewis
committed
7119752