ccremers
2830c8e8ff
- Fixed some Doxygen documentation errors.
2006-03-08 12:38:39 +00:00
ccremers
1678577ce0
- Improved proof reports.
...
- Minor (epsilon type) efficiency improvement.
2006-03-05 15:18:39 +00:00
ccremers
c7605d03a3
- Added problem.
2006-03-01 08:36:09 +00:00
ccremers
527bf8baa5
- Better error reporting for local order constraints.
2006-02-28 15:33:12 +00:00
ccremers
4064d8ca65
- Improvements to the testing suite.
2006-02-28 15:06:21 +00:00
ccremers
f3d94b8e0d
- Removed old hack lemmas by clean ones.
2006-02-28 15:01:58 +00:00
ccremers
282c0d5094
- --experimental is now available in the normal version, but for experts
...
only.
2006-02-28 14:06:12 +00:00
ccremers
a4429d548f
- Turned 'hidden' term lemma back on by default.
2006-02-28 13:57:38 +00:00
ccremers
00616e45ed
- Bit masking was incorrect: & binds less strong than == !
...
This caused many of the --experimental switches not to work.
2006-02-28 13:41:36 +00:00
ccremers
cf832ca1b1
- Seems to work again, but further testing is needed.
2006-02-27 22:27:09 +00:00
ccremers
b49d13b6ee
- [[[ Broken commit. ]]]
...
Stuff seems to be working again, slightly less efficient though (count
states).
2006-02-27 16:08:17 +00:00
ccremers
bb16bd755e
- Print states in a more countable format.
2006-02-27 15:20:37 +00:00
ccremers
c22173e5ee
- [[[ Broken commit ]]]
...
More work on the arachne multiple-decryptor. Horrific.
2006-02-26 20:01:22 +00:00
ccremers
95df010a54
- [[[ Broken commit ]]]
...
More intermediate work.
2006-02-26 17:18:59 +00:00
ccremers
0ce88af6ac
- [[[ Broken commit ]]]
...
Committing partial new Warshall work because it is getting too big.
2006-02-26 15:00:58 +00:00
ccremers
8995bc4d28
- Better reporting, better analysis.
...
- End result now weighed according to undecided^2 * states, making the
decidability a more important factor.
2006-02-24 12:50:04 +00:00
ccremers
1d3d154a2f
- If the timebound is hit, it should be reported anyway, because the
...
results are not to be trusted anymore.
2006-02-23 16:21:25 +00:00
ccremers
bc61255a78
- Added timeout information.
2006-02-23 16:10:52 +00:00
ccremers
1aa77eec27
- Limit heuristics to sensible values.
2006-02-23 15:54:26 +00:00
ccremers
b16023bf0e
- Cleaned up heuristic code. Note that there is a "hidden" heuristic:
...
implicitly, older goals are resolved first, if some goals have equal
weights. This is encoded in the "w <=" comparison; if this is set to
"w <", the heuristic becomes much less effective.
2006-02-23 15:03:43 +00:00
ccremers
10d44ad611
- Added cache clearing script.
2006-02-23 10:54:11 +00:00
ccremers
5d8bc6bb0e
- Default is to only test protocols from SPORE.
2006-02-23 10:51:18 +00:00
ccremers
819b12b759
- Space instead of comma for testing.
2006-02-23 10:50:32 +00:00
ccremers
c3a42e7df4
- Added protocol counter.
2006-02-23 10:49:53 +00:00
ccremers
97c634e772
- Improved protocol lists.
2006-02-23 10:49:38 +00:00
ccremers
ec4cb6eb68
- Include version number in cache id.
2006-02-23 10:49:23 +00:00
ccremers
24832d641d
- Some compatibility fixes.
2006-02-23 10:49:06 +00:00
ccremers
f333fb8276
- Explicit casts.
2006-02-23 10:44:44 +00:00
ccremers
0a74c87934
- Added some new heuristics testing.
2006-02-23 09:39:02 +00:00
ccremers
8f896432d1
- Added some stuff on the new graph code.
2006-02-22 16:58:11 +00:00
ccremers
f376260512
- Changed default heuristic to 34.
2006-02-22 15:57:55 +00:00
ccremers
494d02a524
- Modified some scripts, in particular to get compareheuristics to work
...
with the new versions of Scyther.
2006-02-22 15:49:32 +00:00
ccremers
41e797413c
- Added new heuristics based on hidelevel results.
...
Preliminary results:
1. For typed matching, either heuristic 32 or 34 are best, and far
superior to the previous best (3).
2. For untyped matching, partial tests indicate that heuristic 1 is
best, which is rather interesting.
2006-02-22 15:48:58 +00:00
ccremers
921c82876d
- experimental=4 now disables some things. Weirdly enough, they don't
...
seem to make much difference.
2006-02-22 09:53:50 +00:00
ccremers
dbc0a3583d
- Better setup for --experimental= switch using bit masks.
2006-02-22 08:55:42 +00:00
ccremers
10b6793d97
- More cleaning of switches.
2006-02-22 08:47:22 +00:00
ccremers
5ddcdfed22
- Added --long-help and -E, --expert switches.
2006-02-22 08:41:06 +00:00
ccremers
b2e40e07f3
- Some more work on hidelevel backbone.
...
- Added '--count-states' switch for the Arachne engine.
2006-02-22 08:24:29 +00:00
ccremers
d3f2971181
- Reindent script was improved (and consequences added)
2006-02-21 21:35:14 +00:00
ccremers
5d2d836d07
- Much work for the skeleton of the Hidelevel lemma.
2006-02-21 20:29:05 +00:00
ccremers
bb7259a1ad
- Removed some too interesting pruning methods that really need theorems
...
first. Revealed by the certified e-mail protocol by Abadi and
Blanchet.
2006-01-17 16:18:26 +00:00
ccremers
3ed59b867a
- Added an idea.
2006-01-17 12:30:16 +00:00
ccremers
f0715c030d
- Stored good idea.
2006-01-09 11:56:44 +00:00
ccremers
baf1856943
- Added some tokens for future usage: 'function', 'hashfunction',
...
'knows', 'trusted'.
2006-01-09 09:38:17 +00:00
ccremers
8b30526a57
- Added a note about inversekeys in a role definition.
2006-01-07 13:28:13 +00:00
ccremers
96e7a32bff
- Added '--unbounded' switch.
2006-01-06 12:46:04 +00:00
ccremers
8b1d714b73
- Minor changes.
2006-01-06 12:45:48 +00:00
ccremers
99861d3e03
- Added '--untyped' switch which is to be preferred above the older
...
--match=2 notation.
2006-01-06 12:23:11 +00:00
ccremers
d9b0f412e4
- Added a good idea.
2006-01-06 12:11:32 +00:00
ccremers
4ad0cf714b
- Better distribution text and stuff.
2006-01-04 14:13:48 +00:00
