November 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus sp_clpq.pl sp_pl ...
by Roberto Bagnara 30 Nov '07

30 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-30 17:03:24 Modified files: interfaces/Prolog/SICStus: sp_clpq.pl sp_pl_check.pl Log message: Little cosmetic improvements. Patches: 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

ppl/interfaces/Prolog/SICStus sp_clpq.pl sp_pl ...
by Patricia Hill 30 Nov '07

30 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-30 16:29:07 Modified files: interfaces/Prolog/SICStus: sp_clpq.pl sp_pl_check.pl Log message: Allow for different versions of SICStus. Patches: 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

ppl/interfaces/Prolog/SICStus sp_clpq.pl sp_pl ...
by Patricia Hill 30 Nov '07

30 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-30 10:21:26 Modified files: interfaces/Prolog/SICStus: sp_clpq.pl sp_pl_check.pl Log message: Changes to allow support for SICStus version 4. FIXME notes added. Patches: 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

ppl/interfaces/Prolog/GNU gprolog_cfli.hh
by Roberto Bagnara 29 Nov '07

29 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-29 17:56:33 Modified files: interfaces/Prolog/GNU: gprolog_cfli.hh Log message: Include <gprolog.h> unconditionally. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog…

1 0

ppl NEWS
by Patricia Hill 28 Nov '07

28 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-28 16:41:21 Modified files: . : NEWS Log message: Revised reference to Box domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21…

1 0

ppl/tests/Box congruences1.cc
by Patricia Hill 28 Nov '07

28 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-28 15:19:00 Added files: tests/Box : congruences1.cc Log message: Tests all the congruence methods for the Box domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/congruences1.cc?cvs…

1 0

ppl ./NEWS tests/Box/Makefile.am tests/Box/add ...
by Patricia Hill 28 Nov '07

28 Nov '07

1 0

ppl/src Box.cc Box.defs.hh Box.inlines.hh Box. ...
by Patricia Hill 28 Nov '07

28 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-28 15:15:17 Modified files: src : Box.cc Box.defs.hh Box.inlines.hh Box.templates.hh Log message: Enabled the product of a Box and a Grid. To do this, for compatibility with the other classes, the following methods have been added: Box(Congruence_System cgs) add_constraint_and_minimize(Constraint c) add_constraints_and_minimize(Constraint_System cs) add_recycled_constraints(Constraint_System cs) add_recycled_constraints_and_minimize(Constraint_System& cs) add_congruence(Congruence cg) add_congruence_and_minimize(Congruence_System cgs) add_congruences(Congruence_System cgs) add_congruences_and_minimize(Congruence_System cgs) add_recycled_congruences(Congruence_System cgs) add_recycled_congruences_and_minimize(Congruence_System& cgs) widening_assign congruences() minimized_congruences() can_recycle_constraint_systems() can_recycle_congruence_systems() throw_dimension_incompatible(char* method, Congruence cg) throw_dimension_incompatible(char* method, Congruence_System cgs) Also private methods added: extract_interval_congruence(Congruence cg, ...) add_congruence_no_check(Congruence cg) add_congruences_no_check(Congruence_System cgs) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl ./configure.ac interfaces/Prolog/GNU/gprol ...
by Roberto Bagnara 28 Nov '07

28 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-28 06:40:43 Modified files: . : configure.ac interfaces/Prolog/GNU: gprolog_cfli.hh Log message: No two distributions install gprolog.h in the same place: the only reliable way for the users of the GNU Prolog interface is to define CPPFLAGS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gprolog…

1 0

ppl/src BD_Shape.templates.hh Octagonal_Shape. ...
by Patricia Hill 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-27 12:09:20 Modified files: src : BD_Shape.templates.hh Octagonal_Shape.templates.hh Log message: Missing "const" added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0