ccremers
a3828a028f
- Fixed the very annoying bug! The problem was in roleInstance for
...
Arachne. When a subst was carried out by an Rolename->compoundTerm
substitution, the compound term was not duplicated, and this caused
problems at roledef destruction.
2004-08-13 14:35:22 +00:00
ccremers
ff224fee8a
- Some cleanup.
...
- Added iteration limit, just enough to show the error.
2004-08-13 13:25:25 +00:00
ccremers
eb55dbe35d
- Fixed another '&' error.
2004-08-13 12:14:58 +00:00
ccremers
887b2f3a80
- Made indentDepth availabe in non-debug modes.
2004-08-13 11:11:59 +00:00
ccremers
43caf1707e
- Stupid layout fix.
2004-08-13 10:52:20 +00:00
ccremers
54d857ca3c
- Fixed a bug in mgu.c (& instead of &&)
...
- scons shared=yes is now okay for Valgrind.
2004-08-13 10:50:56 +00:00
ccremers
758cb88c8c
- Some POR optimizations in roleInstance were disabled for Arachne.
2004-08-13 10:28:20 +00:00
ccremers
70e5b98d37
- Added more intruder constructs.
2004-08-13 10:25:23 +00:00
ccremers
9153b06012
- Cleanup, improvements across the board.
2004-08-13 08:29:11 +00:00
ccremers
8fcdc9384e
- Removed crappy debug effort.
2004-08-12 13:23:21 +00:00
ccremers
b9f4d11d0a
- Some cleanup writes, e.g. making initalisation code order correspond
...
to struct field order.
2004-08-12 13:22:49 +00:00
ccremers
032d322952
- Fixed a bug with role destruction: the intruder goal term was not
...
duplicated, but destroyed nevertheless.
2004-08-12 12:37:30 +00:00
ccremers
0862ce20da
- Added more detailed debug output for Arachne.
...
- Fixed a header problem for compiler.c.
2004-08-12 12:28:57 +00:00
ccremers
2005aa929e
- Removed some obsolete commenting.
2004-08-12 12:03:20 +00:00
ccremers
7df10cf568
- Added role/protocol adding constructs for the intruder with Arachne.
2004-08-12 11:55:03 +00:00
ccremers
293c29b88e
- Added generic indent for Arachne.
...
- Some more error reporting.
2004-08-12 11:35:13 +00:00
ccremers
1791699c01
- Moved roledef_shift to role.c
2004-08-12 11:22:49 +00:00
ccremers
fe960cfb6a
- Added termlist iterator.
...
- Fixed role instance resetting role var substitutions.
2004-08-12 09:28:50 +00:00
ccremers
0f470cf6a2
- Rewrote roleInstance to cope with Arachne needs.
...
- Introduced some iterators for e.g. term leaves and roledefs. These are
not used everywhere yet.
2004-08-12 09:14:31 +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
ec8b515218
- Added more important bits.
2004-08-11 15:05:13 +00:00
ccremers
2191d80885
- Lots of stuff starts to take shape. Nice.
2004-08-11 14:09:12 +00:00
ccremers
f30207b059
- More logic.
2004-08-11 12:08:10 +00:00
ccremers
b74567b2e0
- Added more outlining for the arachne system.
2004-08-11 11:22:20 +00:00
ccremers
9cf3bf3da3
- Setup main arachne infrastructure.
2004-08-11 09:51:17 +00:00
ccremers
0008b58739
- Fixed wrong comment.
2004-08-11 08:20:22 +00:00
ccremers
742a65bac1
- Added claim symmetry reduction; this doesn't help much for lower
...
number of runs. It is on by default.
2004-08-11 08:17:49 +00:00
ccremers
1f96c9077a
- Added bind_run and bind_index for goal bindings to the roledef stuff.
2004-08-10 15:17:00 +00:00
ccremers
7fbd43986f
Preparations for Arachne.
...
- roleInstanceDestroy is very much needed.
- fixed bug in maxruns maintenance for incRuns.
- Arachne does not use run knowledge.
2004-08-10 15:02:37 +00:00
ccremers
028c3a03f2
- Bugfix.
2004-08-10 11:26:14 +00:00
ccremers
ca4c0c8869
- Added shift and length operations for generic lists.
2004-08-09 21:44:16 +00:00
ccremers
01d914314e
- Promoted sys to the global system state. Convenient for arachne
...
iterations.
2004-08-09 21:43:55 +00:00
ccremers
246c0c1c23
- Added termMguSubTerm and termMguInTerm
2004-08-09 21:22:24 +00:00
ccremers
a096aac6dd
- Added a note with inverseKey as for how to remove it.
2004-08-09 21:22:06 +00:00
ccremers
acc29656c6
- Added generic list library.
2004-08-09 20:15:05 +00:00
ccremers
8f501b1620
- Improved status output.
2004-08-09 10:41:25 +00:00
ccremers
71c658051e
- Reindented everything, so the layout is up to date again.
2004-08-09 10:05:58 +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
4d154e8126
- Added knowledgePrintShort for knowledge displays without newlines.
2004-08-06 11:59:27 +00:00
ccremers
cd0dce31f3
- Minor cleanup.
2004-07-30 12:11:05 +00:00
ccremers
15fcbf8090
- Added scen_st to the output, which lists the number of states in the
...
specific scenario.
2004-07-30 12:04:38 +00:00
ccremers
d75e3af55c
- Added the trace prefix cutter. Goody.
2004-07-29 14:47:46 +00:00
ccremers
331569c9a8
- Added '--echo' to stdout the commandline. Useful for reporting.
2004-07-29 13:15:29 +00:00
ccremers
c88c1d4461
- Removed --claims flag again.
...
- Now new reporting on stderr, with claim details.
- Added '--summary' to redirect this report to stdout.
2004-07-29 13:08:27 +00:00
ccremers
17c6fe5136
- Fixed some more printf usages, that should now be handled by eprintf.
2004-07-29 12:47:57 +00:00
ccremers
523b0ffd32
- Added --claims flag for some detailed output on claim violations.
2004-07-29 12:36:24 +00:00
ccremers
d2a639b314
- More informative claim displays.
2004-07-29 12:04:53 +00:00
ccremers
d181365e3e
- Removed some old-fashioned defines, replacing them with enum constants.
2004-07-29 11:26:59 +00:00
ccremers
b22667a791
- Fixed termlist printing.
2004-07-29 11:15:07 +00:00
ccremers
75ecbf4346
- Reordered some switches.
...
- Inverted progress bar behaviour: default is off. Enable with -b.
2004-07-29 11:02:07 +00:00