- PPL-devel - BUGSENG Mailman

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

15 Oct '02

Repository: /cvs/ppl/ppl/interfaces/Prolog/Ciao Tag: after_fourth_merge_from_trunk Operation: del Date: 2002-10-15 14:33:00 Tagged-By: roberto File: .cvsignore Revision: 1.3 File: Makefile.am Revision: 1.8 File: fake_main.pl Revision: 1.1 File: ppl_ciao.cc Revision: 1.13 File: ppl_ciao.pl Revision: 1.20.2.2

1 0

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

15 Oct '02

Repository: /cvs/ppl/ppl/interfaces/Prolog Tag: after_fourth_merge_from_trunk Operation: del Date: 2002-10-15 14:33:00 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.19.2.1 File: Prolog_interface.dox Revision: 1.60.4.2 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.12.4.1 File: clpq2.pl Revision: 1.22.2.2 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.21.2.2 File: ppl_prolog.icc Revision: 1.61.2.3 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.6.4.2

1 0

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

15 Oct '02

Repository: /cvs/ppl/ppl/doc Tag: after_fourth_merge_from_trunk Operation: del Date: 2002-10-15 14:32:59 Tagged-By: roberto File: .cvsignore Revision: 1.2 File: Makefile.am Revision: 1.19.2.1 File: bib2dox Revision: 1.2.2.1 File: bib2html1.sed Revision: 1.1.2.1 File: bib2html2.sed Revision: 1.1.2.1 File: definitions.dox Revision: 1.88.2.2 File: devref-browse.doxyconf-latex.in Revision: 1.21.2.1 File: devref-print.doxyconf-latex.in Revision: 1.21.2.1 File: devref.doxyconf-html.in Revision: 1.22.2.1 File: devref.tex Revision: 1.7 File: fdl.dox Revision: 1.1.12.1 File: fdl.tex Revision: 1.1 File: gpl.dox Revision: 1.2.12.1 File: gpl.tex Revision: 1.1 File: ppl.sty Revision: 1.10 File: user-browse.doxyconf-latex.in Revision: 1.13 File: user-print.doxyconf-latex.in Revision: 1.13 File: user.doxyconf-html.in Revision: 1.15 File: user.tex Revision: 1.8

1 0

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

15 Oct '02

Repository: /cvs/ppl/ppl Tag: after_fourth_merge_from_trunk Operation: del Date: 2002-10-15 14:32:59 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.9.4.1 File: INSTALL Revision: 1.4 File: Makefile.am Revision: 1.20 File: NEWS Revision: 1.28.2.4 File: README Revision: 1.12 File: STANDARDS Revision: 1.5.2.2 File: TODO Revision: 1.23 File: acinclude.m4 Revision: 1.2.8.1 File: config.guess Revision: 1.12.2.1 File: config.h.in Revision: 1.14.4.3 File: config.sub Revision: 1.11.2.1 File: configure.ac Revision: 1.57.2.3 File: depcomp Revision: 1.3 File: install-sh Revision: 1.3 File: ltmain.sh Revision: 1.5.4.1 File: missing Revision: 1.5 File: mkinstalldirs Revision: 1.4 File: ppl.lsm.in Revision: 1.3 File: ppl.spec.in Revision: 1.15.4.1

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/C/lpenum
by Roberto Bagnara 15 Oct '02

15 Oct '02

Repository: /cvs/ppl/ppl/interfaces/C/lpenum Tag: after_fourth_merge_from_trunk Operation: del Date: 2002-10-15 14:33:00 Tagged-By: roberto File: .cvsignore Revision: 1.3 File: Makefile.am Revision: 1.9 File: afiro.mps Revision: 1.1 File: bgprtr.mps Revision: 1.1 File: ex1.mps Revision: 1.1 File: expected Revision: 1.2 File: lpenum.c Revision: 1.12.2.2 File: sample.mps Revision: 1.1 File: unboundedmin.mps Revision: 1.1

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-10-15 12:32:27 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Documentation for ppl_Polyhedron_add_constraint_and_minimize ppl_Polyhedron_and add_generator_and_minimize added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-15 12:17:37 Modified files: src : algorithms.hh Log message: Bug introduced in previous change fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl ./config.h.in ./configure.ac tests/memory1.cc
by Roberto Bagnara 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-15 10:58:22 Modified files: . : config.h.in configure.ac tests : memory1.cc Log message: Portability improvements for memory-guarded programs. Mac OS X is now supported. Operating systems not providing any mechanism to limit memory usage are also supported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… 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/tests/memory1.cc.diff?cvsroot…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-15 09:53:12 Modified files: src : Polyhedron.cc Log message: Greatly simplified the strongly_minimize() procedure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 15 Oct '02

15 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-15 08:24:36 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Specify -lstdc++ in splfr command invocation (this seems to help on Mac OS X). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0