fd6d8f7880- Cleanup of the output printing - Fixed a bounds error (for single protocols)
ccremers
2005-03-02 20:17:21 +0000
e2df02000f- Added options to supress the progress bar with e.g. -B
ccremers
2005-03-02 20:12:06 +0000
7e9169ef89- For some historical reason this used upper-case keys.
ccremers
2005-03-02 19:58:07 +0000
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 +0000
e36392b1d2- Rewrote the way the version number is imported into the source. Much better now.
ccremers
2005-02-01 20:05:41 +0000
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 +0000
c354401d16- Added a more generic tuplesdo.py
ccremers
2005-01-20 15:47:23 +0000
094267cd03- Moved scripts to test directory. Broken commit: paths are all wrong now.
ccremers
2005-01-20 14:40:52 +0000
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 +0000
9a86e80c96- Added some type information to the Yahalom protocol model.
ccremers
2005-01-14 18:22:22 +0000
820c2caed8- Revisited type matching conditions. - Introduced tuple unfolding stuff for Arachne. -m2 should work now.
ccremers
2005-01-14 18:18:40 +0000
0158e81cac- Minor protocol fixes.
ccremers
2005-01-14 16:09:09 +0000
d5cdac84cc- Some unfolding of tuple goals towards getting -m2 Arachne to work.
ccremers
2005-01-14 14:08:01 +0000
b607b1e260- If we run into the time bound, report it.
ccremers
2005-01-14 13:01:31 +0000
9df1bfed5b- Made the output more easily machine-parsed.
ccremers
2005-01-14 12:48:26 +0000
bd0069886c- "correct" output for claims that are not encountered, as one would expect.
ccremers
2005-01-14 12:38:43 +0000
0f199670d3- Fixed some issues with bad protocol naming.
ccremers
2005-01-14 11:15:37 +0000
e2990e37de- Two protocol bugfixes.
ccremers
2005-01-14 10:28:12 +0000
a3f9d0dc65- Added a few protocols to the list.
ccremers
2005-01-14 09:52:48 +0000
84689052ac- The tests used for PAM talk 1
ccremers
2005-01-11 10:12:01 +0000
9a5e9d674a- Removed some debugging output.
ccremers
2005-01-11 10:03:34 +0000
5e78172162- Added timer constraints to the multi-protocol test.
ccremers
2005-01-05 15:45:26 +0000
ec86107800- Commented some protocols.
ccremers
2005-01-05 15:45:14 +0000
e0e56964d1- Added a --timer=x switch to abort Arachne proofs after x seconds.
ccremers
2005-01-05 15:29:27 +0000
45c42408dd- Added weight level to proof output in <..> notation. - Added selection factor for singular variables (not rolenames)
ccremers
2004-12-29 19:40:12 +0000
54ccd5179e- Added a new selector that picks goals that are local variables.
ccremers
2004-12-29 16:05:32 +0000
d425bdb850- For now, set equal weights to the parameters.
ccremers
2004-12-29 14:24:33 +0000
5e695097f2- Reimplemented the weight functions for goal selection. - Added --goal-select function, defaults to 3.
ccremers
2004-12-29 14:17:49 +0000
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 +0000
93ab6a29f4- Omitted some addnew tests, although they ought to work.
ccremers
2004-12-09 15:45:14 +0000
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 +0000
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 +0000
c7d9517eac- Fixed some errors. No more memory leaks.
ccremers
2004-12-09 13:23:26 +0000
c690b0622a- More cleanup and comments.
ccremers
2004-12-08 19:30:26 +0000
1c5a9986f6- Added many comments.
ccremers
2004-12-08 16:41:43 +0000
3ca180d968- Despite a full afternoon of debugging, semiRunCreate/Destroy still lose 8 blocks. I'm fairly confused.
ccremers
2004-12-08 16:25:27 +0000
560c3e0780- Progress bar now goes to stderr, which makes more sense when piping output.
ccremers
2004-11-19 10:13:08 +0000
0b7031e550- Improved the attack output significantly.
ccremers
2004-11-19 09:53:51 +0000
c1f225cfb7- Some results about the attacks.
ccremers
2004-11-19 08:43:23 +0000
a0d90b9ec4- Added function to determine command line.
ccremers
2004-11-18 16:18:23 +0000
6ebc61fca6- More fixes.
ccremers
2004-11-18 16:14:31 +0000
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 +0000
2b53516542- Major improvements (o.a. in progress bars etc)
ccremers
2004-11-18 15:50:54 +0000
a4f9b3c4de- Beta version works like a charm.
ccremers
2004-11-18 15:06:41 +0000
2df76cd0a2- Added a first try for the course protocol.
ccremers
2004-11-16 13:40:24 +0000
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 +0000
506e42f841- Re-indented the files.
ccremers
2004-11-16 12:07:55 +0000
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 +0000
343314896b- Added version info to compilation process.
ccremers
2004-11-01 14:52:52 +0000
b6af2f9dac- First try for diff function.
ccremers
2004-11-01 14:06:26 +0000
c195ab95a1- Now in the wiki.
ccremers
2004-10-30 10:07:21 +0000
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 +0000
234edae741- Added sort of bug report.
ccremers
2004-10-27 16:32:44 +0000
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 +0000
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 +0000
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 +0000
b44676db2b- Added another protocol.
ccremers
2004-10-25 11:13:39 +0000
908061c33e- Added another protocol.
ccremers
2004-10-25 10:33:14 +0000
885975af8a- Added a protocol from Boyd & Mathuria: protocols for authentication and key establishment.
ccremers
2004-10-25 10:17:01 +0000
931d2130f9- Added a new protocol.
ccremers
2004-10-25 09:43:32 +0000
738215b876- Fixed for type flaw matching and more extensive tests.
ccremers
2004-10-21 15:27:46 +0000
3cda6e53fa- Another important issue.
ccremers
2004-10-20 15:59:23 +0000
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 +0000
7b3cb4dfb9- To test.
ccremers
2004-10-18 14:36:43 +0000
8a7369a84e- Some stuff about empty preceding label sets and Arachne.
ccremers
2004-10-18 13:49:41 +0000
67673cb608- No more warning for output in standard debug mode.
ccremers
2004-10-18 13:49:20 +0000
3ee392ca08- Updated many protocols according to the tests.
ccremers
2004-10-18 13:45:58 +0000
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 +0000
ccremers