| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added examples for detecting switches | file | diff | annotate |
| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | adopting examples to changes in the predicate compiler | file | diff | annotate |
| Wed, 21 Apr 2010 12:10:52 +0200 | bulwahn | added further inlining of boolean constants to the predicate compiler | file | diff | annotate |