From 969d22dfa95b73c8637d0928def4c404384e465f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 18 Nov 2009 11:14:04 +0000 Subject: [PATCH] CHANGELOG.txt. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1563 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index de9e9c4f..11b4c48a 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -12,6 +12,25 @@ Latest changes (reverse chronological): * ... +CHECK 3.3.1 details are up-to-date... + +----------------------------------------------------------------------------- +Version 3.3.1 (released ???) +----------------------------------------------------------------------------- + +Bug fixes: +- Building on new 64-bit Macs +- Simulator bug (crashes on min/max function) +- CTMC transient probs with MTBDD engine crash + +----------------------------------------------------------------------------- +Version 3.3 (released 29/10/2009) +----------------------------------------------------------------------------- + +Bug fixes: +- Building on new Macs +- Copy+paste bug in GUI + ----------------------------------------------------------------------------- Version 3.3.beta2 (released 29/7/2009) -----------------------------------------------------------------------------