# $Id: CHANGES,v 1.3 2008-03-12 10:20:50 schuppan Exp $ 11 Mar 2008 - make fixes for type checking in NuSMV (thanks to Wei Chen ) 24 Jun 2006 - rename README to ReadMe 28 Oct 2002 - add examples - encourage user-specified setting for bsmv/csmv in README - have one script 'fac/bin/timenodes' with parameters for sequential/interleaved checking, bmc/nobmc, wall clock limit - replace 'obj' with 'prepare' in Makefiles - have separate check-goals in Makefiles - generate modules for bsmv during verification - fix bug with 6nc model for csmv - fix bug in genall.c - add this file 09 Oct 2002 - initial release