May 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid.defs.hh
by Matthew Mundell 19 May '05

19 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-19 09:34:30 Modified files: src : Grid.defs.hh Log message: Temporarily add add_congruences_and_minimize and erroneously rename add_congruences to add_congruences_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_simplify.cc
by Matthew Mundell 19 May '05

19 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-19 09:07:23 Modified files: src : Grid_simplify.cc Log message: Rename pivot_num to pivot_index. In the congruence reduction swap the current row with a newly accessed pivot instead of with the original reference to the pivot. Also decrement the pivot_index in macro free_row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 19 May '05

19 May '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-05-19 08:02:49 Modified files: htdocs/Documentation: ppl.bib Log message: Added BagnaraHZ05FAC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 19 May '05

19 May '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-05-19 08:00:58 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added BagnaraR-CZ05 and BagnaraR-CZ05TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 19 May '05

19 May '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-05-19 08:00:34 Modified files: htdocs/Documentation: ppl.bib Log message: Added BagnaraHMZ05 and BagnaraHZ05STTT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests/Grid .cvsignore
by Roberto Bagnara 18 May '05

18 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-05-18 18:08:57 Added files: tests/Grid : .cvsignore Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/.cvsignore?cvsroot…

1 0

ppl/src Grid_conversion.cc
by Matthew Mundell 18 May '05

18 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-18 17:45:10 Modified files: src : Grid_conversion.cc Log message: Always define is_upper_triangular and is_lower_triangular. Add some tracing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 18 May '05

18 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-18 17:43:29 Modified files: src : Grid.defs.hh Log message: Always declare is_upper_triangular and is_lower_triangular Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/tests/Grid Makefile.in
by Roberto Bagnara 18 May '05

18 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-05-18 15:40:27 Removed files: tests/Grid : Makefile.in Log message: Makefile.in is a generated file and should not be put under CVS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.in.diff?c…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 18 May '05

18 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-05-18 15:39:51 Modified files: doc : definitions.dox Log message: Improvements to the section on rational grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0