2008-05-26 | Michael Beck | add some comments, small cosmetic | blob | commitdiff | raw |
2008-05-26 | Michael Beck | must use Lg, not Ne to check for != | blob | commitdiff | raw | diff to current |
2008-05-26 | Michael Beck | use block Phi lists and Block marks to get rid of block... | blob | commitdiff | raw | diff to current |
2008-05-26 | Michael Beck | C99 features removed | blob | commitdiff | raw | diff to current |
2008-05-25 | Matthias Braun | fix a few warnings | blob | commitdiff | raw | diff to current |
2008-05-25 | Matthias Braun | commit the beginning of advanced boolopt (had that... | blob | commitdiff | raw | diff to current |
2007-12-10 | Michael Beck | removed some consts creating MSVC warnings | blob | commitdiff | raw | diff to current |
2007-11-09 | Christoph Mallon | Add a phase for bool optimisation. | blob | commitdiff | raw | diff to current |