Sequentialisation proceedings#32

Open

keba4ok wants to merge 53 commits intomainfrom

Commits on Feb 5, 2025

initial work
keba4ok
committed

Commits on Feb 11, 2025

Commits on Feb 19, 2025

proof drafts
keba4ok
committed

Commits on Feb 25, 2025

drafting
keba4ok
committed

Commits on Feb 26, 2025

drafting
keba4ok
committed

Commits on Mar 5, 2025

prog draft finished
keba4ok
committed

Commits on Mar 12, 2025

proof work
keba4ok
committed

Commits on Mar 18, 2025

Commits on Mar 19, 2025

reexec drafted
keba4ok
committed

Commits on Mar 24, 2025

acts_set proceedings
keba4ok
committed

Commits on Mar 25, 2025

questionable version of lab solution
keba4ok
committed

Commits on Mar 26, 2025

Commits on Mar 27, 2025

Commits on Apr 1, 2025

reexec proof drafting
keba4ok
committed

Commits on Apr 9, 2025

some problems
keba4ok
committed
reex work
keba4ok
committed

Commits on Apr 16, 2025

Commits on Apr 22, 2025

fixes & reexec simrel done
keba4ok
committed

Commits on Apr 23, 2025

reexec step work
keba4ok
committed

Commits on Apr 29, 2025

Commits on Apr 30, 2025

reexec step work
keba4ok
committed

Commits on May 1, 2025

exec fixes, reexec problem
keba4ok
committed

Commits on May 5, 2025

wf for s and s' proven
keba4ok
committed

Commits on May 10, 2025

plenty of work
keba4ok
committed

Commits on May 11, 2025

Commits on May 19, 2025

po-work, ci fixes
keba4ok
committed

Commits on May 20, 2025

exec work
keba4ok
committed
fixes
keba4ok
committed

Commits on May 21, 2025

Commits on May 22, 2025

reexec attempts
keba4ok
committed

Commits on May 23, 2025

Commits on May 24, 2025

reexec work
keba4ok
committed
attempts
keba4ok
committed

Commits on May 25, 2025