From 9063c00f55e5802421d295fd6660f9245c38c5d8 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Sat, 19 May 2007 17:57:18 +0200 Subject: [PATCH] - Switched encoding of Changelog so windows users can read it too. --- gui/Changelog.txt | 120 +++++++++++++++++++++++----------------------- 1 file changed, 60 insertions(+), 60 deletions(-) diff --git a/gui/Changelog.txt b/gui/Changelog.txt index d8abae0..0912f46 100644 --- a/gui/Changelog.txt +++ b/gui/Changelog.txt @@ -1,60 +1,60 @@ ---------------------- -- Scyther changelog - ---------------------- - -Scyther 1.0-beta7.1 - - Bugfixes: - - * Windows Vista fix broke Windows XP support. - -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: - - * [Gui] Added Mac support (added universal binary) - * [Gui] Switched to Scintilla editor component, providing undo - and line numbering, and highlighting of error lines. - - Other new features: - - * [Backend] Scyther now detects when a read event cannot match - with a send event. This significantly helps in reducing errors - 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 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) - * [Backend] Added '--scan-claims' switch (allows for retrieving - a list of claims) - * [Scripting] Added 'verifyOne' and 'scanClaims' methods to - Scyther object, to help with singular claim testing. - - Bugfixes: - - * [Scripting] Fixed bug in python interface backend (e.g. with mpa.py) - -Scyther 1.0-beta5 - - * Change of switch semantics. '--max-attacks=N' now defines the - maximum number of attacks per claim. Previously this was a - global maximum for all claims combined. - * Improved attack graph output. - * added switch '--errors=FILE' to redirect standard error output - to a file. - * Rewrote parts of the gui code for improved stability. - -Scyther 1.0-beta4 - - * (Changelog starts after the release of Scyther 1.0-beta4) +--------------------- +- Scyther changelog - +--------------------- + +Scyther 1.0-beta7.1 + + Bugfixes: + + * Windows Vista fix broke Windows XP support. + +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: + + * [Gui] Added Mac support (added universal binary) + * [Gui] Switched to Scintilla editor component, providing undo + and line numbering, and highlighting of error lines. + + Other new features: + + * [Backend] Scyther now detects when a read event cannot match + with a send event. This significantly helps in reducing errors + 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 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) + * [Backend] Added '--scan-claims' switch (allows for retrieving + a list of claims) + * [Scripting] Added 'verifyOne' and 'scanClaims' methods to + Scyther object, to help with singular claim testing. + + Bugfixes: + + * [Scripting] Fixed bug in python interface backend (e.g. with mpa.py) + +Scyther 1.0-beta5 + + * Change of switch semantics. '--max-attacks=N' now defines the + maximum number of attacks per claim. Previously this was a + global maximum for all claims combined. + * Improved attack graph output. + * added switch '--errors=FILE' to redirect standard error output + to a file. + * Rewrote parts of the gui code for improved stability. + +Scyther 1.0-beta4 + + * (Changelog starts after the release of Scyther 1.0-beta4)