ccremers
|
8b30526a57
|
- Added a note about inversekeys in a role definition.
|
2006-01-07 13:28:13 +00:00 |
|
ccremers
|
d9b0f412e4
|
- Added a good idea.
|
2006-01-06 12:11:32 +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
|
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
|
d2ac518234
|
- Fixed typo in --help (noted by Sjouke)
- State-space should generate classes.
|
2005-12-30 15:11:39 +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
|
ff503b24af
|
- Added some todo stuff for the very near future.
|
2005-12-26 16:45:16 +00:00 |
|
ccremers
|
c330a5b719
|
- Added some thoughts.
|
2005-08-21 21:36:00 +00:00 |
|
ccremers
|
4cbf2383f7
|
- Addition.
|
2005-08-01 12:59:05 +00:00 |
|
ccremers
|
a1fdbe119f
|
- Incorporated untrusted agents list (<untrusted> element in attack,
containing a <termlist>)
- <commandline><arg>./scyther</arg> <arg>-x</arg>... is now available.
|
2005-07-01 13:46:18 +00:00 |
|
ccremers
|
6a3e57913c
|
- Quick addition of Gijs' suggestions.
|
2005-07-01 13:27:38 +00:00 |
|
ccremers
|
a06b3037a4
|
- Added Scons suggestion.
|
2005-04-15 10:02:22 +00:00 |
|
ccremers
|
88e2f3d26c
|
- Added a better reverse-engineered variation of the Athena goal
selector.
- Added an idea that might make searches somewhat faster.
|
2005-03-11 20:41:59 +00:00 |
|
ccremers
|
b1c1ba455e
|
- Added a good idea.
|
2005-02-21 15:15:22 +00:00 |
|
ccremers
|
bdc336d7f9
|
- Todo list is now handled by the wiki:
http://www.win.tue.nl/~ccremers/twiki/bin/view.pl/Scyther/ScytherBug
|
2004-10-29 14:15:35 +00:00 |
|
ccremers
|
234edae741
|
- Added sort of bug report.
|
2004-10-27 16:32:44 +00:00 |
|
ccremers
|
3cda6e53fa
|
- Another important issue.
|
2004-10-20 15:59:23 +00:00 |
|
ccremers
|
7b3cb4dfb9
|
- To test.
|
2004-10-18 14:36:43 +00:00 |
|
ccremers
|
8a7369a84e
|
- Some stuff about empty preceding label sets and Arachne.
|
2004-10-18 13:49:41 +00:00 |
|
ccremers
|
4b10c7f151
|
- Added priorities.
|
2004-10-16 22:03:33 +00:00 |
|
ccremers
|
abad7044dd
|
- Added thingy.
|
2004-10-15 19:53:04 +00:00 |
|
ccremers
|
795f28006d
|
- Added some thoughts.
|
2004-10-14 20:49:49 +00:00 |
|
ccremers
|
9ac12f9198
|
- More serious problem found.
|
2004-10-14 14:33:22 +00:00 |
|
ccremers
|
123b12a1c0
|
- Problems with Splice/AS suggest heuristic improvements.
|
2004-10-14 14:30:27 +00:00 |
|
ccremers
|
2bc1df6135
|
- Improved readability of printed claims.
- Fixed comment.
|
2004-10-14 13:19:36 +00:00 |
|
ccremers
|
40584ba6bd
|
- Noted some stuff about graph computations, so that I won't forget
this.
|
2004-10-12 18:08:01 +00:00 |
|
ccremers
|
d64badefdc
|
- Found a problem with type flaw attacks.
|
2004-10-12 15:23:03 +00:00 |
|
ccremers
|
02e99761ae
|
- Split roleInstance into two more managable parts.
|
2004-09-20 12:40:01 +00:00 |
|
ccremers
|
be366afa0e
|
- A good reduction idea for secrecy added to the todo list.
|
2004-09-07 09:56:06 +00:00 |
|
ccremers
|
8570465e48
|
- More todo.
|
2004-09-01 19:11:06 +00:00 |
|
ccremers
|
a673ea4ad1
|
- Write down, so that we don't forget.
|
2004-08-31 08:58:50 +00:00 |
|
ccremers
|
5035a35d51
|
- Bug spotted.
|
2004-08-28 17:28:14 +00:00 |
|
ccremers
|
6c2730af1a
|
- Added some todo stuff.
|
2004-08-27 19:29:41 +00:00 |
|
ccremers
|
0fc008fe33
|
- Added keylevels to symbols. This is to help pruning the proofs, for
terms and patterns that do not originate on regular nodes.
|
2004-08-20 19:16:56 +00:00 |
|
ccremers
|
bf2cbb5540
|
- Updated the todo list.
|
2004-08-20 09:26:34 +00:00 |
|
ccremers
|
7308791c83
|
- More todos.
|
2004-08-20 08:01:35 +00:00 |
|
ccremers
|
d73351ace7
|
- Added a good idea for the output.
|
2004-08-18 21:44:30 +00:00 |
|
ccremers
|
b1259e4b03
|
- Updated todo list.
|
2004-08-18 20:13:13 +00:00 |
|
ccremers
|
046eb67e78
|
- Some stuff has been fixed, so can be removed from the todo list.
|
2004-08-18 19:46:25 +00:00 |
|
ccremers
|
911e9e4e94
|
- Updated todo list.
|
2004-08-14 18:08:23 +00:00 |
|
ccremers
|
ac174b8130
|
- The work for the non-intruder Arachne part is now mostly done.
|
2004-08-11 21:04:52 +00:00 |
|
ccremers
|
4d1362cb1b
|
- Implemented --check=Secret switch, which allows checking of specific
properties.
- Fixed a bug in the symbol table, where symbols were never inserted
into the hash table.
|
2004-08-09 09:42:58 +00:00 |
|
ccremers
|
cd0dce31f3
|
- Minor cleanup.
|
2004-07-30 12:11:05 +00:00 |
|