Module: ppl/ppl Branch: bounded_arithmetic Commit: c84524e70682abb2c80936b4d9c5b0283eeeea46 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c84524e70682a... Author: Alberto Gioia <alberto.gioia1@studenti.unipr.it> Date: Wed Sep 14 12:38:57 2011 +0200 Changed order of linearization functions for bitwise operators, moved linearization function about bitwise operator AND before the linearization function about bitwise operator OR. --- src/linearize_integer.hh | 308 +++++++++++++++++++++++----------------------- 1 files changed, 154 insertions(+), 154 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c84524e70...