April 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagon.templates.hh
by Enea Zaffanella 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-26 14:46:58 Modified files: src : Octagon.templates.hh Log message: Prefer OR_Matrix::shrink() to OR_Matrix::resize_no_copy() when we statically know that we are removing space dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl/src Octagon.defs.hh Octagon.inlines.hh Oct ...
by Enea Zaffanella 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-26 14:31:15 Modified files: src : Octagon.defs.hh Octagon.inlines.hh Octagon.templates.hh Log message: In Octagon.defs.hh: Small formatting and documentation improvements (Use the multiline Doxygen comment style for comments spanning more lines). Methods grouped into classes (as done for other domains). Added declarations for debugging-related output methods. In Octagon.inlines.hh: Do not include useless file headers (vector, deque, string). Avoid lines that are twoo long and trailing whitespace. Use OR_Matrix::shrink() instead of OR_Matrix::remove_rows(). In OR_Matrix.templates.hh: Do include header file for strings. Several optimizations to strong_closure_assign(). Added several missing const modifiers. Prefer using "\n" to std::endl when printing on streams. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl/src OR_Matrix.defs.hh OR_Matrix.inlines.hh ...
by Enea Zaffanella 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-26 14:21:26 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Makefile.am Added files: src : OR_Matrix.templates.hh Log message: In OR_Matrix.defs.hh: Include globals.defs.hh; do not include vector and deque. Small formatting and documentation improvements (Use the multiline Doxygen comment style for comments spanning more lines). Default constructor OR_Matrix() is now private and not implemented. Added method OR_Matrix::shrink() to remove some of the last dimensions from the matrix; removed methods add_rows() and remove_rows(). Corrected documentation of method ascii_dump & load. In OR_Matrix.inlines.hh: Do not include useless file headers (vector, deque, string, iostream, sstream, stdexcept). Added missing inline declarations to methods row_size() and row_first_element_index(), as well as several const modifiers. Avoid lines that are twoo long and trailing whitespace. Removed (buggy) implementation of default constructor. Implemented new method OR_Matrix::shrink() and used in the implementation of resize_no_copy() (which still contains an efficiency bug). Method that do not stand a chance of being inlined moved into OR_Matrix.templates.hh (ascii_dump, ascii_load, operator<<, OK). In OR_Matrix.templates.hh: Improved implementation of method OK() by printing the reasons of failures. Added debugging-related output methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.templates.hh?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests/Octagon chinainit.cc
by Elena Mazzi 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-26 12:52:27 Modified files: tests/Octagon : chinainit.cc Log message: Test `chinainit' rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.di…

1 0

ppl/tests/Octagon Makefile.am constraints1.cc ...
by Elena Mazzi 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-26 12:44:20 Modified files: tests/Octagon : Makefile.am constraints1.cc Removed files: tests/Octagon : constraints2.cc constraints3.cc constraints4.cc constraints5.cc Log message: Tests for constraints() rewritten according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints2.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints3.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints4.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints5.cc…

1 0

ppl/src Octagon.inlines.hh
by Elena Mazzi 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-26 12:09:41 Modified files: src : Octagon.inlines.hh Log message: Removed a silly and not-necessary function change(); renamed `position_cell()' with `get_matrix_element()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c…

1 0

ppl/tests/Octagon Makefile.am contains1.cc emp ...
by Elena Mazzi 26 Apr '06

26 Apr '06

1 0

ppl/tests/Octagon Makefile.am removespacedims1 ...
by Elena Mazzi 26 Apr '06

26 Apr '06

1 0

ppl/tests/Octagon Makefile.am fromgensys1.cc
by Elena Mazzi 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-26 09:53:40 Modified files: tests/Octagon : Makefile.am Added files: tests/Octagon : fromgensys1.cc Log message: Added a new test for the new constructor Octagon(const Generator_System& gs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/fromgensys1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/src Octagon.defs.hh Octagon.templates.hh
by Elena Mazzi 26 Apr '06

26 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-26 09:52:15 Modified files: src : Octagon.defs.hh Octagon.templates.hh Log message: Added a new constructor: Octagon(const Generator_System& gs). Improved and adjust some comments in Octagon::constraints(). Improved the method Octagon::OK(): MINUS_INFINITY cannot occur at all. Improved the method Octagon::is_strong_coherent(): removing some not necessary lines. Adjusted some comments in Octagon::map_space_dimensions(), Octagon::remove_space_dimensions(). Renamed also some silly variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0