Commit Graph

938 Commits

Author SHA1 Message Date
ccremers
15a56b07fc - Cleanup. 2005-12-22 10:41:23 +00:00
ccremers
7ee029dc41 - Also moved nsl3. 2005-12-22 10:40:21 +00:00
ccremers
64f041e176 - Moved many old protocols to the misc directory. 2005-12-22 10:38:00 +00:00
ccremers
e82ce8b962 - Added --no-intruder switch, but it is currently broken. 2005-12-21 19:02:41 +00:00
ccremers
00e49601eb - Modified the multinsl generator to also be able to generate bke
variants (--protocol bke).
2005-12-21 18:44:34 +00:00
ccremers
aab5328a9b - Added a note. 2005-12-09 13:15:34 +00:00
ccremers
87de97d578 - More Python help. 2005-12-05 15:51:25 +00:00
ccremers
b5f627054e - Some improvements to Python usage. 2005-12-05 15:35:00 +00:00
ccremers
40d5991ad0 - Added some notes.
- Added extraction of asymmetric keys.
2005-12-05 14:58:35 +00:00
ccremers
f3f381cb36 - Big progess. Nonces are renamed automatically, knowledge updates are
handled.
2005-12-05 14:28:09 +00:00
ccremers
35b9c84fc9 - Loop detection added, ignoring them for now. 2005-12-05 11:26:05 +00:00
ccremers
cd8f8db0a8 - Better parsing of multiple branching constructs.
TODO: No handling of loops yet.
2005-12-05 11:16:06 +00:00
ccremers
21834257a2 - Added session data. 2005-12-04 18:43:37 +00:00
ccremers
6958516d70 - Improvements troughout. 2005-12-04 18:42:24 +00:00
ccremers
9e2a144e5f - Skeleton output of messages is done. 2005-12-04 16:41:43 +00:00
ccremers
951794a7ac - Added spdl generator initials. 2005-12-04 14:46:37 +00:00
ccremers
8dd9dfb901 - Nice, we can almost extract the messages now. 2005-12-04 13:58:50 +00:00
ccremers
cb62517cd9 - Rewrote quite some code, better basic Message handling. 2005-12-04 13:28:05 +00:00
ccremers
4a638edb72 - Much progress made. However, still an empty encrypted term. 2005-12-03 17:39:35 +00:00
ccremers
7637d8a263 - More improvements. 2005-12-03 16:48:10 +00:00
ccremers
290e5a8b5c - Started a new Ifparser. 2005-12-03 16:12:58 +00:00
ccremers
8f222c9bb7 - Slow, but seems to work like a charm. 2005-11-29 15:00:36 +00:00
ccremers
dbc5d62ef6 - Much improved parser. 2005-11-29 14:16:36 +00:00
ccremers
6543a8f659 - Added '--extravert' switch, which avoids initiator Alice to talk to
Alice.
2005-11-29 09:15:16 +00:00
ccremers
8b736ede0e - Much work on the new style parser. 2005-11-28 14:31:16 +00:00
ccremers
5276630007 - FIX: DOS newlines are now also accepted. 2005-11-28 08:27:05 +00:00
ccremers
08f590f73d - More progress, enough for now. 2005-11-16 19:50:40 +00:00
ccremers
b436d4923a - Starting to get better, almost got terms out of initial knowledge. 2005-11-16 19:37:42 +00:00
ccremers
65920fb7fc - Added Type info to terms. 2005-11-16 19:07:57 +00:00
ccremers
60d6a10b04 - Added Gijs' stuff. 2005-11-16 19:07:19 +00:00
ccremers
58f3aafc65 - Much improved. 2005-11-16 18:19:50 +00:00
ccremers
5c065a7bba - Started generator. 2005-11-16 16:49:47 +00:00
ccremers
9e5a076d7d - Added test file.
- Created main file.
2005-11-16 16:44:56 +00:00
ccremers
2fe91a2eb1 - Made a start with if2spdl parser. 2005-11-16 16:24:18 +00:00
ccremers
e51b54af23 - FIX: Instantiation of variables is now the default.
- NEW: -C --class switch to reset this.
- NEW: max runs is now 6 by default for usability. For unbounded search,
  use -r 0 or --maxruns=0
2005-11-12 21:26:50 +00:00
ccremers
41132afea3 - Finally fixed the 'IV', 'RV' nuissance for global variables such as
the role names.
2005-11-12 21:16:02 +00:00
ccremers
76666404b0 - Added '--concrete' switch to fill in to pick readable names for
variables.
2005-11-12 21:13:00 +00:00
ccremers
1527773ae2 - Added Boyd's NSL fix, which is broken. 2005-11-09 11:51:38 +00:00
ccremers
c1c0b856de CHG: Changed default behaviour to Arachne engine.
NEW: Added 'S' switch for --summary things.
2005-11-04 13:23:30 +00:00
ccremers
5e1ca56f87 - Added experimental feature: explicit unique origination. This has to
be investigated further, because it seems to reduce just a few states.
  Note to Gijs: stay away from this, you should be writing your thesis.
2005-10-08 20:57:39 +00:00
ccremers
9f8f04c41c - Switched to the new consistency checking base. 2005-10-08 20:47:31 +00:00
ccremers
2ead7ab2ff - Improved code for new preferred order swapping of substitutions. Also
included more comments.
2005-10-08 20:22:24 +00:00
ccremers
2e495099bb - Added functions to globally check variable substitution consistency. 2005-10-08 20:03:31 +00:00
ccremers
2452a34671 - Added 'termlistMinusTermlist' function.
- Added TERMLISTERROR constant, and corresponding tests.
  Note that this will not work in many contexts, because only NULL is
  usually considered to be a special value. It is purely intended for
  the new type evaluation functions in type.c.
2005-10-08 19:56:04 +00:00
ccremers
fe730716ca - Added 'agenttypecheck' switch. 2005-10-08 19:54:30 +00:00
ccremers
a3b009f119 - The state of sys->variables was not maintained correctly, because
terms were destroyed before it could be tested whether they were in
  sys->variables. Thus, garbage was left in sys->variables. This has
  gone undetected because it was never really used. Hmpf.
2005-10-08 19:53:10 +00:00
ccremers
ea5bc6893f - Slightly smarter substitution in the symmetric case, when we make Var1
equivalent to Var2.
2005-10-07 20:38:41 +00:00
ccremers
83bf0ec704 - Added tuple_to_termlist function. 2005-10-07 14:02:46 +00:00
ccremers
1c075db161 - Added '--experimental=<int>' switch for debug version. 2005-10-07 13:09:07 +00:00
ccremers
8d9891fee0 - Added some todo stuff. 2005-10-03 08:19:58 +00:00