Goose: Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

3 check-ins using file bs/cir/instruction.cpp version a38ba0f568

2022-06-21
17:26		Removed a bit of dead code check-in: b78a3ea203 user: zlodo tags: cir-stack-language
17:09		Implemented conversion of Address into a z3 expression, fixes ghostfunc test 4 Fixed handling of Ret terminator that didn't always pop the result value check-in: d2090773d9 user: zlodo tags: cir-stack-language
2022-06-18
18:51		Added a location id to all CIR instructions (needed with the stack based approach to locate intermediate results) Fixed a bunch of verifier errors Re-enabled most verifier tests, other than some requiring to re-implement a few more bits check-in: b4d5bdf6ec user: zlodo tags: cir-stack-language