June 2002 - PPL-devel - BUGSENG Mailman

ppl/tests exceptions2.cc
by Enea Zaffanella 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-07 13:23:00 Modified files: tests : exceptions2.cc Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/interfaces/Prolog clpq.pl pl_check.pl ppl_ ...
by Patricia Hill 07 Jun '02

07 Jun '02

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-07 11:38:39 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Predicates ppl_new_Polyhedron_from_Polyhedron/4, ppl_new_Polyhedron_from_ConSys/3, and ppl_new_Polyhedron_from_GenSys/3 added - just defined in SWI Prolog in this commit. Patches: 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/SWI/ppl_swi…

1 0

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

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 11:10:11 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Explain how to enable polyhedra allocation tracking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 10:59:51 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Creation and disposal of polyhedra is enabled only if explicitely requested. 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 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 10:10:38 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Remove useless inclusion and using namespace directives. 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 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 10:08:30 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Avoid quoting for better output. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_prolog.icc
by Roberto Bagnara 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 10:03:24 Modified files: interfaces/Prolog: exceptions.hh ppl_prolog.icc Log message: New internal_exception: not_a_polyhedron_kind. New function term_to_polyhedron_kind() replaces term_to_atom(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… 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 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 08:32:32 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: `a_closed' renamed `a_c'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 07 Jun '02

07 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-07 08:25:37 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Prolog_get_name_arity() renamed Prolog_get_compound_name_arity(). 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/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