- PPL-devel - BUGSENG Mailman

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

25 Apr '02

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

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 24 Apr '02

24 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-24 21:49:04 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Fixed two declarations of std::ostringstream's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl src/Polyhedron.inlines.hh tests/boundingbo ...
by Patricia Hill 20 Apr '02

20 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-20 22:52:41 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: shrink_bounding_box now works for NNC polyhedra defined both with and without strict inequalites. The test file boundingbox1.cc has been also updated to deal with NNC polyhedra. Extra tests have been added to check the changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

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 17:20:40 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Now including the closure points in the list of generators is ok when creating new polyhedra from lists of generators in the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc GNU/ppl_g ...
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 16:23:52 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/GNU: ppl_gprolog.pl Log message: Predicates for GNU Prolog brought in line with the Prolog interface. 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/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 15:18:45 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Now constraint_term() supports strict inequalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/tests inclusion1.cc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 15:03:14 Modified files: tests : inclusion1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inclusion1.cc.diff?cvsr…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 14:58:07 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: a_strictly_greater_than and a_strictly_less_than renamed a_greater_than and a_less_than. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 14:50:30 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Throw an exception instead of aborting in generator_term(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc GNU/ppl_g ...
by Roberto Bagnara 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-19 14:13:25 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/GNU: ppl_gprolog.cc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: General cleanup. 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/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