| commit | 4b9c2689d47dc7db56685fbf2bcd9a1928e52bc1 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 21 Apr 2007 11:48:34 +0000 (21 13:48 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 21 Apr 2007 11:48:34 +0000 (21 13:48 +0200) | ||
| tree | 8e6baa2908de2030b10b21b0d66e777a3a033ef6 | treesnapshot (tar.gz zip) |
| parent | 7b909973bee641084c183a9952d6889e4b0a109b | commitdiff |
traiter: simplify constraints added to the context
| example/fimmel.ll | diffblobblamehistory | |
| example/max.ll | diffblobblamehistory | |
| source/traiter.c | diffblobblamehistory | |
| test/max.ll | diffblobblamehistory |