September 2002 - PPL-devel - BUGSENG Mailman

CVS tag event: /cvs/ppl/ppl/interfaces/C/lpenum
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/interfaces/C/lpenum Tag: third_merge_to_alt_nnc Operation: add Date: 2002-09-11 20:31:21 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.17 File: sample.mps Revision: 1.1 File: unboundedmin.mps Revision: 1.1

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/interfaces/Prolog Tag: third_merge_to_alt_nnc Operation: add Date: 2002-09-11 20:31:21 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.20 File: Prolog_interface.dox Revision: 1.62 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.23 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.23 File: ppl_prolog.icc Revision: 1.65 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/interfaces/C
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/interfaces/C Tag: third_merge_to_alt_nnc Operation: add Date: 2002-09-11 20:31:21 Tagged-By: roberto File: .cvsignore Revision: 1.2 File: Makefile.am Revision: 1.11 File: ppl_c.cc Revision: 1.46 File: ppl_c.h Revision: 1.46

1 0

CVS tag event: /cvs/ppl/ppl
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl Tag: third_merge_to_alt_nnc Operation: add Date: 2002-09-11 20:31:21 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 File: INSTALL Revision: 1.4 File: Makefile.am Revision: 1.20 File: NEWS Revision: 1.35 File: README Revision: 1.12 File: STANDARDS Revision: 1.6 File: TODO Revision: 1.23 File: acinclude.m4 Revision: 1.3 File: config.guess Revision: 1.12 File: config.h.in Revision: 1.18 File: config.sub Revision: 1.11 File: configure.ac Revision: 1.63 File: depcomp Revision: 1.3 File: install-sh Revision: 1.3 File: ltmain.sh Revision: 1.5 File: missing Revision: 1.5 File: mkinstalldirs Revision: 1.4 File: ppl.lsm.in Revision: 1.3 File: ppl.spec.in Revision: 1.15

1 0

CVS tag event: /cvs/ppl/ppl/interfaces
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/interfaces Tag: third_merge_to_alt_nnc Operation: add Date: 2002-09-11 20:31:21 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.5

1 0

CVS tag event: /cvs/ppl/ppl/doc
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/doc Tag: third_merge_to_alt_nnc Operation: add Date: 2002-09-11 20:31:21 Tagged-By: roberto File: .cvsignore Revision: 1.2 File: Makefile.am Revision: 1.19 File: definitions.dox Revision: 1.89 File: devref-browse.doxyconf-latex.in Revision: 1.21 File: devref-print.doxyconf-latex.in Revision: 1.21 File: devref.doxyconf-html.in Revision: 1.22 File: devref.tex Revision: 1.7 File: fdl.dox Revision: 1.1 File: fdl.tex Revision: 1.1 File: gpl.dox Revision: 1.2 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/Watchdog
by Roberto Bagnara 11 Sep '02

11 Sep '02

Repository: /cvs/ppl/ppl/Watchdog Tag: third_merge_to_alt_nnc Operation: add Date: 2002-09-11 20:31:21 Tagged-By: roberto File: .cvsignore Revision: 1.3 File: BUGS Revision: 1.1 File: COPYING Revision: 1.1 File: CREDITS Revision: 1.1 File: ChangeLog Revision: 1.2 File: INSTALL Revision: 1.1 File: Makefile.am Revision: 1.5 File: NEWS Revision: 1.1 File: README Revision: 1.3 File: Watchdog.cc Revision: 1.5 File: Watchdog.defs.hh Revision: 1.6 File: Watchdog.inlines.hh Revision: 1.5 File: Watchdog.types.hh Revision: 1.2 File: config.h.in Revision: 1.2 File: configure.ac Revision: 1.9 File: pwl_filter_doxygen.sed Revision: 1.1 File: pwl_filter_install.sed Revision: 1.1 File: pwl_header.bottom Revision: 1.1 File: pwl_header.middle Revision: 1.1 File: pwl_header.top Revision: 1.2

1 0

CVSROOT checkoutlist taginfo send_tag_info
by Roberto Bagnara 11 Sep '02

11 Sep '02

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2002-09-11 20:21:11 Modified files: . : checkoutlist taginfo Added files: . : send_tag_info Log message: Automatic notification of tag operations turned on. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/send_tag_info.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/checkoutlist.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/taginfo.diff?cvsroot=ppl&…

1 0

ppl configure.ac
by Roberto Bagnara 11 Sep '02

11 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-09-11 19:39:32 Modified files: . : configure.ac Log message: Fixed a bug whereby the configuration options --enable-assertions and --enable-more-assertions were not working properly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests bbrz02widening9.cc
by Elisa Ricci 11 Sep '02

11 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-11 14:51:13 Modified files: tests : bbrz02widening9.cc Log message: Corrected this test: to built the increasing chain q_i we must do the widening between q_i_minus_1 and the poly_hull of q_i_minus_1 and p_i (and not the widening between p_i and the poly_hull of q_i_minus_1 and p_i). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bbrz02widening9.cc.diff…

1 0