ccremers
|
f5a6774c0a
|
- Added a good idea to the caching thing.
|
2005-03-02 20:35:22 +00:00 |
|
ccremers
|
91ed26f1ff
|
- Print the arguments for each protocol count again.
|
2005-03-02 20:27:20 +00:00 |
|
ccremers
|
fa20f369d2
|
- Fixed argument printing.
|
2005-03-02 20:23:43 +00:00 |
|
ccremers
|
fd6d8f7880
|
- Cleanup of the output printing
- Fixed a bounds error (for single protocols)
|
2005-03-02 20:17:21 +00:00 |
|
ccremers
|
e2df02000f
|
- Added options to supress the progress bar with e.g. -B
|
2005-03-02 20:12:06 +00:00 |
|
ccremers
|
7e9169ef89
|
- For some historical reason this used upper-case keys.
|
2005-03-02 19:58:07 +00:00 |
|
ccremers
|
282504c8cc
|
- Improved the arguments adapting to the input stuff (e.g. number of
protocols)
- Improved many protocols by adding agreement claims.
|
2005-03-02 19:57:05 +00:00 |
|
ccremers
|
acb98c2212
|
- Added agree claim.
|
2005-03-02 19:43:03 +00:00 |
|
ccremers
|
50c7bbe6c5
|
- Non-unique claim label.
|
2005-03-02 19:12:08 +00:00 |
|
ccremers
|
8e4e0275e8
|
- Moved the tests into default arguments
|
2005-03-02 16:28:09 +00:00 |
|
ccremers
|
f4c80a3599
|
- Better test setup. Still not very good, though.
|
2005-03-02 15:29:46 +00:00 |
|
ccremers
|
9c05d2ac3a
|
- Fixed outputting the command string. Broken bij the previous work.
|
2005-03-02 15:21:55 +00:00 |
|
ccremers
|
1b4e00b49f
|
- Caching is working nicely now.
|
2005-03-02 15:09:29 +00:00 |
|
ccremers
|
6e77e7cf93
|
- First integration steps, untested.
|
2005-03-02 15:02:34 +00:00 |
|
ccremers
|
9533f6f548
|
- Started to work on a caching mechanism.
|
2005-03-02 14:28:41 +00:00 |
|
ccremers
|
351d619324
|
- Out of the wiki, back into the source.
|
2005-02-25 14:54:28 +00:00 |
|
ccremers
|
b1c1ba455e
|
- Added a good idea.
|
2005-02-21 15:15:22 +00:00 |
|
ccremers
|
5c90a5af29
|
- Improved the .dot output format quite a bit.
|
2005-02-21 15:12:59 +00:00 |
|
ccremers
|
aa70b19142
|
- Accomodations for better n-protocol attacks detection.
|
2005-02-19 14:35:31 +00:00 |
|
ccremers
|
b675b101bf
|
- Added Arachne tuple claims warning. Exits for now at Secrecy tuples.
|
2005-02-19 14:31:15 +00:00 |
|
ccremers
|
49d314d0f5
|
- Unfolded secrecy claims.
|
2005-02-19 14:25:30 +00:00 |
|
ccremers
|
e36392b1d2
|
- Rewrote the way the version number is imported into the source. Much
better now.
|
2005-02-01 20:05:41 +00:00 |
|
ccremers
|
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.
|
2005-02-01 19:39:03 +00:00 |
|
ccremers
|
c354401d16
|
- Added a more generic tuplesdo.py
|
2005-01-20 15:47:23 +00:00 |
|
ccremers
|
094267cd03
|
- Moved scripts to test directory. Broken commit: paths are all wrong
now.
|
2005-01-20 14:40:52 +00:00 |
|
ccremers
|
e34c6a2cd2
|
- Removed command line option for tuple width. Instead, it is now in the
code.
- Added protocol test resume by adding percentage start parameter.
|
2005-01-14 18:24:28 +00:00 |
|
ccremers
|
9a86e80c96
|
- Added some type information to the Yahalom protocol model.
|
2005-01-14 18:22:22 +00:00 |
|
ccremers
|
820c2caed8
|
- Revisited type matching conditions.
- Introduced tuple unfolding stuff for Arachne. -m2 should work now.
|
2005-01-14 18:18:40 +00:00 |
|
ccremers
|
0158e81cac
|
- Minor protocol fixes.
|
2005-01-14 16:09:09 +00:00 |
|
ccremers
|
d5cdac84cc
|
- Some unfolding of tuple goals towards getting -m2 Arachne to work.
|
2005-01-14 14:08:01 +00:00 |
|
ccremers
|
b607b1e260
|
- If we run into the time bound, report it.
|
2005-01-14 13:01:31 +00:00 |
|
ccremers
|
9df1bfed5b
|
- Made the output more easily machine-parsed.
|
2005-01-14 12:48:26 +00:00 |
|
ccremers
|
bd0069886c
|
- "correct" output for claims that are not encountered, as one would
expect.
|
2005-01-14 12:38:43 +00:00 |
|
ccremers
|
0f199670d3
|
- Fixed some issues with bad protocol naming.
|
2005-01-14 11:15:37 +00:00 |
|
ccremers
|
e2990e37de
|
- Two protocol bugfixes.
|
2005-01-14 10:28:12 +00:00 |
|
ccremers
|
a3f9d0dc65
|
- Added a few protocols to the list.
|
2005-01-14 09:52:48 +00:00 |
|
ccremers
|
84689052ac
|
- The tests used for PAM talk 1
|
2005-01-11 10:12:01 +00:00 |
|
ccremers
|
9a5e9d674a
|
- Removed some debugging output.
|
2005-01-11 10:03:34 +00:00 |
|
ccremers
|
5e78172162
|
- Added timer constraints to the multi-protocol test.
|
2005-01-05 15:45:26 +00:00 |
|
ccremers
|
ec86107800
|
- Commented some protocols.
|
2005-01-05 15:45:14 +00:00 |
|
ccremers
|
e0e56964d1
|
- Added a --timer=x switch to abort Arachne proofs after x seconds.
|
2005-01-05 15:29:27 +00:00 |
|
ccremers
|
45c42408dd
|
- Added weight level to proof output in <..> notation.
- Added selection factor for singular variables (not rolenames)
|
2004-12-29 19:40:12 +00:00 |
|
ccremers
|
54ccd5179e
|
- Added a new selector that picks goals that are local variables.
|
2004-12-29 16:05:32 +00:00 |
|
ccremers
|
d425bdb850
|
- For now, set equal weights to the parameters.
|
2004-12-29 14:24:33 +00:00 |
|
ccremers
|
7309bb5550
|
- Fixed debug comment.
|
2004-12-29 14:18:13 +00:00 |
|
ccremers
|
5e695097f2
|
- Reimplemented the weight functions for goal selection.
- Added --goal-select function, defaults to 3.
|
2004-12-29 14:17:49 +00:00 |
|
ccremers
|
2d978f3232
|
- Modified some small issues, made the protocol list static, and allowed
"comment lines" starting with '#' in the test script.
|
2004-12-17 15:54:48 +00:00 |
|
ccremers
|
93ab6a29f4
|
- Omitted some addnew tests, although they ought to work.
|
2004-12-09 15:45:14 +00:00 |
|
ccremers
|
635470d976
|
- Added -d switch.
|
2004-12-09 15:27:50 +00:00 |
|
ccremers
|
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.
|
2004-12-09 15:11:45 +00:00 |
|