- PURRS-devel - BUGSENG Mailman

w3purrs/htdocs/Documentation purrs.bib
by Roberto Bagnara 06 Feb '04

06 Feb '04

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2004-02-06 17:01:22 Modified files: htdocs/Documentation: purrs.bib Log message: BagnaraZ04TR added. Year of the forthcoming technical reports changed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

purrs/tests Makefile.am
by toledi＠spartacus.cs.unipr.it 06 Feb '04

06 Feb '04

CVSROOT: /cvs/purrs Module name: purrs Branch: plotter Changes by: toledi(a)cs.unipr.it 2004-02-06 11:19:22 Modified files: tests : Makefile.am Log message: Aggiunto test prova per la funzione `set_initial_conditions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr…

1 0

purrs/tests setinitialconditions1.cc
by toledi＠spartacus.cs.unipr.it 06 Feb '04

06 Feb '04

CVSROOT: /cvs/purrs Module name: purrs Branch: plotter Changes by: toledi(a)cs.unipr.it 2004-02-06 11:15:56 Added files: tests : setinitialconditions1.cc Log message: Aggiunto test prova per la funzione `set_initial_conditions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/setinitialconditions1…

1 0

purrs/tests Makefile.am evaluaterhs1.cc evalua ...
by toledi＠spartacus.cs.unipr.it 06 Feb '04

06 Feb '04

CVSROOT: /cvs/purrs Module name: purrs Branch: plotter Changes by: toledi(a)cs.unipr.it 2004-02-06 10:41:31 Modified files: tests : Makefile.am Added files: tests : evaluaterhs1.cc evaluaterhs2.cc Log message: Aggiunti due test (per ora fittizzi). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/evaluaterhs1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/evaluaterhs2.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr…

1 0

purrs ./Makefile.am ./configure.ac demos/Makef ...
by Roberto Bagnara 03 Feb '04

03 Feb '04

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 18:32:35 Modified files: src : Recurrence.cc Log message: Minor changes in the method `dump()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 16:20:46 Modified files: tests : rrs_driver.cc Log message: Fixed a bug in the function `prepare_for_the_output()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 16:19:09 Modified files: src : Recurrence.cc Log message: Fixed a problem in the methods `lower_bound()' and `upper_bound()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 15:50:19 Modified files: tests : rrs_driver.cc Log message: Added the option `-C' (--check-solution). Some improvements in the function `do_production_mode()' for the introduction of the new option -C. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 13:08:21 Modified files: tests : rrs_driver.cc Log message: Added the option `-P' (--prolog-term): it allows to have the solution or the approximation in the form of prolog term. Several improvements in the function `do_production_mode()' for the introduction of the new option -P. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0