Revive the JS verification#365

Open

giltho wants to merge 14 commits intomasterfrom

petar/js-revival

Commits on Nov 3, 2025

lemmas
Petar Maksimovic
committed
correction
Petar Maksimovic
committed
recovering Gillian-C
Petar Maksimovic
committed

Commits on Nov 4, 2025

lots of changes
Petar Maksimovic
committed
stopping
Petar Maksimovic
committed

Commits on Nov 5, 2025

well now this kinda works for main MM
Petar Maksimovic
committed
pmap correction
Petar Maksimovic
committed
additional print
Petar Maksimovic
committed
soundness corrections
Petar Maksimovic
committed
cleanup
Petar Maksimovic
committed

Commits on Nov 9, 2025

Commits on Nov 12, 2025