Module: ppl/ppl Branch: bounded_arithmetic Commit: b43f03e4182a8fb2f604f77b7f89ff7d4a938a17 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b43f03e4182a8... Author: Alberto Gioia <alberto.gioia1@studenti.unipr.it> Date: Sun Jul 10 20:28:14 2011 +0200 Renamed Intero_Interval into Integer_Int_Interval --- tests/Concrete_Expression/C_Expr.defs.hh | 10 +- tests/Concrete_Expression/C_Expr.inlines.hh | 2 +- tests/Concrete_Expression/linearize_int.cc | 1084 ++++++++++++++------------- tests/ppl_test.hh | 6 +- 4 files changed, 578 insertions(+), 524 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b43f03e41...