August 2008 - PPL-devel - BUGSENG Mailman

ppl doc/definitions.dox src/Partially_Reduced_ ...
by Patricia Hill 16 Aug '08

16 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-16 09:34:51 Modified files: doc : definitions.dox src : Partially_Reduced_Product.defs.hh Pointset_Powerset.defs.hh Log message: Added warnings that the product and powerset domains should only be used with simple (non-compound) domains for the disjunct of the powerset or components of the product. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl configure.ac
by Roberto Bagnara 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-15 18:59:41 Modified files: . : configure.ac Log message: Added Pointset_Powerset<C_Polyhedron> and Pointset_Powerset<NNC_Polyhedron> to the set of default domain instantiations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl TODO
by Patricia Hill 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-15 17:29:33 Modified files: . : TODO Log message: Added an item for 0.11 Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

ppl TODO
by Roberto Bagnara 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-15 17:13:49 Modified files: . : TODO Log message: New item added for PPL 0.11 or later version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

ppl src/Pointset_Powerset.defs.hh src/Pointset ...
by Patricia Hill 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-15 16:50:58 Modified files: src : Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh tests : Makefile.am tests/Powerset : Makefile.am Added files: tests/Powerset : product1.cc Log message: Allow for a powerset to be built from a product. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines… 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/Powerset/product1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.di…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Enea Zaffanella 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-15 16:38:42 Modified files: interfaces/C : ppl_interface_generator_c_cc_preamble ppl_interface_generator_c_h_preamble Log message: Added functions that test for emptyness of constraint/generator/... systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl TODO
by Roberto Bagnara 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-15 16:37:02 Modified files: . : TODO Log message: One new item added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.24…

1 0

ppl NEWS
by Roberto Bagnara 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-15 15:41:12 Modified files: . : NEWS Log message: Mention a name-change in the interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.22…

1 0

ppl NEWS
by Roberto Bagnara 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-15 15:33:09 Modified files: . : NEWS Log message: A little bit of reorganization. Duplicate items removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.22…

1 0

ppl ./ChangeLog Watchdog/ChangeLog
by Roberto Bagnara 15 Aug '08

15 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-15 15:27:46 Modified files: . : ChangeLog Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0