v24.03.1

• Formalised the dynamic semantics for the TST
• Improved performance of compiling the typechecker
• Cleaned up the type checker and TST
• Fixed \result not enforcing the correct type in the TST
• Fixed incorrect declaration ordering in the TST output
• Fixed contracts erroneously flagging functions as pure

v24.01.1

• Added --wasm-debugger flag.
• Made test case suite time out (using the debugger flag).
• Added inference rule elaboration experiment
• Fixed issue where calloc didn't zero out memory
• Fixed missing bounds check for asnops

v24.01.0

Initial release. See langs.md for language information and deviations.