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 |
|
ccremers
|
dda2907492
|
- Implemented output method selector, sys->output.
- Changed disable-report switch into --empty.
- --scenario=-1 now displays a list of scenarios. Use wc -l to count
them.
|
2004-07-29 10:13:13 +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
|
a86e44dac6
|
Modifications for Elegast cluster.
|
2004-07-28 13:40:09 +00:00 |
|
ccremers
|
7aaed2dc90
|
- Added a reporting script, intended for parallel computations.
|
2004-07-28 12:40:16 +00:00 |
|
ccremers
|
d62a8d89e1
|
- Of course, errors have a higher priority.
|
2004-07-28 12:23:42 +00:00 |
|
ccremers
|
42e5efedac
|
- When counting scenarios, the exit code reflects the number of
scenarios.
|
2004-07-28 12:22:40 +00:00 |
|
ccremers
|
1ba63d16d4
|
- Scyther now reports a 1 exit code (error) when a scenario number is
selected that is too large.
|
2004-07-28 12:03:42 +00:00 |
|
ccremers
|
472de3b526
|
- Added switch --choose-first.
- Added switch --scenario (-s), to enable scenario exploration only.
Use --scenario=-1 to count the number of possible scenarios.
|
2004-07-28 11:39:08 +00:00 |
|
ccremers
|
289f71846b
|
- Improved graph output for printing purposes.
|
2004-07-26 12:43:19 +00:00 |
|