tclquadcode

Timeline
Login

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

29 check-ins related to "kbk-interprocedural"

2015-12-09
00:37
Merge in the type specializer for interprocedural analysis. Nothing calls it yet, but it seems Mostly Harmless to have it on trunk. check-in: 3e35e39966 user: kbk tags: trunk
00:33
Merge trunk and correct the check for a void return type Closed-Leaf check-in: 5a7d3d24f7 user: kbk tags: kbk-interprocedural
2015-12-08
19:22
Fix various problems with reference counting of literals. check-in: 6b46e5a9df user: dkf tags: trunk
2015-12-07
03:56
Further refactoring. Demos run, mrexample.tcl now generates plausible bytecode. Next comes integration with the code issuer. check-in: 20fd15d7ff user: kbk tags: kbk-interprocedural
2015-12-06
19:20
merge trunk check-in: 4b7d28e033 user: kbk tags: kbk-interprocedural
19:16
Continue refactoring toward type specialization of procedures. check-in: ba51829bd1 user: kbk tags: kbk-interprocedural
2015-12-02
06:26
Re-enable failing test. check-in: 036b659a77 user: dkf tags: trunk, minor change
2015-12-01
14:29
re-enable failing test check-in: 18933148ed user: kbk tags: minor change, kbk-interprocedural
14:01
Corrected the type magic for generating code for FAIL results. check-in: 349822df99 user: dkf tags: kbk-interprocedural
13:29
better formatting of type of procedure in quadcode.tcl's display. check-in: 0c1785e583 user: kbk tags: kbk-interprocedural
13:17
Fix return type of unknown commands check-in: 1e14efcc7b user: kbk tags: kbk-interprocedural
08:55
merge trunk check-in: 568a836af0 user: dkf tags: minor change, kbk-interprocedural
08:55
Less confusing error message from StoreResult method. check-in: 89524543b7 user: dkf tags: trunk, minor change
03:21
clean up errors in merge check-in: f7fee5e9c5 user: kbk tags: kbk-interprocedural
03:10
Rather nasty merge with trunk check-in: 2d60767885 user: kbk tags: kbk-interprocedural
02:49
Add some comments to the specializer, so that I can look at it without feeling ill. check-in: ab62aeddd4 user: kbk tags: kbk-interprocedural
2015-11-30
20:18
Support [string is boolean] and friends. check-in: 554d2cf6a3 user: dkf tags: trunk
03:03
Added, temporarily, an example of mutually recursive procedures check-in: 216254acfe user: kbk tags: kbk-interprocedural
03:02
Further progress toward type specialization - not working at all! check-in: 4efba5cacb user: kbk tags: kbk-interprocedural
2015-11-29
12:41
More doodlings about interprocedural analysis check-in: de48d136d1 user: kbk tags: kbk-interprocedural
2015-11-28
20:10
merge trunk check-in: 712603a02c user: kbk tags: kbk-interprocedural
20:08
Further refactoring to bring more of type analysis into the quadcode::database object. check-in: 98e3477e48 user: kbk tags: kbk-interprocedural
16:13
Added a way to filter the running of demos with the -just option. check-in: cfd3564020 user: dkf tags: trunk
2015-11-27
17:17
Add an error case for a misplaced throwNotExists check-in: 9aa525891c user: kbk tags: kbk-interprocedural
15:18
Rationalize the call graph a tiny bit. check-in: 4989e32331 user: kbk tags: kbk-interprocedural
06:22
Fix inappropriate font size in callgraph diagram for 'transform' check-in: 38b949230b user: kbk tags: kbk-interprocedural
05:52
Put a callgraph of the 'transform' method in the documentation check-in: 4a68b016f7 user: kbk tags: kbk-interprocedural
2015-11-26
18:33
Some first doodlings toward interprocedural type inference check-in: 6bae877038 user: kbk tags: kbk-interprocedural
2015-11-25
19:27
listIndexImm has zero effect on stack depth check-in: e0438a481a user: kbk tags: trunk