Refactor type environment and unique identifier checks#184

Merged

shigoel merged 10 commits intomainfrom

josh/refactor-env

Nov 7, 2025

Commits on Oct 31, 2025

Refactor TEnv to separate var generation from context
Josh Cohen
committed
Add Identifiers, change ProgramType, proofs in progress
Josh Cohen
committed

Commits on Nov 3, 2025

More work on proof, some refactoring of TEnv
Josh Cohen
committed
Separate TEnv into TEnv and LContext
Josh Cohen
committed

Commits on Nov 4, 2025

Finish proofs in ProgramWF
Josh Cohen
committed
Clean up proofs and code
Josh Cohen
committed
Minor fixes
Josh Cohen
committed

Commits on Nov 5, 2025

More minor changes
Josh Cohen
committed
Remove duplicate name from Quantifiers.bpl test
Josh Cohen
committed

Commits on Nov 7, 2025

Merge branch 'main' into josh/refactor-env
shigoel
authored