August 2004 - PPL-devel - BUGSENG Mailman

ppl/tests bgp99extrapolation2.cc
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 00:29:47 Modified files: tests : bgp99extrapolation2.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation2.cc.…

1 0

ppl/tests folddims2.cc
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 00:29:12 Modified files: tests : folddims2.cc Log message: Removed test that was already made in folddims1.cc. Comment revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims2.cc.diff?cvsro…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 00:27:42 Modified files: tests : Makefile.am Log message: Spurious backslash removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests bgp99extrapolation2.cc
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 00:27:23 Modified files: tests : bgp99extrapolation2.cc Log message: Completed (and made more interesting). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation2.cc.…

1 0

ppl/tests Makefile.am folddims2.cc
by Patricia Hill 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-16 21:42:07 Modified files: tests : Makefile.am Added files: tests : folddims2.cc Log message: Tests for NNC polyhedra added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/folddims2.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests bgp99extrapolation2.cc
by Patricia Hill 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-16 21:07:39 Modified files: tests : bgp99extrapolation2.cc Log message: Comment corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation2.cc.…

1 0

ppl/tests h79widening6.cc
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 20:07:54 Added files: tests : h79widening6.cc Log message: An example taken from CH78. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening6.cc.diff?cv…

1 0

ppl/tests Makefile.am bgp99extrapolation2.cc h ...
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 19:40:10 Modified files: tests : Makefile.am Added files: tests : bgp99extrapolation2.cc Removed files: tests : h79widening6.cc Log message: Test program h79widening6.cc renamed bgp99extrapolation2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation2.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening6.cc.diff?cv…

1 0

ppl ppl.spec.in
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 19:27:52 Modified files: . : ppl.spec.in Log message: Added the `ppl_lcdd' program to the main package. Require gcc-c++ to be exactly version 3.4.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/demos/ppl_lcdd Makefile.am
by Roberto Bagnara 16 Aug '04

16 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-16 19:27:13 Modified files: demos/ppl_lcdd : Makefile.am Log message: The `ppl_lcdd' program will be installed in `bindir'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di…

1 0