July 2005 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SWI Makefile.am swi_pl_c ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 14:34:14 Modified files: interfaces/Prolog/SWI: Makefile.am swi_pl_check.pl Log message: Make the tests independent from one another. Updated to use the new names of the test files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_…

1 0

ppl/interfaces/Prolog/tests expected_clpq2_int ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

1 0

ppl configure.ac
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 12:27:39 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox GNU ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 12:27:01 Modified files: interfaces/Prolog: Prolog_interface.dox Added files: interfaces/Prolog/GNU: README Log message: Specify how to obtain the only version of GNU Prolog that is known to work with the PPL's Prolog interface. 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/GNU/README?…

1 0

ppl/interfaces/Prolog/GNU Makefile.am
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 12:08:14 Modified files: interfaces/Prolog/GNU: Makefile.am Log message: Always use $(CXX) to compile and link. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/tests Polyhedron/Makefile.am BD_Shape/Make ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 10:26:15 Modified files: tests/Polyhedron: Makefile.am tests/BD_Shape : Makefile.am Log message: LDADD reordered so that libraries occur in dependence order (Cygwin seems to depend on this). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid. ...
by Matthew Mundell 01 Jul '05

01 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-07-01 17:13:19 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid.defs.hh Log message: Add back normalizing of divisors. Take out two temporary comments, and add one. Take some old Polyhedron code out of add_recycled_generators_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0