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 |
|
ccremers
|
515dec7f8b
|
- Added note on usage of '~' in SCYTHERDIR.
|
2005-12-29 10:56:09 +00:00 |
|
ccremers
|
ab2f2469c0
|
- Added help text for the environment variables.
|
2005-12-29 09:35:08 +00:00 |
|
ccremers
|
1aca8460a3
|
- SCYTHERDIR environment variable is now used: colon-separated list of
directories to search. Oblivious to trailing slashes.
|
2005-12-29 09:25:42 +00:00 |
|
ccremers
|
efb3ec232b
|
- Added some new thoughts, cleaned up old ones.
|
2005-12-28 22:52:22 +00:00 |
|
ccremers
|
d21f292330
|
- Renamed '--monochrome' to '--plain', which is nicer and shorter.
|
2005-12-28 18:40:58 +00:00 |
|
ccremers
|
3686a69869
|
- Added SCYTHERFLAGS environment variable.
|
2005-12-28 16:33:08 +00:00 |
|
ccremers
|
ab75acea62
|
- Added colour output, with --monochrome switch to disable this.
|
2005-12-28 15:27:22 +00:00 |
|
ccremers
|
e19f8bddd1
|
- Improved Reachable claims output
- Use square brackets for remark output instead of normal brackets.
|
2005-12-28 14:42:46 +00:00 |
|
ccremers
|
bceaca28f0
|
- Improved some type of warnings for e.g. empty prec sets andsoforth.
|
2005-12-28 14:25:06 +00:00 |
|
ccremers
|
72162e82c6
|
- Some cleanup.
|
2005-12-28 12:13:17 +00:00 |
|
ccremers
|
39adf85c6a
|
- Reverted previous version: Tickets can possibly be secret as well
(although this is dubious, as the claiming role will not know the
contents in many cases)
|
2005-12-28 12:04:00 +00:00 |
|
ccremers
|
dce2befd50
|
- Don't add secrecy claims for ticket types.
|
2005-12-28 11:59:39 +00:00 |
|