karelklic/canal — pull request #73 by karelklic (2012-10-23 08:13:42+00:00)
Title: Widening

Implements basic widening. Not tested much, but the interpretation of chroot.c finishes, and there seems to be no regressions in the interpretation of other programs.