March 2003 - PPL-devel - BUGSENG Mailman

ppl ./configure.ac Watchdog/configure.ac
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 21:07:38 Modified files: . : configure.ac Watchdog : configure.ac Log message: Require Autoconf 2.57 or following and Automake 1.7.3 or following. 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/Watchdog/configure.ac.diff?cv…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 20:01:20 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: The method PowerSet<CS>::limited_H79_extrapolation_assign() takes a constant constraint system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 19:59:17 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: ppl_Polyhedron_limited_BHRZ03_extrapolation_assign() and ppl_Polyhedron_limited_H79_extrapolation_assign() take a constant constraint system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl ./ltmain.sh Watchdog/COPYING Watchdog/Chan ...
by Roberto Bagnara 03 Mar '03

03 Mar '03

1 0

ppl/Watchdog Makefile.am
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 18:21:27 Modified files: Watchdog : Makefile.am Log message: Update version info. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs…

1 0

ppl interfaces/C/Makefile.am src/Makefile.am
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 18:14:01 Modified files: interfaces/C : Makefile.am src : Makefile.am Log message: AGE must be reset to 0 since we removed some interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests exceptions1.cc exceptions2.cc
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 17:54:35 Modified files: tests : exceptions1.cc exceptions2.cc Log message: Refer the new extrapolation operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 03 Mar '03

03 Mar '03

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 16:39:24 Modified files: interfaces/C : ppl_c.cc Log message: Confine implementation classes into anonymous namespaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl NEWS
by Roberto Bagnara 03 Mar '03

03 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-03 16:30:43 Modified files: . : NEWS Log message: News item for Polyhedron::shrink_bounding_box() completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.56…

1 0