April 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc
by Patricia Hill 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-19 10:17:10 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: In the copy methods/predicates the arguments have been reversed to match the corresponding ones in the C interface. Now the 1st argument unifies with a handle for the new polyhedron and the 2nd argument is the handle for the source/original polyhedron. Predicates affected are: ppl_new_C_Polyhedron_from_C_Polyhedron, ppl_new_NNC_Polyhedron_from_NNC_Polyhedron, ppl_new_C_Polyhedron_from_NNC_Polyhedron, ppl_new_NNC_Polyhedron_from_C_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

2 1

ppl/interfaces/Prolog ppl_prolog.icc SICStus/p ...
by Patricia Hill 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-19 10:03:46 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Predicates: ppl_new_C_Polyhedron_from_ConSys, ppl_new_NNC_Polyhedron_from_ConSys, ppl_new_C_Polyhedron_from_GenSys added. Patches: 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/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

ppl/interfaces/Prolog ppl_prolog.icc SICStus/p ...
by Patricia Hill 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-19 08:34:55 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: The new, new_empty and copy predicates have been replaced by ones that allow for C and NNC polyhedra to match the same methods in the C interface. Propositions ppl_initialize and ppl_finalize added. Patches: 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/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/Documentation ppl.bib
by Roberto Bagnara 18 Apr '02

18 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-18 14:32:16 Modified files: htdocs/Documentation: ppl.bib Log message: StoerW70 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 16 Apr '02

16 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-16 09:53:33 Modified files: src : Polyhedron.cc Log message: Test NNCminimize6 has shown that our check for topological closure was relying on a false invariant (namely, that in a weakly minimized constraint system any strict inequality can be made redundant by another strict inequality only). Corrected the implementation of is_topologically_closed(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 15 Apr '02

15 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-15 10:00:16 Modified files: src : ConSys.cc Log message: Corrected a memory allocation bug in ConSys::insert(const Constraint& c). Now test NNCminimize6 shows that the strong minimization of constraints for NNC polyhedra does not fully minimize constraint systems, yet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am NNCminimize6.cc
by Enea Zaffanella 15 Apr '02

15 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-15 09:57:03 Modified files: tests : Makefile.am Added files: tests : NNCminimize6.cc Log message: Example NNCminimize6 shows a memory allocation bug in method ConSys::insert(const Constraint&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 14 Apr '02

14 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-14 22:15:23 Modified files: htdocs/Documentation: ppl.bib Log message: Kuhn56 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Generator.cc
by Roberto Bagnara 14 Apr '02

14 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-14 17:11:57 Modified files: src : Generator.cc Log message: Avoid redundant test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src Constraint.cc
by Roberto Bagnara 14 Apr '02

14 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-14 17:11:02 Modified files: src : Constraint.cc Log message: Factorize some calls to operator<<(std::ostream&, ...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0