Goose: Timeline

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

12 check-ins using file bs/codegen/codegen.h version 76828f9b46

2022-06-27
16:56		cir: allow verification specific code and instructions to be interspersed with regular code again and added a function to filter them out before consuming the code in the interpreter and during codegen verification: better handling of non-representable types that don't involve giving up entirely on verifying the function g0 api: updated it to match the CIR changes prelude: adapted reference verification to the new CIR api check-in: b81d4242e3 user: zlodo tags: cir-stack-language
2022-06-23
20:56		Ported most of the g0 api to the new CIR language check-in: 9eb48e68a1 user: zlodo tags: cir-stack-language
20:01		Correctly handle ghost func applications as "storage locations" alongside regular addresses, fixes the remaining ghost func test check-in: 68da32e88b user: zlodo tags: cir-stack-language
2022-06-22
20:06		Re-implemented "addr modified by loop" stuff (except ghost func related stuff) and re-enabled loop verification tests check-in: a0a57b5e22 user: zlodo tags: cir-stack-language
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
2022-06-11
12:29		Verification now mostly works again, tests not re-enabled yet check-in: 17301ed8fc user: zlodo tags: cir-stack-language
2022-06-08
22:38		Refactored the verifier to use the stack-based CIR. It compiles but isn't re-enabled yet check-in: 4f05876cc2 user: zlodo tags: cir-stack-language
2022-05-28
17:17		Small optimization. check-in: f886c2d77c user: zlodo tags: cir-stack-language
2022-05-26
22:48		Merge mac build fixes from trunk check-in: 536a94f712 user: zlodo tags: cir-stack-language
11:31		Re-enabled codegen and related tests, and adapted it to the now stack-based CIR language check-in: dd5c48041c user: zlodo tags: cir-stack-language

Goose Timeline

12 check-ins using file bs/codegen/codegen.h version 76828f9b46