ccremers
8930a69048
- Idea for M_0 knowledge.
2004-05-13 14:59:03 +00:00
ccremers
fc0272acfb
- It's working so nicely now that we can remove the manually set
...
constants altogether.
2004-05-13 14:52:38 +00:00
ccremers
c53bff4f39
- Huge modification, now allowing for parbox constructions. Nearly all
...
overlap is gone now.
2004-05-13 14:49:04 +00:00
ccremers
47a96937ac
- Layout improvements accross the board of the MSCs.
2004-05-13 10:06:21 +00:00
ccremers
e93a6cd462
- Todo.
2004-05-12 20:27:27 +00:00
ccremers
5bcd5d01ac
- Reran GNU indent.
2004-05-12 15:19:40 +00:00
ccremers
06105d8d63
- Fixed the latex knowledge printer, which was a strange omission.
2004-05-12 15:18:35 +00:00
ccremers
b865fa8f46
- Removed square brackets from latex termlist printing. This is however
...
still an issue for the knowledge print.
2004-05-12 15:16:11 +00:00
ccremers
102ed11c66
- Fixed the 'learns' order issue.
2004-05-12 15:13:21 +00:00
ccremers
11624b6903
- Initial knowledge of the intruder is now integrated as well.
2004-05-12 15:07:33 +00:00
ccremers
bcbaff93dd
- Removed some redundant code.
...
- Sends and reads now to intruder run.
- Intruder learn event on intruder run branch.
2004-05-12 14:56:45 +00:00
ccremers
fb803473ab
- Added a huge amount of comments in Lutger's code to make it more
...
readable.
2004-05-12 14:45:50 +00:00
ccremers
93dfcf6370
- Redirected some stuff to stderr.
2004-05-12 14:07:56 +00:00
ccremers
97f178aee5
- By default, a state progress counter is displayed on stderr.
2004-04-23 15:02:24 +00:00
ccremers
ec459dcbde
- Added the names of the involved protocols to the attack output.
2004-04-23 14:11:51 +00:00
ccremers
4cefc16543
- Removed the weird pre/postamble stuff that Sjouke asked for.
...
- Introduced an 'attacktemplate' file.
2004-04-23 13:23:33 +00:00
ccremers
8fda9c6d2b
- Fixed some changed paths.
2004-04-23 12:59:25 +00:00
ccremers
89300320fe
- Improved default behaviour, added '-' input signifier.
2004-04-23 12:55:10 +00:00
ccremers
c33df721a6
- Created input/output file arguments.
...
- Moved explanations from the command-line help to the documentation.
2004-04-23 12:43:50 +00:00
ccremers
2e2ccc32b8
- Moved the README. Now almost everything is where it belongs.
2004-04-23 11:59:19 +00:00
ccremers
8e8a465b21
- The lutger-todo file seems to have served no purpose, remove.
2004-04-23 11:06:32 +00:00
ccremers
6efcbdea62
- Re-indented the output and latex files.
2004-04-23 11:03:07 +00:00
ccremers
0f4e6a5aba
- Moved everything about.
2004-04-23 10:58:43 +00:00
ccremers
ca5202dc0c
- Better names.
2004-04-01 10:05:00 +00:00
ccremers
0de515fd7d
- Broken protocol for article.
2004-03-21 16:26:31 +00:00
ccremers
51e6225d60
- New algorithm for visualisation challenge.
2004-03-15 10:59:29 +00:00
ccremers
120113fe21
- This is required as well.
2004-03-10 07:19:27 +00:00
ccremers
5d9e893a44
- 'Simplest' protocol that shows postponing effort.
2004-03-09 16:07:02 +00:00
ccremers
dba0eab72b
- Modified for better table compared speedtest.
2004-03-08 07:35:47 +00:00
ccremers
66bad3856c
A minimal protocol for testing the partial order reductions.
2004-03-03 18:59:23 +00:00
ccremers
9010e37c33
- Start of simple files.
2004-02-28 20:39:17 +00:00
ccremers
2edf686a3e
- Huge debugging effort to fix -t7 (POR2b), which seems to be okay now.
...
- Next step: fix -t6.
2004-02-28 12:36:35 +00:00
ccremers
975f9c159a
- Implemented the new algorithm -t6.
...
Note: it is currently worse than -t5, and the reason is that it is
good to do the sends first, to avoid branching.
- Fixed a flaw in the flag returned by match_basic.
2004-02-27 15:04:32 +00:00
ccremers
635e583039
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
ccremers
95f8558514
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00
ccremers
59f61abb9f
- Update for new claims.
2004-02-22 13:05:59 +00:00
ccremers
1fda986dce
- Some testing.
2004-02-20 22:40:17 +00:00
ccremers
eadec35908
- Cleanup.
2004-02-20 11:41:46 +00:00
ccremers
0c17848f44
Initial revision
2004-02-20 11:37:28 +00:00
ccremers
50f8b5874a
initial checkin
2002-08-01 09:28:10 +00:00
