From 18f86ec9011f64a14dbc673197917633ce99660a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 16 Dec 2010 09:48:09 +0000 Subject: [PATCH] NOTES. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2337 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/NOTES | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/NOTES b/prism/NOTES index 42b5ac74..09ba2929 100644 --- a/prism/NOTES +++ b/prism/NOTES @@ -125,6 +125,7 @@ Simulator: Other: * Export tr/ss probs from GUI * Initial distr for steady-state +* Finish CTL Adversary generation: * Add adversary generation for other engines