From: "Lars Kristensen" 
To: designCPN@daimi.au.dk
Date: Tue, 13 Jan 2004 12:11:49 +0100
Subject: (dCPN) IMPORTANT: Patch to the January 2004 Problem in the Design/CPN state space tool

[[[Moderator note: Attached file is here: http://www.daimi.au.dk/designCPN/patches/tod.sml]]]

Dear Design/CPN state space tool users,

 

The attached file provides a patch to an overflow problem caused by the
use of 31 bit signed integer to represent the number of seconds since
January 1, 1970. The overflow problem caused the Design/CPN state space
tool to stop working on January 1, 1970 + (2^30)-1 seconds which was
just a few days ago.

 

See the attached file for a more details.

 

Lars Kristensen

----
[[ Homepage and archive:             http://www.daimi.au.dk/designCPN/email/ ]]
[[ Subscribe:          http://mailman.daimi.au.dk/mailman/listinfo/designcpn ]]