April 2004 - PPL-devel - BUGSENG Mailman

ppl/src Row.inlines.hh
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 09:56:16 Modified files: src : Row.inlines.hh Log message: Spurious newline removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl/src Matrix.defs.hh Matrix.inlines.hh
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 09:55:13 Modified files: src : Matrix.defs.hh Matrix.inlines.hh Log message: New functions Matrix::max_num_rows() and Matrix::max_num_columns(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv…

1 0

ppl/src Row.defs.hh Row.inlines.hh
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 09:52:10 Modified files: src : Row.defs.hh Row.inlines.hh Log message: New functions Row::Impl::max_size() and Row::max_size(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0

ppl/src C_Polyhedron.defs.hh C_Polyhedron.inli ...
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 08:49:53 Modified files: src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh Makefile.am NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Polyhedron.defs.hh algorithms.hh globals.hh Added files: src : max_space_dimension.hh Log message: The function Parma_Polyhedra_Library::max_space_dimension() has been given a new semantics and destiny: it returns the maximum space dimension that _all_ the abstractions provided by the library can handle. Each individual abstraction provides its versions of this function. Thus, e.g., NNC_Polyhedron::max_space_dimension() gives the maximum space dimensions an NNC_Polyhedron can handle. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/max_space_dimension.hh?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline… 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/algorithms.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/src initializer.hh Topology.hh Interval.in ...
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 08:31:10 Modified files: src : initializer.hh Topology.hh Interval.inlines.hh Log message: Comment added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/initializer.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Topology.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 24 Apr '04

24 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-24 00:33:43 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Pass the C and C++ compilers to plld. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 23 Apr '04

23 Apr '04

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Patricia Hill 23 Apr '04

23 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-04-23 16:10:29 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Interface definitions for the banner predicate corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 23 Apr '04

23 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-23 15:07:25 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Temporary, kludgy definitions for `bool Prolog_has_unbounded_integers' and `long Prolog_max_integer'. Comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog Ciao/ppl_ciao.cc GNU/ppl ...
by Roberto Bagnara 23 Apr '04

23 Apr '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-04-23 14:58:19 Modified files: 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: Define `bool Prolog_has_unbounded_integers' and `long Prolog_max_integer'. Comments added. Patches: 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