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 |
|
ccremers
|
d5db3ca0e2
|
- Current Elegast scripts are not suitable for -t9 because scenario
counting through the exit code is too limited. Fix.
|
2004-07-28 23:47:22 +00:00 |
|
ccremers
|
7e80d048d7
|
- Added reminder of this strange behaviour to todo.txt.
|
2004-07-21 14:06:03 +00:00 |
|
ccremers
|
b70255ddbc
|
- Fix symmetry reductions, choose might interfere with this.
|
2004-07-16 21:17:32 +00:00 |
|
ccremers
|
8dee89217e
|
- Cleanup of todo list.
|
2004-07-13 15:27:38 +00:00 |
|
ccremers
|
6d9c47a029
|
- Modelchecker now avoids some redundant traces. This should yield a
25-30 percent decrease of states for most cases tested sofar.
|
2004-07-13 12:36:50 +00:00 |
|
ccremers
|
ac4efcd63a
|
- Added todos.
|
2004-07-12 09:26:25 +00:00 |
|
ccremers
|
ab72755bf5
|
- Function considerations.
- M_0 considerations.
|
2004-07-09 14:54:14 +00:00 |
|
ccremers
|
aa564d7ccc
|
- State counter issue should be fixed.
|
2004-07-09 09:30:32 +00:00 |
|
ccremers
|
a8130f10ee
|
- Some todo stuff.
|
2004-06-16 21:03:12 +00:00 |
|
ccremers
|
bd4530de77
|
- Note about invisible errors.
|
2004-06-02 13:06:45 +00:00 |
|
ccremers
|
f96e05d260
|
- Made note about memory leak suspicion.
|
2004-06-02 12:33:13 +00:00 |
|