Goose: Timeline

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

8 check-ins using file bs/compile/compiler.cpp version 2aeee4b7d8

2019-12-03
20:34		Shift operators: the right hand side must be an unsigned int. Verifier: added tests to check that bitwise operations are properly translated to z3. check-in: 74b73239c8 user: achavasse tags: trunk
2019-12-01
20:17		Verifier: Fixed incorrect cfg walking order, which sometimes didn't properly process all the predecessors of a basic block first. Preserve the unique id counter of the remapper when saving/restoring its state. Fixes breakage with nested loops. Added tests for the logic or/and operators (which are really tests of the phi operator and of basic block processing order). check-in: f1e4ac80ba user: achavasse tags: trunk
2019-11-29
12:15		Verifier: handle phi instructions. check-in: b7dd8a4d25 user: achavasse tags: trunk
2019-11-28
17:53		Verifier: implemented most of the missing instructions (unsigned arithmetic and bitwise operations). check-in: 60e143d189 user: achavasse tags: trunk
2019-11-27
20:24		Verifier: Unsigned ints are represented using z3 bitvecs. The original type is carried around along with z3 exprs to be able to convert ints to bitvecs of the right size. Insert int2bv conversions as necessary when encountering integer/bitvec mixed operations. The logic and and logic or instructions are implemented on integers, which are converted to bitvecs. check-in: 18af6c1847 user: achavasse tags: trunk
2019-11-19
20:49		Store a location in loop headers, and use it to provide more context when diagnosing loop verification failures. check-in: 5f20eec65e user: achavasse tags: trunk
20:20		cfg: fix the way the variable ids modified by each loop are stored to avoid duplicate entries. check-in: 1c3ff200aa user: achavasse tags: trunk
00:04		cfg: now that we got rid of this crazy system where CFGs could "call" other CFGs that weren't really functions, removed that clumsy cfg index that was needed to identify temporaries everywhere. check-in: 238df77134 user: achavasse tags: trunk