October 2002 - PPL-devel - BUGSENG Mailman

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog
by Roberto Bagnara 14 Oct '02

14 Oct '02

Repository: /cvs/ppl/ppl/interfaces/Prolog Tag: fourth_merge_to_alt_nnc Operation: add Date: 2002-10-14 17:16:45 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.20 File: Prolog_interface.dox Revision: 1.66 File: ack.clpq Revision: 1.1 File: ackn.clpq Revision: 1.1 File: check_script Revision: 1.3 File: check_script2 Revision: 1.2 File: clpq.pl Revision: 1.13 File: clpq2.pl Revision: 1.24 File: exceptions.hh Revision: 1.6 File: expected Revision: 1.2 File: expected2 Revision: 1.6 File: fib.clpq Revision: 1.1 File: mc91.clpq Revision: 1.1 File: pl_check.pl Revision: 1.26 File: ppl_prolog.icc Revision: 1.68 File: schedule.clpq Revision: 1.3 File: smm.clpq Revision: 1.1 File: smmdiff.clpq Revision: 1.1 File: sumto.clpq Revision: 1.1 File: tak.clpq Revision: 1.1 File: track_allocation.hh Revision: 1.10

1 0

CVS tag event: /cvs/ppl/ppl
by Roberto Bagnara 14 Oct '02

14 Oct '02

Repository: /cvs/ppl/ppl Tag: fourth_merge_to_alt_nnc Operation: add Date: 2002-10-14 17:16:44 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: BUGS Revision: 1.2 File: COPYING Revision: 1.2 File: CREDITS Revision: 1.3 File: ChangeLog Revision: 1.10 File: INSTALL Revision: 1.4 File: Makefile.am Revision: 1.20 File: NEWS Revision: 1.45 File: README Revision: 1.12 File: STANDARDS Revision: 1.8 File: TODO Revision: 1.23 File: acinclude.m4 Revision: 1.3 File: config.guess Revision: 1.13 File: config.h.in Revision: 1.19 File: config.sub Revision: 1.12 File: configure.ac Revision: 1.67 File: depcomp Revision: 1.3 File: install-sh Revision: 1.3 File: ltmain.sh Revision: 1.6 File: missing Revision: 1.5 File: mkinstalldirs Revision: 1.4 File: ppl.lsm.in Revision: 1.3 File: ppl.spec.in Revision: 1.16

1 0

ppl/tests Makefile.am addconstraint3.cc addgen ...
by Elisa Ricci 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-14 17:09:51 Modified files: tests : Makefile.am Added files: tests : addconstraint3.cc addgenerator3.cc Log message: Added a test for Polyhedron::add_constraint_and_minimize(c) and a test for Polyhedron::add_generator_and_minimize(g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint3.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator3.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 14:53:50 Modified files: htdocs/Credits : Credits.raw Log message: Mention that Fred Mesnard helped us to port the PPL to Mac OS X. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

1 0

ppl configure.ac
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 12:08:18 Modified files: . : configure.ac Log message: We now require autoconf (at least) 2.54 and automake (at least) 1.7. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./configure.ac interfaces/Prolog/SICStus/M ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 12:06:35 Modified files: . : configure.ac interfaces/Prolog/SICStus: Makefile.am Log message: An hack that was necessary to build the SICStus Prolog interface with SICStus 3.9.0 has been removed, since it prevented us to build on Darwin. Consequently, we now require SICStus 3.9.1 or later version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 09:22:49 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: BessonJT99 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl configure.ac
by Roberto Bagnara 14 Oct '02

14 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-14 08:07:50 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0