
19 Mar
2007
19 Mar
'07
3:57 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2007-03-19 15:57:53
Modified files: src : globals.defs.hh globals.cc
Log message: Removed useless inline directives in function declarations that are not definitions. Added helper function bool is_canonical(const mpq_class& ); to be used in assertions.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=pp...