Goose: Timeline

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

22 check-ins related to "cir-stack-language"

2022-06-29
21:47		The CIR is no longer made out of instructions that are basically expression trees, but is now instead a stack language to make it possible to insert verification instructions before and after the evaluation of individual function arguments check-in: 1f87fbda15 user: zlodo tags: trunk
21:39		Verifier: consider verification failed if we encountered anything funny that prevented us from translating the entire function cfg to z3, rather than silently ignoring it Verifier: fixed a case where the verifier would improperly bail out and do the above Verifier: fixed a nasty use-after-free caused by forgetting an ampersand. fucking c++ Closed-Leaf check-in: 9814f18b04 user: zlodo tags: cir-stack-language
2022-06-28
22:51		Removed an unusued file and a left over debugging profanity check-in: 6c5b747f5c user: zlodo tags: cir-stack-language
22:23		codegen: improved the translation of address computations into llvm GEP instructions check-in: 2a03dd67e5 user: zlodo tags: cir-stack-language
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
22:42		Mac build fixes check-in: b8a2990900 user: zlodo tags: trunk
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
2022-05-25
17:28		Split function invocation code into several specialized versions for each function kind Almost fully completed the migration of CIR to a stack language Compilation-time execution works again check-in: 7992dbe59f user: zlodo tags: cir-stack-language
2022-05-23
09:04		Added a CIR instruction to push a constant on the stack check-in: 0d0130b939 user: zlodo tags: cir-stack-language
08:44		CIR instructions are now stored in lists Execute: handle the stack Converted some instructions to use the stack check-in: 0d5427d49b user: zlodo tags: cir-stack-language
2022-05-16
23:40		Temporarily disabled codegen, verification, and all the tests that can't work without these check-in: 5fc7b0623f user: zlodo tags: cir-stack-language
2022-05-15
19:25		cir: implemented a helper object to decorate operations such as calls with a prologue and an epilogue, not used yet. check-in: 2503738366 user: zlodo tags: trunk

Goose Timeline

22 check-ins related to "cir-stack-language"