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

Commit Graph

  • f5a6774c0a - Added a good idea to the caching thing. ccremers 2005-03-02 20:35:22 +00:00
  • 91ed26f1ff - Print the arguments for each protocol count again. ccremers 2005-03-02 20:27:20 +00:00
  • fa20f369d2 - Fixed argument printing. ccremers 2005-03-02 20:23:43 +00:00
  • fd6d8f7880 - Cleanup of the output printing - Fixed a bounds error (for single protocols) ccremers 2005-03-02 20:17:21 +00:00
  • e2df02000f - Added options to supress the progress bar with e.g. -B ccremers 2005-03-02 20:12:06 +00:00
  • 7e9169ef89 - For some historical reason this used upper-case keys. ccremers 2005-03-02 19:58:07 +00:00
  • 282504c8cc - Improved the arguments adapting to the input stuff (e.g. number of protocols) - Improved many protocols by adding agreement claims. ccremers 2005-03-02 19:57:05 +00:00
  • acb98c2212 - Added agree claim. ccremers 2005-03-02 19:43:03 +00:00
  • 50c7bbe6c5 - Non-unique claim label. ccremers 2005-03-02 19:12:08 +00:00
  • 8e4e0275e8 - Moved the tests into default arguments ccremers 2005-03-02 16:28:09 +00:00
  • f4c80a3599 - Better test setup. Still not very good, though. ccremers 2005-03-02 15:29:46 +00:00
  • 9c05d2ac3a - Fixed outputting the command string. Broken bij the previous work. ccremers 2005-03-02 15:21:55 +00:00
  • 1b4e00b49f - Caching is working nicely now. ccremers 2005-03-02 15:09:29 +00:00
  • 6e77e7cf93 - First integration steps, untested. ccremers 2005-03-02 15:02:34 +00:00
  • 9533f6f548 - Started to work on a caching mechanism. ccremers 2005-03-02 14:28:41 +00:00
  • 351d619324 - Out of the wiki, back into the source. ccremers 2005-02-25 14:54:28 +00:00
  • b1c1ba455e - Added a good idea. ccremers 2005-02-21 15:15:22 +00:00
  • 5c90a5af29 - Improved the .dot output format quite a bit. ccremers 2005-02-21 15:12:59 +00:00
  • aa70b19142 - Accomodations for better n-protocol attacks detection. ccremers 2005-02-19 14:35:31 +00:00
  • b675b101bf - Added Arachne tuple claims warning. Exits for now at Secrecy tuples. ccremers 2005-02-19 14:31:15 +00:00
  • 49d314d0f5 - Unfolded secrecy claims. ccremers 2005-02-19 14:25:30 +00:00
  • e36392b1d2 - Rewrote the way the version number is imported into the source. Much better now. ccremers 2005-02-01 20:05:41 +00:00
  • 56caa2c1e4 - Fixed the svn version number registering. Still needs some work though, as the -SVNVERSION thing only needs to be passed to the builder of main.c. ccremers 2005-02-01 19:39:03 +00:00
  • c354401d16 - Added a more generic tuplesdo.py ccremers 2005-01-20 15:47:23 +00:00
  • 094267cd03 - Moved scripts to test directory. Broken commit: paths are all wrong now. ccremers 2005-01-20 14:40:52 +00:00
  • e34c6a2cd2 - Removed command line option for tuple width. Instead, it is now in the code. - Added protocol test resume by adding percentage start parameter. ccremers 2005-01-14 18:24:28 +00:00
  • 9a86e80c96 - Added some type information to the Yahalom protocol model. ccremers 2005-01-14 18:22:22 +00:00
  • 820c2caed8 - Revisited type matching conditions. - Introduced tuple unfolding stuff for Arachne. -m2 should work now. ccremers 2005-01-14 18:18:40 +00:00
  • 0158e81cac - Minor protocol fixes. ccremers 2005-01-14 16:09:09 +00:00
  • d5cdac84cc - Some unfolding of tuple goals towards getting -m2 Arachne to work. ccremers 2005-01-14 14:08:01 +00:00
  • b607b1e260 - If we run into the time bound, report it. ccremers 2005-01-14 13:01:31 +00:00
  • 9df1bfed5b - Made the output more easily machine-parsed. ccremers 2005-01-14 12:48:26 +00:00
  • bd0069886c - "correct" output for claims that are not encountered, as one would expect. ccremers 2005-01-14 12:38:43 +00:00
  • 0f199670d3 - Fixed some issues with bad protocol naming. ccremers 2005-01-14 11:15:37 +00:00
  • e2990e37de - Two protocol bugfixes. ccremers 2005-01-14 10:28:12 +00:00
  • a3f9d0dc65 - Added a few protocols to the list. ccremers 2005-01-14 09:52:48 +00:00
  • 84689052ac - The tests used for PAM talk 1 ccremers 2005-01-11 10:12:01 +00:00
  • 9a5e9d674a - Removed some debugging output. ccremers 2005-01-11 10:03:34 +00:00
  • 5e78172162 - Added timer constraints to the multi-protocol test. ccremers 2005-01-05 15:45:26 +00:00
  • ec86107800 - Commented some protocols. ccremers 2005-01-05 15:45:14 +00:00
  • e0e56964d1 - Added a --timer=x switch to abort Arachne proofs after x seconds. ccremers 2005-01-05 15:29:27 +00:00
  • 45c42408dd - Added weight level to proof output in <..> notation. - Added selection factor for singular variables (not rolenames) ccremers 2004-12-29 19:40:12 +00:00
  • 54ccd5179e - Added a new selector that picks goals that are local variables. ccremers 2004-12-29 16:05:32 +00:00
  • d425bdb850 - For now, set equal weights to the parameters. ccremers 2004-12-29 14:24:33 +00:00
  • 7309bb5550 - Fixed debug comment. ccremers 2004-12-29 14:18:13 +00:00
  • 5e695097f2 - Reimplemented the weight functions for goal selection. - Added --goal-select function, defaults to 3. ccremers 2004-12-29 14:17:49 +00:00
  • 2d978f3232 - Modified some small issues, made the protocol list static, and allowed "comment lines" starting with '#' in the test script. ccremers 2004-12-17 15:54:48 +00:00
  • 93ab6a29f4 - Omitted some addnew tests, although they ought to work. ccremers 2004-12-09 15:45:14 +00:00
  • 635470d976 - Added -d switch. ccremers 2004-12-09 15:27:50 +00:00
  • b56c01c422 - Added '--max-depth=X' switch (which is equal to the old '-l X -a') - Modified semantics of -l with -a : this corresponds more to the intuition and introduces the new option to prune proofs based on trace length. ccremers 2004-12-09 15:11:45 +00:00
  • 4f36181c3c - Removed debugging stuff, now that the memory stuff is solved. It turned out that I solved the memory leak first, and then spent an afternoon finding the 8 blocks. These were simply not being given back by memrealloc, which I should have guessed. ccremers 2004-12-09 13:34:36 +00:00
  • c7d9517eac - Fixed some errors. No more memory leaks. ccremers 2004-12-09 13:23:26 +00:00
  • c690b0622a - More cleanup and comments. ccremers 2004-12-08 19:30:26 +00:00
  • 1c5a9986f6 - Added many comments. ccremers 2004-12-08 16:41:43 +00:00
  • 3ca180d968 - Despite a full afternoon of debugging, semiRunCreate/Destroy still lose 8 blocks. I'm fairly confused. ccremers 2004-12-08 16:25:27 +00:00
  • ecd114c5c3 - Code cleanup. ccremers 2004-11-21 15:45:12 +00:00
  • 3459add489 - Added improved summary info about what helps to break what. ccremers 2004-11-19 13:25:30 +00:00
  • 149e2e5646 - Added percentage meter to progress bar. ccremers 2004-11-19 11:22:03 +00:00
  • 5bf97e7c52 - Added default include file. ccremers 2004-11-19 10:59:10 +00:00
  • d9efb5096c - Error handling fixes. ccremers 2004-11-19 10:36:46 +00:00
  • 560c3e0780 - Progress bar now goes to stderr, which makes more sense when piping output. ccremers 2004-11-19 10:13:08 +00:00
  • 0b7031e550 - Improved the attack output significantly. ccremers 2004-11-19 09:53:51 +00:00
  • c1f225cfb7 - Some results about the attacks. ccremers 2004-11-19 08:43:23 +00:00
  • a0d90b9ec4 - Added function to determine command line. ccremers 2004-11-18 16:18:23 +00:00
  • 6ebc61fca6 - More fixes. ccremers 2004-11-18 16:14:31 +00:00
  • 83922f3f2c - Fixed some protocols with wrong protocol names in the specification. - Added more safety stuff to the testing code. ccremers 2004-11-18 16:07:58 +00:00
  • 2b53516542 - Major improvements (o.a. in progress bars etc) ccremers 2004-11-18 15:50:54 +00:00
  • a4f9b3c4de - Beta version works like a charm. ccremers 2004-11-18 15:06:41 +00:00
  • 96ade10f29 - Cleanup. ccremers 2004-11-18 14:47:53 +00:00
  • 5edfc1ba46 - Started to work on a good test script. ccremers 2004-11-18 14:47:44 +00:00
  • a3d59f591a - Some cleanups of the protocols list. ccremers 2004-11-18 13:15:19 +00:00
  • 7d24d3396d - Clean tests todo. ccremers 2004-11-18 13:07:10 +00:00
  • 2df76cd0a2 - Added a first try for the course protocol. ccremers 2004-11-16 13:40:24 +00:00
  • f2a2c8ea14 - Moved role creation into the protocol creation. This will make it easier to add MSC-style input to the input language compiler later. ccremers 2004-11-16 12:51:23 +00:00
  • 506e42f841 - Re-indented the files. ccremers 2004-11-16 12:07:55 +00:00
  • a38925c9c2 - Added some useful macros to term.h to address subparts (e.g. TermOp1(t)). Renamed all uses. ccremers 2004-11-16 12:06:36 +00:00
  • 343314896b - Added version info to compilation process. ccremers 2004-11-01 14:52:52 +00:00
  • b6af2f9dac - First try for diff function. ccremers 2004-11-01 14:06:26 +00:00
  • c195ab95a1 - Now in the wiki. ccremers 2004-10-30 10:07:21 +00:00
  • bdc336d7f9 - Todo list is now handled by the wiki: http://www.win.tue.nl/~ccremers/twiki/bin/view.pl/Scyther/ScytherBug ccremers 2004-10-29 14:15:35 +00:00
  • aaa0d415f9 - Graph closure fixed. ccremers 2004-10-28 15:37:13 +00:00
  • 0ec70b9de0 - Added lots of debugging info. ccremers 2004-10-28 15:23:16 +00:00
  • 3673fc689d - Improved roledef printing by adding roledefPrintShort. ccremers 2004-10-28 12:56:13 +00:00
  • 61457b5f3d - Fixed the agentsOfRunPrint output. It was caused by the agent adding order. - Fixed the pruning bug, which was related to this. ccremers 2004-10-28 12:33:57 +00:00
  • 234edae741 - Added sort of bug report. ccremers 2004-10-27 16:32:44 +00:00
  • 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. ccremers 2004-10-27 16:20:12 +00:00
  • 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. ccremers 2004-10-27 16:10:58 +00:00
  • 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. ccremers 2004-10-25 14:28:53 +00:00
  • b44676db2b - Added another protocol. ccremers 2004-10-25 11:13:39 +00:00
  • 908061c33e - Added another protocol. ccremers 2004-10-25 10:33:14 +00:00
  • 885975af8a - Added a protocol from Boyd & Mathuria: protocols for authentication and key establishment. ccremers 2004-10-25 10:17:01 +00:00
  • 931d2130f9 - Added a new protocol. ccremers 2004-10-25 09:43:32 +00:00
  • 738215b876 - Fixed for type flaw matching and more extensive tests. ccremers 2004-10-21 15:27:46 +00:00
  • 3cda6e53fa - Another important issue. ccremers 2004-10-20 15:59:23 +00:00
  • fce9fae9c3 - Removed warnings from the compiler for conflicting types: not to stdout anymore, but now in the normal tradition of eprintf and globalError. ccremers 2004-10-19 12:03:40 +00:00
  • 7b3cb4dfb9 - To test. ccremers 2004-10-18 14:36:43 +00:00
  • 8a7369a84e - Some stuff about empty preceding label sets and Arachne. ccremers 2004-10-18 13:49:41 +00:00
  • 67673cb608 - No more warning for output in standard debug mode. ccremers 2004-10-18 13:49:20 +00:00
  • 3ee392ca08 - Updated many protocols according to the tests. ccremers 2004-10-18 13:45:58 +00:00
  • 70d076644d - Datetime is not present on Galious, but it is not really needed, so it has been removed. ccremers 2004-10-18 13:45:35 +00:00