January 2003 - PURRS-devel - BUGSENG Mailman

purrs/tests rrs_driver.cc
by Tatiana Zolo 26 Jan '03

26 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-26 18:29:04 Modified files: tests : rrs_driver.cc Log message: Improvements in the production mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs configure.ac
by Roberto Bagnara 26 Jan '03

26 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-26 08:35:33 Modified files: . : configure.ac Log message: For the time being, it is better to forget about recovering from out of memory exceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p…

1 0

purrs/tests Makefile.am
by Roberto Bagnara 26 Jan '03

26 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-26 08:33:09 Modified files: tests : Makefile.am Log message: Put GMP library link options after `-lntl' in the LDADD list. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr…

1 0

purrs/tests heap
by Roberto Bagnara 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-24 22:25:41 Modified files: tests : heap Log message: New recurrence we cannot solve. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-24 21:33:36 Modified files: tests : rrs_driver.cc Log message: Substitute auxiliary definitions before printing the exact solution in production mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src compute_prod.cc compute_prod.hh fact ...
by Tatiana Zolo 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-24 20:29:35 Modified files: src : compute_prod.cc compute_prod.hh factorize.cc Log message: Improved the function `factorize()' and, consequently, the computation of the products. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsro…

1 0

purrs src/Recurrence.defs.hh src/rr_classifier ...
by Tatiana Zolo 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-24 18:30:18 Modified files: src : Recurrence.defs.hh rr_classifier.cc tests : heap rrs_driver.cc Log message: Added the enumerate INDETERMINATE_RECURRENCE to `enum Solver_Status' and added the expectation `I': % I indeterminate: the recurrence has infinite solution. Improved `eliminate_null_decrements()' so it can catch also indeterminate recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests heap
by Roberto Bagnara 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-24 18:02:33 Modified files: tests : heap Log message: New "real-life" recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-24 15:03:34 Modified files: src : Recurrence.cc Log message: Fixed a bug in `verify_solution()': for the moment the verification of the solution is applied only to linear finite order recurrence for which the system finds the exact solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Roberto Bagnara 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-24 13:30:39 Modified files: tests : heap Log message: The recurrence `x(n) = x(n/2)' was duplicate and not correctly marked with `y'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0