February 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 21 Feb '06

21 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-21 18:28:59 Modified files: tests/Polyhedron: memory1.cc Log message: Exit immediately with error if the impossible happens. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

ppl/src LP_Problem.defs.hh LP_Problem.cc
by Andrea Cimino 21 Feb '06

21 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-02-21 16:48:06 Modified files: src : LP_Problem.defs.hh LP_Problem.cc Log message: Documentation improved. Header's `parse_constraints' variables modified to match the ones in LP_Problem.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/tests ppl_test.cc
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 23:15:58 Modified files: tests : ppl_test.cc Log message: Try harder to be informative in case SIGFPE is raised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroo…

1 0

ppl/src fpu-ia32.inlines.hh
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 23:15:25 Modified files: src : fpu-ia32.inlines.hh Log message: Struct fenv_t renamed ia32_fenv_t. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?…

1 0

ppl/src Linear_Expression.defs.hh Linear_Expre ...
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 20:55:05 Modified files: src : Linear_Expression.defs.hh Linear_Expression.inlines.hh Log message: Use vertical spacing to avoid clutter. Do not expose implementation details. Improve const-correctness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.inlines…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 18:04:10 Modified files: htdocs/Bugs : Bugs.raw Log message: Improved the citation of "How to Report Bugs Effectively", by Simon Tatham. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 18:03:39 Modified files: htdocs/Links : Links.raw Log message: Added links to "How to Report Bugs Effectively</A>, by Simon Tatham; "How To Ask Questions The Smart Way", by Eric S. Raymond; and "Linux Software Debugging with GDB", by David Seager. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/src Congruence_System.cc
by Patricia Hill 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-20 14:33:04 Modified files: src : Congruence_System.cc Log message: Remove unwanted comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/tests ppl_test.cc
by Roberto Bagnara 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-20 14:30:44 Modified files: tests : ppl_test.cc Log message: Be more informative when the signal code is unknown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroo…

1 0

ppl/tests print.hh print.cc
by Patricia Hill 20 Feb '06

20 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-20 14:30:32 Modified files: tests : print.hh print.cc Log message: Added print_generators() for grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p…

1 0