Commit Graph

1549 Commits

Author SHA1 Message Date
ccremers
dbe2042c01 - And store it in the changes... 2006-11-30 16:19:00 +00:00
ccremers
5b527cbc9c - Clearer output for intruder-generated terms. 2006-11-30 16:16:37 +00:00
ccremers
f028d797d6 - Added fixed version and checked it. 2006-11-30 15:28:01 +00:00
ccremers
fe38647c06 - Too many tls to go with other misc 2006-11-30 15:17:30 +00:00
ccremers
45bfeb58e6 - Added Boyd Mathuria TLS version 2006-11-30 13:00:47 +00:00
ccremers
15822a303f - New version of the protocol after communication with Anupam Datta. 2006-11-29 23:25:40 +00:00
ccremers
5954188fff - Fixed obsolete usage of 'CLK_TCK', which has received a new name. 2006-11-29 08:41:23 +00:00
ccremers
6a6e2a5834 - Improved version of tls by the Mitchell group 2006-11-24 08:10:52 +00:00
ccremers
6629b29559 - Fixed stuff for Python versions that do not support __file__ well, by basically requiring that the Scyther binary can be found in PATH. 2006-11-24 08:00:03 +00:00
ccremers
96da9e087a - Improved description of protocol as in Corin/Etalle paper. 2006-11-23 18:51:28 +00:00
ccremers
f2f35f5548 - Added simple scytherview (python only). Needs some further work to be
usable though.
2006-11-23 13:26:27 +00:00
ccremers
271550a55a - Better builders and naming.
- Some cleanup.
2006-11-23 11:46:33 +00:00
ccremers
31d8ff02b6 - Added new linux binary. 2006-11-23 11:39:56 +00:00
ccremers
17f4f34d23 - Improved locating binaries etc. 2006-11-23 11:28:51 +00:00
ccremers
ec9bf11719 - New semantics for maxattacks 2006-11-23 10:49:28 +00:00
ccremers
d8414daf95 - Fixed bug in new --max-attacks semantics. 2006-11-23 10:40:10 +00:00
ccremers
e28c494a18 - Changes to --max-attacks switch semantics. Maybe it should even be called max-patterns. 2006-11-22 15:15:12 +00:00
ccremers
4c469c542b - Added Mitchell et al fourway protocol. 2006-11-21 16:31:15 +00:00
ccremers
45dbcfad21 - Added SPORE protocols. 2006-11-21 13:42:06 +00:00
ccremers
567d629dd0 - Added protocols 2006-11-21 13:40:50 +00:00
ccremers
61828765b9 - Improved error reporting for missing libs.
- Moved all binaries to Bin/ (untested here as stupid thing does not work.)
2006-11-14 11:03:19 +00:00
ccremers
4cab253e7c - Improved error reporting. 2006-11-13 10:38:47 +00:00
ccremers
37b855d9ec - Added the OSX binaries generated by Martijn Warnier. 2006-10-02 19:46:19 +00:00
ccremers
1650c6f64b - Cleaner platform distinguishing code. 2006-09-21 13:19:22 +00:00
ccremers
420ea29fc4 - Note on nested functions. 2006-09-13 06:20:44 +00:00
ccremers
31f1753e4e - Added malloc wrappers for OSX builds. 2006-09-12 16:17:49 +00:00
ccremers
c0f87ce87d - Cross compilation for windows added. 2006-09-08 13:09:14 +00:00
ccremers
b5470aa894 - Fixed some stupid maxAttacks handling. Note that it still needs to
improve (todo list).
2006-08-15 08:16:02 +00:00
ccremers
04b03d7664 - Added manual. 2006-08-14 10:01:52 +00:00
ccremers
cf45f8780b - Wider boxes. 2006-08-12 12:37:08 +00:00
ccremers
df8a99f823 - Updated distro script. 2006-08-11 18:04:36 +00:00
ccremers
fe18bf0fa1 - Removed obsolete stuff. 2006-08-11 17:59:08 +00:00
ccremers
c9ceef9ff1 - Make room. 2006-08-11 17:53:52 +00:00
ccremers
78d6a17705 - Improved documentation. 2006-08-11 17:52:44 +00:00
ccremers
c83f7313b2 - Better readme. 2006-08-11 17:32:51 +00:00
ccremers
eefc870f41 - Better Aboet.
---This line, and those below, will be ignored--

M    gui/Gui/About.py
2006-08-11 17:29:18 +00:00
ccremers
79e664c181 - Improved stuff for mpa attacks.
- Some todo addition.
2006-08-11 17:25:34 +00:00
ccremers
3728019380 - Compiled new version. 2006-08-11 17:22:51 +00:00
ccremers
5c53668556 - Added new version. 2006-08-11 17:16:22 +00:00
ccremers
e4bbd59b6e - Added release information. 2006-08-11 17:15:39 +00:00
ccremers
285a230f67 - More moving. 2006-08-11 16:57:58 +00:00
ccremers
5d3c1449aa - Moved stuff to a design directory. 2006-08-11 16:52:55 +00:00
ccremers
ef8ba74e35 - Fix+. 2006-08-11 15:44:36 +00:00
ccremers
ad5e081f83 - Bugfix: to often recomputation of stuff. 2006-08-11 15:43:04 +00:00
ccremers
d6fde09885 - Bugfix. 2006-08-11 15:38:25 +00:00
ccremers
3b6794de34 - Bugfixes. 2006-08-11 15:36:23 +00:00
ccremers
c3ce3c37d4 - Many fixes. 2006-08-11 15:23:32 +00:00
ccremers
683cae8d90 - Minor. 2006-08-11 14:22:45 +00:00
ccremers
cdbb2c72b7 - Fixed path issue. 2006-08-11 11:04:22 +00:00
ccremers
a517d729ef - Added separate about box. 2006-08-11 10:43:28 +00:00