andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Switched encoding of Changelog so windows users can read it too.

Browse Source
This commit is contained in:
Cas Cremers 2007-05-19 17:57:18 +02:00
parent 475e311f55
commit 9063c00f55
1 changed files with 60 additions and 60 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

120
gui/Changelog.txt
View File

@ -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)