PURRS-devel

Thread Start a new thread

Download

purrs-devel@bugseng.com

January 2008

2 participants
14 discussions

purrs/tests mvar_tests
by Roberto Bagnara 18 Jan '08

18 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara(a)cs.unipr.it 2008-01-18 09:57:12 Modified files: tests : mvar_tests Log message: Added missing parenthesis. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/mvar_tests.diff?cvsro…

1 0

purrs/tests multivar_driver.cc
by Roberto Bagnara 18 Jan '08

18 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara(a)cs.unipr.it 2008-01-18 09:52:31 Modified files: tests : multivar_driver.cc Log message: Old resolution method restored, since the new one was never finished. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests multivar_driver.cc
by Roberto Bagnara 18 Jan '08

18 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara(a)cs.unipr.it 2008-01-18 09:46:35 Modified files: tests : multivar_driver.cc Log message: Exit gracefully if no recurrence was specified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs ./Makefile.am ./README ./configure.ac de ...
by Roberto Bagnara 01 Jan '08

01 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara(a)cs.unipr.it 2008-01-01 13:40:15 Modified files: . : Makefile.am README configure.ac demos : Makefile.am purrs_eqs_cgi.cc purrs_rrs_cgi.cc doc : Makefile.am definitions.dox devref.tex user.tex infrastructure : depinst interfaces : Makefile.am interfaces/Prolog: Makefile.am m4 : Makefile.am ac_check_gmp.m4 ac_check_use_readline.m4 src : Blackboard.cc Blackboard.defs.hh Blackboard.inlines.hh Blackboard.types.hh Bool3.cc Bool3.defs.hh Bool3.inlines.hh Bool3.types.hh Cached_Expr.cc Cached_Expr.defs.hh Cached_Expr.inlines.hh Cached_Expr.types.hh Constant.cc Constant.defs.hh Constant.inlines.hh Constant.types.hh Expr.cc Expr.defs.hh Expr.inlines.hh Expr.types.hh Expr_List.cc Expr_List.defs.hh Expr_List.inlines.hh Expr_List.types.hh Finite_Order_Info.cc Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Finite_Order_Info.types.hh Functional_Equation_Info.cc Functional_Equation_Info.defs.hh Functional_Equation_Info.inlines.hh Functional_Equation_Info.types.hh Init.cc Init.defs.hh Init.inlines.hh Init.types.hh Makefile.am Matrix.cc Matrix.defs.hh Matrix.inlines.hh Matrix.types.hh Non_Linear_Info.cc Non_Linear_Info.defs.hh Non_Linear_Info.inlines.hh Non_Linear_Info.types.hh Number.cc Number.defs.hh Number.inlines.hh Number.types.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Recurrence.types.hh Symbol.cc Symbol.defs.hh Symbol.inlines.hh Symbol.types.hh Weighted_Average_Info.cc Weighted_Average_Info.defs.hh Weighted_Average_Info.inlines.hh Weighted_Average_Info.types.hh alg_eq_solver.cc alg_eq_solver.hh compute_bounds.cc compute_exact_solution.cc compute_prod.cc compute_prod.hh ep_decomp.cc ep_decomp.hh fact_decomp.cc fact_decomp.hh factorize.cc factorize.hh factorize_giac.cc factorize_giac.hh finite_order.cc finite_order.hh functional_equation.cc functional_equation.hh globals.cc globals.hh gosper.cc gosper.hh initializer.hh numerator_denominator.cc numerator_denominator.hh poly_factor.cc purrs_header.top rr_classifier.cc simplify.cc simplify.hh size_norm.cc size_norm.hh size_norm_impl.hh sum_poly.cc sum_poly.hh timings.hh tsc.hh util.cc util.hh verify.cc zeilberger.cc zeilberger.hh src/Intervals : Boundary.cc Boundary.defs.hh Boundary.inlines.hh Boundary.types.hh IEEE754.h Interval.cc Interval.defs.hh Interval.inlines.hh Interval.types.hh Makefile.am round.h src/Intervals/sysdep: Makefile.am alpha.h c99.h ix86.h m68k.h sparc.h tests : Makefile.am ehandlers.cc ehandlers.hh eqs_driver.cc gosper_driver.cc multivar_driver.cc rr_filter.cc rrs_driver.cc simplify_driver.cc zeilberger_driver.cc Log message: Copyright years extended. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/Makefile.am.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/README.diff?cvsroot=purrs&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/Makefile.am.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_eqs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.tex.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/depinst.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/interfaces/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/interfaces/Prolog/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/Makefile.am.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ac_check_gmp.m4.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ac_check_use_readline.m4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.types.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.types.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.types.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.types.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.types.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.types.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.types… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.types.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.types.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.types.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.types.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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/Recurrence.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.types.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.types.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.t… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?… 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/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/ep_decomp.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/fact_decomp.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/fact_decomp.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/initializer.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/poly_factor.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/purrs_header.top.diff?c… 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/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm_impl.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/timings.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/tsc.hh.diff?cvsroot=pur… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.defs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.inli… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.type… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/IEEE754.h.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.defs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.inli… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.type… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/round.h.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/alpha.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/c99.h.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/ix86.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/m68k.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/sparc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/ehandlers.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/ehandlers.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/eqs_driver.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/gosper_driver.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rr_filter.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/zeilberger_driver.cc.…

1 0