CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-01-20 15:35:51
Modified files: interfaces/Prolog: expected expected2 interfaces/Prolog/XSB: expected expected2 tests : bhrz03widening15.cc bhrz03widening9.cc
Log message: Applying some semantically preserving syntactic changes to the expected results in order to match what is obtained after modification to methods Matrix::gauss() and Matrix::back_substitute(). The changes are also semantic for the known results of bhrz03widening9/15.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expected... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening15.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc.diff?...