[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adding linearization about bitwise operator OR.
Alberto Gioia (none)
otrebla at spark
Mon May 2 10:32:28 CEST 2011
Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 8cdd09db5263badcc3c2116dfb3c5cfdd58a87a3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cdd09db5263badcc3c2116dfb3c5cfdd58a87a3
Author: Alberto Gioia <otrebla at spark.(none)>
Date: Mon May 2 10:24:24 2011 +0200
Adding linearization about bitwise operator OR.
OO# Please enter the commit message for your changes. Lines starting
---
src/Concrete_Expression.defs.hh | 5 +
src/Concrete_Expression.types.hh | 4 +
src/Interval.defs.hh | 14 +++
src/Interval.inlines.hh | 122 ++++++++++++++++++++++++
src/Linear_Form.defs.hh | 69 +++++++++++++-
src/Linear_Form.templates.hh | 49 ++++++++++
src/Oracle.hh | 12 +++
tests/Concrete_Expression/C_Expr.defs.hh | 32 ++++++-
tests/Concrete_Expression/C_Expr.inlines.hh | 20 ++++
tests/Concrete_Expression/digitalfilters1.cc | 3 +
tests/Concrete_Expression/linearize.cc | 78 +++++++++++++++-
tests/Concrete_Expression/linearize_integer.hh | 71 ++++++++++++++
tests/ppl_test.hh | 9 ++
13 files changed, 483 insertions(+), 5 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8cdd09db5263badcc3c2116dfb3c5cfdd58a87a3
More information about the PPL-devel
mailing list