add SAWCoreCryptol module for converting SAWCore terms back into Cryptol - #3230

Draft

danmatichuk wants to merge 12 commits into

Commits on Jun 1, 2026

replace CrytolEnvStack with scopes within CryptolEnv
danmatichuk
committed
5e4425a
add test for issue #3167
danmatichuk
committed
06d8891
refactor CryptolEnv into GlobalCryptolEnv and CryptolScope
danmatichuk
committed
3c5b62c
move global Cryptol environment into SharedContext metadata
danmatichuk
committed
97516aa
replace implicit-param ?fileReader with context data
danmatichuk
committed
1cb26de
use restoreMetadata when re-initializing data
danmatichuk
committed
ad7c543
generalize liftModuleM
danmatichuk
committed
8241146
delete stale comment
danmatichuk
committed
9e1653d
add SAWCoreCryptol module for converting SAWCore terms back into Cryptol
danmatichuk
committed
2b6fceb

Commits on Jun 2, 2026

define 'withError' for GHC 9.4 compatibility
danmatichuk
committed
3949aa7
SAWCoreCryptol: add caching and record support
danmatichuk
committed
4aa52c6
SAWCoreCryptol: drop redundant type annotations, support prefix ops
danmatichuk
committed
69c3ff4