
24 Jun
2011
24 Jun
'11
5:30 p.m.
Module: ppl/ppl Branch: bounded_arithmetic Commit: 46e7b546afe08a9ea5b86c05ca8de6d5209505b2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46e7b546afe08...
Author: Alberto Gioia alberto.gioi1@studenti.unipr.it Date: Fri Jun 24 17:29:15 2011 +0200
Added declaration and definition of the functions for bitwise operators applied to Linear_Form.
---
src/Linear_Form.defs.hh | 82 +++++++++ src/Linear_Form.templates.hh | 407 ++++++++++++++++++++++++++++++++---------- 2 files changed, 392 insertions(+), 97 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=46e7b546a...