From d64d89b063e09b7f23d241a5cf15c563e74cb5ba Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Thu, 17 May 2007 17:35:47 +0200 Subject: [PATCH] - Added further notes --- gui/Changelog.txt | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/gui/Changelog.txt b/gui/Changelog.txt index 7188218..9541896 100644 --- a/gui/Changelog.txt +++ b/gui/Changelog.txt @@ -2,6 +2,15 @@ - Scyther changelog - --------------------- +Scyther 1.0-beta7 + + Bugfixes: + + * Windows Vista causes a number of problems. The biggest problem + is now fixed, which is the bad implementation of the tmpfile() C + function, causing no attack output, for which there is a + workaround now. + Scyther 1.0-beta6 Big new features: @@ -17,7 +26,7 @@ Scyther 1.0-beta6 in the protocol descriptions. * [Language] Added claim parameter for Reachable claim; Reachable,R means that role R should be trusted (as well as the - actor), but not any other claim. This can be useful for showing + actor), but not any other role. This can be useful for showing stronger authentication properties of protocols with more than two parties. * [Backend] Added '--max-of-role=N' switch (to narrow scenarios)