- PURRS-devel - BUGSENG Mailman

purrs/src simplify.cc
by Tatiana Zolo 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-21 22:33:37 Modified files: src : simplify.cc Log message: Some cheange in the comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-21 17:41:09 Modified files: src : rr_solver.cc Log message: Collect initial conditions in the solution only if the solution is an addition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src alg_eq_solver.cc
by Tatiana Zolo 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-21 15:24:49 Modified files: src : alg_eq_solver.cc Log message: Fixed a call to Number's constructor. Added some print (checked by the flag NOISY). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-21 14:45:13 Modified files: tests : rrs_driver.cc Log message: LaTeX mode added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Roberto Bagnara 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-21 14:44:54 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added Expr::latex_print(). 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/src rr_solver.cc
by Roberto Bagnara 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-21 12:20:26 Modified files: src : rr_solver.cc Log message: We should stop throwing strings: first go towards this aim. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-21 11:41:42 Modified files: src : rr_solver.cc Log message: Correctly handle the status `TOO_COMPLEX' in solve_try_hard(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests heap
by Roberto Bagnara 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-21 11:39:57 Modified files: tests : heap Log message: Uncommented the recurrence that used to make us segfault. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 21 Oct '02

21 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-21 11:07:22 Modified files: src : rr_solver.cc Log message: If `find_roots()' does not succeed to find roots of the characteristic equations then `solve()' returns TOO_COMPLEX. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 20 Oct '02

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-20 22:35:22 Modified files: tests : rrs_driver.cc Log message: Do something with the expectations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0