October 2001 - PPL-devel - BUGSENG Mailman

ppl/tests affinetrans.cc append2.cc empty1.cc ...
by Elisa Ricci 29 Oct '01

29 Oct '01

1 0

ppl/tests Makefile.am
by Enea Zaffanella 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-29 09:33:05 Modified files: tests : Makefile.am Log message: Committing Makefile.am was unwanted (error6 is a non-meaningful dummy test). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Generator.cc Polyhedron.defs.hh conver ...
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 06:47:46 Modified files: src : Generator.cc Polyhedron.defs.hh conversion.cc src/Integer : Integer.cc Integer.defs.hh Integer.inlines.hh Log message: The Integer constants 0 and 1 are now provided by the static methods Integer::zero() and Integer::one(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer/Integer.inlines.h…

1 0

ppl src/ConSys.cc src/ConSys.defs.hh src/ConSy ...
by Enea Zaffanella 28 Oct '01

28 Oct '01

1 0

ppl/src Constraint.defs.hh Constraint.cc
by Enea Zaffanella 28 Oct '01

28 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-28 20:05:19 Modified files: src : Constraint.defs.hh Constraint.cc Log message: is_non_trivial() now correctly handles inconsistent constraints, which should NOT be considered trivial. Output operator now correctly prints inconsistent constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog Prolog_interface.dox SIC ...
by Roberto Bagnara 28 Oct '01

28 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-28 18:50:31 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/SICStus: ppl_sicstus.pl Log message: Added ppl_insert_constraints/2 and ppl_insert_generators/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox SIC ...
by Roberto Bagnara 28 Oct '01

28 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-28 18:38:25 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/SICStus: ppl_sicstus.cc ppl_sicstus.pl Log message: Added ppl_add_dimensions_and_embed/2 and ppl_add_dimensions_and_project/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… 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/ppl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox SIC ...
by Roberto Bagnara 28 Oct '01

28 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-28 18:25:19 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/SICStus: ppl_check.pl ppl_sicstus.cc ppl_sicstus.pl Log message: ppl_remove_dimensions/2 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… 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/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl ./config.h.in ./configure.ac interfaces/Pr ...
by Roberto Bagnara 28 Oct '01

28 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-28 14:56:21 Modified files: . : config.h.in configure.ac interfaces/Prolog: Makefile.am Log message: Try not to bother people without the SICStus include file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… 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/Makefile.am…

1 0

ppl/src Generator.cc Generator.defs.hh LinExpr ...
by Enea Zaffanella 28 Oct '01

28 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-28 14:20:27 Modified files: src : Generator.cc Generator.defs.hh LinExpression.defs.hh LinExpression.cc Generator.inlines.hh Log message: Now the friend function vertex(e, d) has also its first argument optional; calling vertex() creates the origin of the zero-dim vector space. Added zero-dim checks to ray(e) and line(e). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0