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

- Added new feature to changelog (scripting interface for singular claim

Browse Source 
testing)
This commit is contained in:
ccremers 2007-01-27 13:11:07 +00:00
parent 836f30c26a
commit 6cd4d3d7b6
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gui/Changelog.txt
View File

@ -13,8 +13,10 @@ Scyther 1.0-beta6
stronger authentication properties of protocols with more than stronger authentication properties of protocols with more than
two parties. two parties.
* [Backend] Added '--max-of-role=N' switch (to narrow scenarios) * [Backend] Added '--max-of-role=N' switch (to narrow scenarios)
* [Backend] Added '--scan-claims' switch (allows for retrieving a list of * [Backend] Added '--scan-claims' switch (allows for retrieving
claims) a list of claims)
* [Scripting] Added 'verifyOne' and 'scanClaims' methods to
Scyther object, to help with singular claim testing.
Bugfixes: Bugfixes: