Commit Graph

47 Commits

Author SHA1 Message Date
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
ccremers
448520d38a - Fix todo list. 2004-05-24 17:44:30 +00:00
ccremers
1768b4abea - Remove {( )} inner brackets in LaTeX output. 2004-05-18 20:41:51 +00:00
ccremers
8930a69048 - Idea for M_0 knowledge. 2004-05-13 14:59:03 +00:00
ccremers
e93a6cd462 - Todo. 2004-05-12 20:27:27 +00:00
ccremers
97f178aee5 - By default, a state progress counter is displayed on stderr. 2004-04-23 15:02:24 +00:00
ccremers
0f4e6a5aba - Moved everything about. 2004-04-23 10:58:43 +00:00