tclquadcode

Timeline
Login

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

42 check-ins related to "failures-and-regexps"

2015-06-25
08:21
merge mark check-in: 06fcbcb900 user: dkf tags: minor change, to-merge
08:20
Fix critical error: was causing serious problems. Closed-Leaf check-in: 798ca9d665 user: dkf tags: failures-and-regexps
2015-06-24
09:02
Merge from try-and-compound-types; fix a couple of errors in error reporting. check-in: 2068bd32b5 user: dkf tags: to-merge
2015-06-23
02:58
Oops - plug obvious memory leak in previous commit. check-in: 588af4e4c4 user: kbk tags: failures-and-regexps
02:47
Insert instructions (which compile.tcl cannot yet handle) to widen operands when implicitly converting types at a phi. check-in: 195ed60a23 user: kbk tags: failures-and-regexps
2015-06-22
14:40
merge quadcode refactor check-in: dd100f4907 user: dkf tags: try-and-compound-types
2015-06-21
22:00
Refactor rewrite of quadcode sequence to handle code insertion. check-in: 2b87ae2c27 user: kbk tags: failures-and-regexps
21:46
Refactor collection of code to insert into its own procedure check-in: c5c3c1d96e user: kbk tags: failures-and-regexps
21:23
Rework tidyjumps to account for 'jumpCond pc+1' and 'jumpMaybe'. Rework freeValues to assume that 'tidyJumps' has run and avoid diversions. check-in: 251b16db87 user: kbk tags: failures-and-regexps
2015-06-19
03:58
Add a transformation to avoid conditional branches to convergence points. This will ensure that every flowgraph edge has a point in the program where code can be inserted, without introducing diversions. check-in: c5bee356e7 user: kbk tags: failures-and-regexps
2015-06-07
09:42
merge trunk check-in: aba67538e9 user: dkf tags: minor change, try-and-compound-types
09:38
merge trunk check-in: 833caed869 user: dkf tags: minor change, failures-and-regexps
09:35
Clean up the demo code file a bit. check-in: a50dd5fd35 user: dkf tags: trunk, minor change
2015-06-06
18:15
merge mark check-in: 7de243f314 user: dkf tags: minor change, try-and-compound-types
18:13
merge trunk check-in: 5c69f1e1be user: dkf tags: minor change, failures-and-regexps
2015-05-19
08:51
Working towards supporting the whole of [try]. check-in: befd0662c5 user: dkf tags: try-and-compound-types
07:10
Fix stack calculation of 'dictSet'. check-in: 1344e374aa user: dkf tags: failures-and-regexps
2015-05-15
14:55
merge trunk check-in: 0b2cf1a2c2 user: dkf tags: failures-and-regexps
14:51
Support the 'jumpTable' opcode. check-in: 64728651fb user: dkf tags: trunk
2015-05-14
08:31
Factor out more code from the core driver file. Aiming to have (almost) just user-visible code there. check-in: 9a28ea2817 user: dkf tags: minor change, failures-and-regexps
2015-05-13
08:40
More improvements to error handling. Now do 'returnImm' much more correctly than before. check-in: da4d2e8ad2 user: dkf tags: failures-and-regexps
2015-05-11
08:30
Much better implementation of the exception handling. Fix some missing/wrong docs. check-in: 4369dd712d user: dkf tags: failures-and-regexps
2015-05-10
20:56
merge trunk check-in: 2fc9b2ca0d user: dkf tags: minor change, failures-and-regexps
20:55
Stop emacs from getting too clever by half. check-in: 450a8ec52d user: dkf tags: trunk, minor change
20:41
Working towards getting the semantics of errors right. Bonus: implement [list] because some types of [return] use it. check-in: d7d584fdf0 user: dkf tags: failures-and-regexps
2015-05-09
17:12
Slightly better way of handling type signatures of builtins. check-in: ac5a483fad user: dkf tags: minor change, failures-and-regexps
2015-05-08
07:07
Improve error checking of type merge at phi node. check-in: b98c2e7f12 user: dkf tags: minor change, failures-and-regexps
07:07
Fixed reference count error. check-in: 8659b057be user: dkf tags: failures-and-regexps
2015-05-07
19:49
merge trunk check-in: 8d6fc29cf3 user: dkf tags: failures-and-regexps
10:54
merge the final set of doc changes check-in: 720823066f user: dkf tags: trunk
2015-04-22
18:43
merge trunk check-in: 43a2e41317 user: dkf tags: failures-and-regexps
18:38
Support [string replace]. check-in: ed392f4a6a user: dkf tags: trunk
09:28
Extend the handling of end-based indices. check-in: 7913bda117 user: dkf tags: failures-and-regexps
2015-04-21
08:29
Tinkering with formatting of tests. Added basic support for end-based indexing on the second index of [string range] only. check-in: 3d42113001 user: dkf tags: failures-and-regexps
01:31
Update demo to do substtest2, now that it doesn't crash check-in: d8d3203e3f user: kbk tags: minor change, failures-and-regexps
01:21
Change the optimizer to remove unreachable code when removing dead variables check-in: 19fc916326 user: kbk tags: failures-and-regexps
2015-04-19
16:54
Trying to implement [subst] with commands... check-in: 6d4e689590 user: dkf tags: failures-and-regexps
2015-04-18
16:34
Ooops! check-in: 1a2a079850 user: dkf tags: failures-and-regexps
16:33
Tell the reasoner that some instructions have Maybe results. It ignores this for now. check-in: 023b76a06f user: dkf tags: failures-and-regexps
16:26
Describe the opcodes I've added. check-in: c561582d8d user: dkf tags: minor change, failures-and-regexps
15:22
First crack at supporting failures. Example failing operation is RE matching. Failures are modelled in the type system with the MAYBE monad at the logical level, and with a two-element structure at the implementation level. check-in: ca5cf128de user: dkf tags: failures-and-regexps
2015-04-11
19:14
Fix a bug in dataflow analysis when a variable is visible to a phi on a path but does not arrive on that path. check-in: 2507b440da user: kbk tags: trunk