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
ccremers
937fe6f6e4
- Added distribution production package.
2006-01-04 14:02:56 +00:00
ccremers
92342683f5
- Cleanup of unused structure.
2006-01-03 11:34:48 +00:00
ccremers
c9eaf1f95f
- Minor stuff.
2006-01-03 11:34:27 +00:00
ccremers
066bc810d8
- Notes on the warshall algorithm that is currently taking a third of
...
processing time, which is way too much.
2006-01-02 21:19:53 +00:00
ccremers
da75862d82
- Huge code documentation effort.
2006-01-02 21:06:08 +00:00
ccremers
6676266f4a
- More refactoring to improve the code.
2006-01-02 20:18:47 +00:00
ccremers
e6505a72a3
- Further refactoring.
...
- Some cleanup.
2006-01-02 19:55:34 +00:00
ccremers
a5acc4984a
- More refactoring for Arachne. Slowly we're getting somewhere.
2006-01-02 19:19:23 +00:00
ccremers
e592a0a432
- Refactoring code: splitting stuff out of arachne.c
2006-01-02 18:43:25 +00:00
ccremers
4023ef237e
- Some reindentation. Nothing interesting, just syntax.
2006-01-02 16:07:56 +00:00
ccremers
e21627442a
- Added 'singular' directive for roles. Syntax:
...
protocol ns3 (I,R)
{
singular role I:
{
}
}
2006-01-02 16:05:53 +00:00
ccremers
724faa8949
- Cleaned up some printf's and warnings in compiler.c
...
- Added warning for unspecified roles.
2006-01-02 15:29:41 +00:00
ccremers
6516741983
- More notes.
2006-01-02 15:10:40 +00:00
ccremers
25fe5b210e
- Idea about timestamps added.
2006-01-02 14:34:46 +00:00
ccremers
28f13aff26
- Added some final-day notes for 2005.
2005-12-31 19:34:50 +00:00
ccremers
441644e6d2
- Fixed the ECSS version copy.
2005-12-30 15:56:05 +00:00
ccremers
8c04a7517c
- Added script to copy the latest Scyther version to the ecss
...
repository.
2005-12-30 15:54:32 +00:00
ccremers
d2ac518234
- Fixed typo in --help (noted by Sjouke)
...
- State-space should generate classes.
2005-12-30 15:11:39 +00:00
ccremers
6f670d7ab6
- In xml output, renamed 'attack' tag to 'state', which in general
...
reflects better what it describes.
2005-12-30 12:17:25 +00:00
ccremers
4a363aa33c
- Bugfix: the single attack output adaptions from revision 1447 had
...
broken some of the xml output.
2005-12-30 12:03:19 +00:00
ccremers
ebf50b5252
- Removed the bold for complete proof.
2005-12-29 13:36:01 +00:00
ccremers
3b897c3872
- Added '--check' switch, to see whether your protocol terminates at all
...
if there is no intruder.
- Restructered many switches.
2005-12-29 12:52:51 +00:00
ccremers
a50245734d
- Fixed the broken '--no-intruder' switch.
2005-12-29 12:14:21 +00:00
ccremers
c79c9eb73f
- Added color output but forgot to add the sources files, fixed.
...
- Note: ~ is not expanded in SCYTHERDIR because it is not handled by the
shell; thus $HOME should be used.
2005-12-29 11:03:18 +00:00