andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
285a230f67
scyther/gui
History
ccremers 285a230f67 - More moving.
2006-08-11 16:57:58 +00:00
..
Gui - Fix+. 2006-08-11 15:44:36 +00:00
Images - More moving. 2006-08-11 16:57:58 +00:00
Scyther - Moved okay status thing also to claims. 2006-08-11 09:58:20 +00:00
INSTALL.txt - Fixed typo. 2006-08-10 11:51:11 +00:00
me.spdl - Added incomplete knowledge test. 2006-08-07 11:55:01 +00:00
mpa.py - Refactoring stuff into a package. 2006-08-08 15:54:00 +00:00
mpa.spdl - Some fixes. 2006-08-09 11:36:33 +00:00
ns3.spdl - Added gui. 2006-08-02 12:59:57 +00:00
nsl3.spdl - Added gui. 2006-08-02 12:59:57 +00:00
README.txt - Split readme into readme and install 2006-08-10 08:26:47 +00:00
scyther-gui.py - Many fixes. 2006-08-11 15:23:32 +00:00
scyther-gui.rc - Added a windows resource file. 2006-08-09 09:13:39 +00:00
scyther.py - Misc fixes, todo list. 2006-08-08 16:16:28 +00:00
scythergui-default.spdl - Added gui. 2006-08-02 12:59:57 +00:00
todo.txt - Refactoring, explanations, added button. 2006-08-11 09:41:12 +00:00

README.txt 

Scyther

The Scyther Tool: Automatic Verification of Security Protocols