Oracle treatment of uninitialised bits#51

Merged

AnoudAlshnakat merged 11 commits intomainfrom

Feb 24, 2026

Commits on Nov 5, 2025

Adding the random oracle treatment
didriklundberg
committed

Commits on Nov 9, 2025

Separate folder for metatheory, random oracle treatment outside rel and exec sem, typos
didriklundberg
committed
Some updates to bigstep semantics
didriklundberg
committed
Small remaining fixes to get symbexec tests running, disabling bigstep shortcutting for now
didriklundberg
committed

Commits on Nov 18, 2025

Commits on Dec 7, 2025

More progress on metatheory
didriklundberg
committed

Commits on Dec 18, 2025

Metatheory done modulo some cheat for statements and expressions
didriklundberg
committed

Commits on Dec 19, 2025

Fix to init definitions + further progress on metatheory changes from init scheme
didriklundberg
committed

Commits on Jan 13, 2026