Commit Graph

492 Commits

Author SHA1 Message Date
ccremers
f2a2c8ea14 - Moved role creation into the protocol creation. This will make it
easier to add MSC-style input to the input language compiler later.
2004-11-16 12:51:23 +00:00
ccremers
506e42f841 - Re-indented the files. 2004-11-16 12:07:55 +00:00
ccremers
a38925c9c2 - Added some useful macros to term.h to address subparts (e.g.
TermOp1(t)). Renamed all uses.
2004-11-16 12:06:36 +00:00
ccremers
343314896b - Added version info to compilation process. 2004-11-01 14:52:52 +00:00
ccremers
b6af2f9dac - First try for diff function. 2004-11-01 14:06:26 +00:00
ccremers
c195ab95a1 - Now in the wiki. 2004-10-30 10:07:21 +00:00
ccremers
bdc336d7f9 - Todo list is now handled by the wiki:
http://www.win.tue.nl/~ccremers/twiki/bin/view.pl/Scyther/ScytherBug
2004-10-29 14:15:35 +00:00
ccremers
aaa0d415f9 - Graph closure fixed. 2004-10-28 15:37:13 +00:00
ccremers
0ec70b9de0 - Added lots of debugging info. 2004-10-28 15:23:16 +00:00
ccremers
3673fc689d - Improved roledef printing by adding roledefPrintShort. 2004-10-28 12:56:13 +00:00
ccremers
61457b5f3d - Fixed the agentsOfRunPrint output. It was caused by the agent adding
order.
- Fixed the pruning bug, which was related to this.
2004-10-28 12:33:57 +00:00
ccremers
234edae741 - Added sort of bug report. 2004-10-27 16:32:44 +00:00
ccremers
9a24bb0f21 - Somehow, agentOfRunRole is playing up. I found a bug in the pruning
(untrusted actors), but the fix did not work. It's maybe due to the
  roleInstance variants.
2004-10-27 16:20:12 +00:00
ccremers
461a040d29 - Revised Arachne dot output significantly. It is now based on explicit
ranking instead of the subgraphs. This will make it easier to layout
  e.g. LaTeX MSCs using the same algorithm.
2004-10-27 16:10:58 +00:00
ccremers
2680a2ca7a - Added rank calculation and output. If the subgraphs are removed, this
will allow for better positioning of the graphs. It also helps a lot
  for latex output. In fact, latex output is fairly trivial now.
2004-10-25 14:28:53 +00:00
ccremers
b44676db2b - Added another protocol. 2004-10-25 11:13:39 +00:00
ccremers
908061c33e - Added another protocol. 2004-10-25 10:33:14 +00:00
ccremers
885975af8a - Added a protocol from Boyd & Mathuria: protocols for authentication
and key establishment.
2004-10-25 10:17:01 +00:00
ccremers
931d2130f9 - Added a new protocol. 2004-10-25 09:43:32 +00:00
ccremers
738215b876 - Fixed for type flaw matching and more extensive tests. 2004-10-21 15:27:46 +00:00
ccremers
3cda6e53fa - Another important issue. 2004-10-20 15:59:23 +00:00
ccremers
fce9fae9c3 - Removed warnings from the compiler for conflicting types: not to
stdout anymore, but now in the normal tradition of eprintf and
  globalError.
2004-10-19 12:03:40 +00:00
ccremers
7b3cb4dfb9 - To test. 2004-10-18 14:36:43 +00:00
ccremers
8a7369a84e - Some stuff about empty preceding label sets and Arachne. 2004-10-18 13:49:41 +00:00
ccremers
67673cb608 - No more warning for output in standard debug mode. 2004-10-18 13:49:20 +00:00
ccremers
3ee392ca08 - Updated many protocols according to the tests. 2004-10-18 13:45:58 +00:00
ccremers
70d076644d - Datetime is not present on Galious, but it is not really needed, so
it has been removed.
2004-10-18 13:45:35 +00:00
ccremers
19b3c74e65 - Remove obsolete child parameter. 2004-10-18 13:06:22 +00:00
ccremers
94b3ac7c96 - Added debug code for dot output.
- Push/pop goals are counted now, making the child parameter obsolete.
2004-10-18 13:04:34 +00:00
ccremers
4b10c7f151 - Added priorities. 2004-10-16 22:03:33 +00:00
ccremers
abad7044dd - Added thingy. 2004-10-15 19:53:04 +00:00
ccremers
7247335e5b - Much nicer naming for the files. 2004-10-15 14:46:23 +00:00
ccremers
622b28520e - error output is also stored now. 2004-10-15 12:11:13 +00:00
ccremers
0f68fcb8d6 - Added a generic test generator script. 2004-10-15 08:45:59 +00:00
ccremers
795f28006d - Added some thoughts. 2004-10-14 20:49:49 +00:00
ccremers
46ce2f37ee - Cut off tab at the end of a line for xargs 2004-10-14 20:17:01 +00:00
ccremers
19d7b42b14 - ...but don't forget to remove the debug output... 2004-10-14 20:11:19 +00:00
ccremers
02e1ccb186 - Tuple generator now works great. 2004-10-14 20:09:11 +00:00
ccremers
dfe16fa306 - First skeleton for tuple printer. 2004-10-14 18:18:01 +00:00
ccremers
d33ec486ce - Modified -l switch to also serve as proof depth limit. 2004-10-14 15:25:28 +00:00
ccremers
ba832159b1 - Added a new prioritylevel for seemingly public keys, but the splice-as
problem remains.
2004-10-14 15:09:48 +00:00
ccremers
29445bbd5f - Added two (SPORE) splice-AS variants. 2004-10-14 14:50:49 +00:00
ccremers
15ed7a99fa - Prevent stupid clashes. 2004-10-14 14:41:54 +00:00
ccremers
884db51a4b - Added (false) Nisynch, Niagree claims.
- Shortened the names.
2004-10-14 14:41:27 +00:00
ccremers
c717262e20 - Fixed the types. 2004-10-14 14:35:01 +00:00
ccremers
09ffaad340 - Fixed a claim role. 2004-10-14 14:34:47 +00:00
ccremers
9ac12f9198 - More serious problem found. 2004-10-14 14:33:22 +00:00
ccremers
123b12a1c0 - Problems with Splice/AS suggest heuristic improvements. 2004-10-14 14:30:27 +00:00
ccremers
dbb35a3ec9 - Added the splice-AS protocol. The modelchecker finds an attack, but
the arachne methods causes some problems.
2004-10-14 14:22:59 +00:00
ccremers
87a75106d1 - Printing the protocol tab-separated from the role is more useful for
script-based parsing.
2004-10-14 13:29:28 +00:00