[PURRS-devel] purrs/src Recurrence.cc

Roberto Bagnara roberto at spartacus.cs.unipr.it
Wed Jul 23 20:10:44 CEST 2003

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	roberto at cs.unipr.it	2003-07-23 20:10:44

Modified files:
	src            : Recurrence.cc 

Log message:
	New code by Alessandro uncommented out and activated.
	Added a (failing) assertion: this explains why we got a segmentation fault.


More information about the PURRS-devel mailing list