August 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron interspreservenlarge1.cc
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 16:47:54 Modified files: tests/Polyhedron: interspreservenlarge1.cc Log message: Test changed to use new method name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 16:40:30 Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 Log message: Ensure the new method is generated for all the domains that support it. Name still needs revising. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/src BD_Shape.templates.hh Box.inlines.hh B ...
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 16:35:42 Modified files: src : BD_Shape.templates.hh Box.inlines.hh Box.templates.hh Octagonal_Shape.templates.hh Log message: In several comments, correct typo (emptyness ==> emptiness). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/interfaces ppl_interface_generator_copyrig ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 16:27:35 Modified files: interfaces : ppl_interface_generator_copyright interfaces/Prolog: ppl_interface_generator_prolog_cc_files.m4 ppl_interface_generator_prolog_hh_files.m4 Log message: Include the copyright notice in the generated files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 16:08:26 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_files.m4 Log message: Added an #include "sysdep.hh" line to each generated cc file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl configure.ac
by Roberto Bagnara 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-21 15:28:53 Modified files: . : configure.ac Log message: We don't need the `win32-dll' option of `LT_INIT'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/Powerset interspreservenlarge1.cc
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 13:30:27 Modified files: tests/Powerset : interspreservenlarge1.cc Log message: Test test08() no longer fails. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/interspreserve…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 13:29:15 Modified files: src : Polyhedron_public.cc Log message: Corrected the method for simplification of polyhedra wrt context so that to avoid converting a masked equality (i.e., an inequality that implies an equality in the given context) to a proper equality; for instance, now simplifying PH1 = { A >= 0 } in the context of PH2 = { A <= 0 } returns PH1, instead of PH3 = { A == 0 }. The correction ensures that the method is extensive on the polyhedra domain and hence solves the corresponding bug in the Pointset_Powerset domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl configure.ac
by Roberto Bagnara 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-21 12:03:47 Modified files: . : configure.ac Log message: Temporarily removed all the Prolog interfaces from the ones that are built by default (this is not to disturb the work of people not interested in them). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 11:45:28 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_hh_code.m4 Log message: Add header for the binary operations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0