September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_interface_generator_c_h.m4
by Patricia Hill 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-14 10:18:52 Modified files: interfaces/C : ppl_interface_generator_c_h.m4 Log message: Type declarations must be generated before the rest of the code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 10:07:24 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: The Pointset_Powerset domain does not provide poly_difference_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/src Pointset_Powerset.cc Pointset_Powerset ...
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 10:05:10 Modified files: src : Pointset_Powerset.cc Pointset_Powerset.defs.hh Pointset_Powerset.inlines.hh Log message: The Pointset_Powerset domain should *not* provide a poly_difference_assign method (it provides the difference_assign method). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff… 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…

1 0

ppl/interfaces/C ppl_interface_generator_c_h_c ...
by Patricia Hill 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-14 09:38:37 Modified files: interfaces/C : ppl_interface_generator_c_h_code.m4 Log message: Fixed a bug when building from a C or NNC Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C ppl_interface_generator_c_h_c ...
by Patricia Hill 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-14 08:57:36 Modified files: interfaces/C : ppl_interface_generator_c_h_code.m4 Log message: Another bug in the schematic code for ppl_c_domains.h fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/C ppl_interface_generator_c_h_c ...
by Patricia Hill 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-13 23:54:02 Modified files: interfaces/C : ppl_interface_generator_c_h_code.m4 Log message: Fixed some bugs in the schematic code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/tests/Octagonal_Shape mapspacedims1.cc
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 23:01:38 Modified files: tests/Octagonal_Shape: mapspacedims1.cc Log message: Commented-out code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/mapspac…

1 0

ppl/tests/BD_Shape pointsetpowerset1.cc
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 23:00:55 Modified files: tests/BD_Shape : pointsetpowerset1.cc Log message: Commented-out code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/pointsetpowers…

1 0

ppl/tests/Box Makefile.am closure1.cc
by Roberto Bagnara 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-13 22:55:05 Modified files: tests/Box : Makefile.am closure1.cc Log message: Reactivated the closure1.cc test program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/closure1.cc.diff?cv…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 13 Sep '08

13 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-13 22:36:49 Modified files: doc : Makefile.am Log message: Let the documentation of foreign language interfaces also depend on the Doxygen GPL and GFDL licence files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0