February 2005 - PURRS-devel

purrs/tests multivar_driver.cc
by Andrea Pescetti 28 Feb '05

28 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-28 21:07:33 Modified files: tests : multivar_driver.cc Log message: Automatically determine the decreasing variable when solving "constant sum" recurrences. 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 28 Feb '05

28 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-28 15:05:55 Modified files: tests : multivar_driver.cc Log message: Accept initial conditions in input. 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 27 Feb '05

27 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-28 00:40:37 Modified files: tests : multivar_driver.cc Log message: Solve recurrences where the sum of two variables is constant. 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 26 Feb '05

26 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-26 10:15:25 Modified files: tests : multivar_driver.cc Log message: Better choice for coefficients in the "constant difference" 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 23 Feb '05

23 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-24 00:52:02 Modified files: tests : multivar_driver.cc Log message: We can now handle recurrence with fixed difference between two arguments. Still missing some coefficients in the final formula. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Andrea Pescetti 23 Feb '05

23 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-24 00:49:58 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Provide an interface to max(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

purrs/tests mvar_tests
by Andrea Pescetti 23 Feb '05

23 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-23 10:35:17 Modified files: tests : mvar_tests Log message: New format. Some more recurrences to play with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/mvar_tests.diff?cvsro…

1 0

purrs/infrastructure depinst
by Andrea Pescetti 22 Feb '05

22 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-22 12:29:26 Modified files: infrastructure : depinst Log message: Bash syntax fix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/depinst.diff…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 20 Feb '05

20 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-20 22:57:29 Modified files: tests : multivar_driver.cc Log message: Start the transition towards a new input system. Many minor fixes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/infrastructure depinst
by Andrea Pescetti 16 Feb '05

16 Feb '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-02-16 11:18:24 Modified files: infrastructure : depinst Log message: Trap compilation errors. Allow installing the libraries in a user-defined path. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/depinst.diff…

1 0