13 Jul
2011
13 Jul
'11
9:14 p.m.
Module: ppl/ppl Branch: bounded_arithmetic Commit: 2a8535634ff5ff5dcaf866b8542d671367431bea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a8535634ff5f...
Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Wed Jul 13 21:11:11 2011 +0200
Adjust the functions about bitwise operators.
---
src/Interval.inlines.hh | 558 +++++++++++++++++++++++++++++++++-------------- 1 files changed, 398 insertions(+), 160 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2a8535634...