- PURRS-devel - BUGSENG Mailman

purrs/src compute_exact_solution.cc
by Andrea Pescetti 21 Mar '05

21 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-21 21:46:12 Modified files: src : compute_exact_solution.cc Log message: Add simplifications needed to deal with more complex inhomogeneous terms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src compute_exact_solution.cc
by Andrea Pescetti 21 Mar '05

21 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-21 21:06:17 Modified files: src : compute_exact_solution.cc Log message: A new, experimental, method for solving linear recurrences with constant coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src rr_classifier.cc
by Andrea Pescetti 18 Mar '05

18 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-18 14:45:18 Modified files: src : rr_classifier.cc Log message: Properly rewrite recurrences with negative decrements. This fixes a bug spotted by Alessandro. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 15 Mar '05

15 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-15 19:30:50 Modified files: tests : multivar_driver.cc Log message: A new resolution method for the constant difference case: it finds shorter solutions when initial conditions are not parametric. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/src Expr.inlines.hh
by Andrea Pescetti 15 Mar '05

15 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-15 19:24:16 Modified files: src : Expr.inlines.hh Log message: Definition of min() corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

purrs/src Expr.inlines.hh Expr.defs.hh
by Andrea Pescetti 15 Mar '05

15 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-15 14:29:46 Modified files: src : Expr.inlines.hh Expr.defs.hh Log message: Provide an interface to min(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro…

1 0

purrs/src compute_exact_solution.cc finite_ord ...
by Alessandro Zaccagnini 14 Mar '05

14 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2005-03-14 16:30:59 Modified files: src : compute_exact_solution.cc finite_order.cc Log message: Small improvements in some comments Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 12 Mar '05

12 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-12 14:03:22 Modified files: tests : multivar_driver.cc Log message: Fixed a wrong sign in the constant sum case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 11 Mar '05

11 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-11 14:25:39 Modified files: tests : multivar_driver.cc Log message: When we check for the x() function, make sure it is the 2-argument version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests heap
by Andrea Pescetti 11 Mar '05

11 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-11 14:12:47 Modified files: tests : heap Log message: Two new recurrences to make sure that weighted average recurrences are classified correctly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0