scyther

sylv/scyther

Fork 0

Files

History

ccremers 683cae8d90 - Minor.

2006-08-11 14:22:45 +00:00

Gui

- Minor.

2006-08-11 14:22:45 +00:00

Images

- Improved.

2006-08-09 10:07:57 +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

- Added separate about box.

2006-08-11 10:43:28 +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