November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Rational_Box.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 13:42:03 Modified files: src : Rational_Box.hh Log message: Use Interval_Restriction_None instead of Interval_No_Restrictions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Rational_Box.hh.diff?cvsr…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Andrea Cimino 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-30 09:48:54 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Written the code to return constraints, generators, generator systems and constraints system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/src Interval.defs.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 09:45:50 Modified files: src : Interval.defs.hh Log message: Use function info to access private base class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval_Restriction.defs.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 09:36:42 Modified files: src : Interval_Restriction.defs.hh Log message: Corrected a typo (EQ --> V_EQ). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs…

1 0

ppl/tests ppl_test.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 09:32:15 Modified files: tests : ppl_test.hh Log message: Inserted a few comppile-time boolean constants in Test_Box_Interval_Info_Policy; the policy still misses members. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Interval.defs.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 09:29:23 Modified files: src : Interval.defs.hh Log message: Added inline definition for operator!=. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src checked_mpq.inlines.hh
by Enea Zaffanella 30 Nov '06

30 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-30 09:27:58 Modified files: src : checked_mpq.inlines.hh Log message: Added a missing template argument to a div call in the sqrt implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di…

1 0

ppl/src Boundary.defs.hh Box.templates.hh Inte ...
by Abramo Bagnara 29 Nov '06

29 Nov '06

1 0

ppl src/Pointset_Powerset.cc src/Pointset_Powe ...
by Patricia Hill 29 Nov '06

29 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-29 13:29:21 Modified files: src : Pointset_Powerset.cc Pointset_Powerset.defs.hh tests/Grid : Makefile.am partition1.cc Added files: tests/Grid : approximatepartition1.cc powersetdifference1.cc powersetgeometricallycovers1.cc powersetgeometricallyequals1.cc Removed files: tests/Grid : powerset1.cc Log message: Corrected and improved the code for approximate_partition() The test file approximatepartition1.cc now tests this. Restored partition1.cc to just test the algorithm partition() defined there. Replaced powerset1.cc by three test files, one for each operation and added some extra tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/approximatepartiti… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetdifference… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetgeometrica… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powersetgeometrica… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partition1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powerset1.cc.diff?…

1 0

ppl/interfaces/Prolog/SICStus ppl_interface_ge ...
by Roberto Bagnara 29 Nov '06

29 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-29 06:36:19 Modified files: interfaces/Prolog/SICStus: ppl_interface_generator_sicstus_sd_cc.m4 sp_clpq.pl sp_pl_check.pl Log message: Added support for SICStus 4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_…

1 0