From bcd8a73526c5e1603c973d0f0fdd1e0a6317856c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 6 Jul 2015 13:38:57 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10198 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index a8fd9471..f8e28ecb 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -12,6 +12,7 @@ Version 4.3 (first released ???) - expected total rewards (R[C]) implemented for DTMCs in symbolic engine - backwards reachability algorithm implemented for model checking PTAs - various LTL model checking optimisations + - faster precomputation by pre-computing predecessors * Options/switches: - new -pathviaautomata switch to force model checking via automaton construction