June 2002 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
by Enea Zaffanella 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-18 17:00:20 Modified files: doc : definitions.dox Log message: Corrected a typo in the definition of closed polyhedra. Improved the paragraph on dimension compatibility to make it independent from th epolyhedra topology. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog clpq2.pl
by Patricia Hill 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-18 15:51:20 Modified files: interfaces/Prolog: clpq2.pl Log message: Just a little more robust in that it fails if there are variables in non-integer positions in a query rather than crashing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-18 15:42:57 Modified files: interfaces/Prolog: pl_check.pl Log message: Tidied the tests on bounding boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Roberto Bagnara 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-18 14:27:54 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: ppl_new_Polyhedron_from_ConSys and ppl_new_Polyhedron_from_GenSys renamed ppl_new_Polyhedron_from_constraints and ppl_new_Polyhedron_from_generators, respectively. 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/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… 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/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

w3ppl/htdocs ppl.raw
by Patricia Hill 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2002-06-18 12:25:48 Modified files: htdocs : ppl.raw Log message: The PPL allows for strict as well as non-strict inequalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/doc definitions.dox
by Patricia Hill 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-18 12:23:15 Modified files: doc : definitions.dox Log message: Added a preamble based on the ppl home web page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Patricia Hill 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-18 12:02:31 Modified files: doc : definitions.dox Log message: Reorganised the introductory sections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Constraint.inlines.hh
by Enea Zaffanella 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-18 11:49:46 Modified files: src : Constraint.inlines.hh Log message: Corrected a trivial bug just introduced in Constraint operator>(const LinExpression& e1, const LinExpression& e2). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif…

1 0

ppl/interfaces/Prolog schedule.clpq
by Patricia Hill 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-18 10:48:54 Modified files: interfaces/Prolog: schedule.clpq Log message: Improved layout. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/schedule.cl…

1 0

ppl/interfaces/Prolog clpq2.pl schedule.clpq
by Patricia Hill 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-18 10:44:55 Modified files: interfaces/Prolog: clpq2.pl Added files: interfaces/Prolog: schedule.clpq Log message: clpq2.pl now allows Herbrand terms as arguments including lists. schedule.clpq tests the strict inequalities in clpq2.pl Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/schedule.cl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0