Add interrupt handling#878

Open

ThomasHaas wants to merge 53 commits intodevelopmentfrom

Commits on Mar 21, 2025

Commits on Mar 25, 2025

Changed assert to __VERIFIER_assert in vmm interrupts test (not yet in LKMM tests).
ThomasHaas
committed

Commits on Mar 26, 2025

Updated remaining interrupt tests (mainly LKMM) to use __VERIFIER_assert
ThomasHaas
committed
Added new interrupts cat models that use explicit interrupt points (WIP)
ThomasHaas
committed

Commits on Mar 31, 2025

Added CallEvent interface
ThomasHaas
committed

Commits on Apr 2, 2025

Commits on Apr 9, 2025

WIP: Visible non-termination events
ThomasHaas
committed

Commits on Apr 11, 2025

WIP: Added new interrupt models that handle multiple IHs per thread
ThomasHaas
committed

Commits on May 9, 2025

Added comments about expected results of interrupt tests.
ThomasHaas
committed

Commits on May 14, 2025

Merge branch 'refs/heads/development' into interrupt_new
ThomasHaas
committed

Commits on May 15, 2025

Merge branch 'refs/heads/development' into interrupt_new
ThomasHaas
committed

Commits on May 19, 2025

Commits on May 21, 2025

Commits on May 22, 2025

Commits on May 26, 2025

Commits on May 30, 2025

Commits on Jul 21, 2025