ccremers
|
269b5c7646
|
- Introduced the 'force-choose' switch, which helps the symmetry
reduction algorithm along, notably.
|
2004-07-14 09:33:55 +00:00 |
|
ccremers
|
1efa77859f
|
- Removed choose warnings for now.
|
2004-07-14 08:33:28 +00:00 |
|
ccremers
|
81c6be826e
|
- Initial symmetry reduction. Gives a lot of warnings currently.
|
2004-07-14 08:17:49 +00:00 |
|
ccremers
|
a5efc6106a
|
- Static run symmetry detection seems to work just fine.
- Added 'warning' call to error.h
|
2004-07-14 07:31:01 +00:00 |
|
ccremers
|
508d49efbb
|
- Added local step index to runs.
|
2004-07-14 06:55:05 +00:00 |
|
ccremers
|
5bb5f610fb
|
- Added -t9 search, which does the chooses first. Doesn't seem to differ
much from -t8 though.
|
2004-07-13 20:20:58 +00:00 |
|
ccremers
|
33441613e4
|
- Added BKE versions used in secrecy reduction article.
|
2004-07-13 19:36:13 +00:00 |
|
ccremers
|
8dee89217e
|
- Cleanup of todo list.
|
2004-07-13 15:27:38 +00:00 |
|
ccremers
|
39a2b4878c
|
- Debug of optimization.
- Put down skeleton of new idea, related to a lemma from Niek Palm's
work. This needs more investigating though.
|
2004-07-13 15:24:47 +00:00 |
|
ccremers
|
b6806f6aaf
|
- Significantly improved state reduction by scanning for states where no
claim is to be evaluated anymore. This needs some reporting, and
significantly alters comparisons with previous versions.
|
2004-07-13 13:34:04 +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
|
72be9a6441
|
- Moved the attack path display logic to output.c completely.
- Adjusting output slightly.
|
2004-07-13 12:19:03 +00:00 |
|
ccremers
|
6fa0f3904d
|
- Added more coloring.
|
2004-07-13 11:37:55 +00:00 |
|
ccremers
|
46da382950
|
- Fixed some old notation.
|
2004-07-13 11:37:45 +00:00 |
|
ccremers
|
df9b97e5bc
|
- If the --state-space switch is used, reporting is now always disabled.
|
2004-07-13 11:11:27 +00:00 |
|
ccremers
|
0c0a5021bb
|
- Improved the trace highlight in the state space, but it isn't as I
want it yet.
|
2004-07-13 11:10:06 +00:00 |
|
ccremers
|
ae6b85f290
|
- Improved graph coloring etc.
|
2004-07-13 09:56:19 +00:00 |
|
ccremers
|
410a35f4f4
|
- Fixed bug in attack output.
- Re-enabled the noreport switch.
|
2004-07-13 09:36:30 +00:00 |
|
ccremers
|
981f0a92b4
|
- Started working on coloring of the attack trace in the state space.
|
2004-07-13 09:14:03 +00:00 |
|
ccremers
|
4b4c934b9c
|
- Some hard-coded page sizing code.
|
2004-07-12 14:47:43 +00:00 |
|
ccremers
|
cd3025e04e
|
- Added preliminary support for state space printing using the dot
package. Use the "--state-space" switch.
|
2004-07-12 13:58:41 +00:00 |
|
ccremers
|
363f95977a
|
- Removed obsolete debugging output.
|
2004-07-12 13:57:59 +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
|
35c7ff1877
|
- Fixed some sanity checks in the computation of the preceding label
sets. This prevents a potential crash.
|
2004-07-05 09:37:31 +00:00 |
|
ccremers
|
a8130f10ee
|
- Some todo stuff.
|
2004-06-16 21:03:12 +00:00 |
|
ccremers
|
e2da17f198
|
- First files with ni-synch claims.
|
2004-06-16 15:43:55 +00:00 |
|
ccremers
|
f71bed06a1
|
- Present from Cas for Cas' birthday: Not thoroughly tested, but ni-synch seems to be working. Be careful to use the -t1 switch, or attacks will be missed.
|
2004-06-16 15:28:20 +00:00 |
|
ccremers
|
12bc0bf2f9
|
- Check in claims files.
|
2004-06-16 10:40:13 +00:00 |
|
ccremers
|
1900f7d4fb
|
- Preceding label sets are now correctly computed.
|
2004-06-16 10:39:13 +00:00 |
|
ccremers
|
9634034ebb
|
- First broken steps towards prec() computation for each claim label.
|
2004-06-14 22:08:47 +00:00 |
|
ccremers
|
0e0f52c6aa
|
- Initial work to facilitate agreement and synchronisation claims. Isn't
incorporated in the real code yet, I'm just writing the base code.
|
2004-06-14 09:15:42 +00:00 |
|
ccremers
|
1c345c4955
|
- Modified error reporting setup.
- Updated some of the error reporting code, but not all.
|
2004-06-13 21:42:29 +00:00 |
|
ccremers
|
19724dd086
|
- Fixed speedtest output.
|
2004-06-13 21:41:52 +00:00 |
|
ccremers
|
5a99deb52d
|
- Re-enabled timing.
|
2004-06-13 21:15:26 +00:00 |
|
ccremers
|
8e1c3685d4
|
- Moved some redundant checks for knowledge tuple adding, making it slightly
faster.
- Fixed some error reporting to go to stderr.
|
2004-06-13 21:15:14 +00:00 |
|
ccremers
|
bd76b63a37
|
- Added error.c and error.h to the Makefile template.
|
2004-06-13 20:59:28 +00:00 |
|
ccremers
|
7411f89976
|
- Fixed two Doxygen warnings.
|
2004-06-13 20:58:54 +00:00 |
|
ccremers
|
72e3eb6292
|
- Added error procedure.
|
2004-06-12 14:20:07 +00:00 |
|
ccremers
|
7346247f62
|
- Fixed 2 protocols.
|
2004-06-12 13:10:17 +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
|
d14d5ce06b
|
- Added exit codes and use these in testl script.
|
2004-05-26 19:40:40 +00:00 |
|
ccremers
|
ca01a09377
|
- Many ansi updates.
|
2004-05-26 12:17:09 +00:00 |
|
ccremers
|
b5ddd75d95
|
- Rewrote mindwipe to ansi variant.
|
2004-05-26 09:34:08 +00:00 |
|
ccremers
|
112e3799ab
|
- grmbl fix previous commit.
|
2004-05-26 08:54:18 +00:00 |
|
ccremers
|
06f2978dbe
|
- More ansi fixes.
|
2004-05-26 08:52:15 +00:00 |
|
ccremers
|
ada4033fbe
|
- Fixed some non-ANSI initial assignment.
|
2004-05-26 08:49:36 +00:00 |
|
ccremers
|
db0c34c1e5
|
- Removed an optionally required include.
|
2004-05-26 08:46:44 +00:00 |
|