ccremers
78e68f3c17
- Added claim label.
2004-08-31 14:35:47 +00:00
ccremers
5ed9fefa7e
- Improved these scenarios.
2004-08-31 14:32:31 +00:00
ccremers
3687bff185
- Fixed kaochow - Niek Palm version.
2004-08-30 22:12:18 +00:00
ccremers
20a38f79c5
BROKEN
...
- Protocol is not done yet.
2004-08-30 14:40:12 +00:00
ccremers
44f394d098
- Improvement.
2004-08-30 14:39:52 +00:00
ccremers
f5548b82cc
- Added protocol.
2004-08-30 14:30:17 +00:00
ccremers
4b3de5f9fb
- Added BAN modified version of andrew-ban.
2004-08-30 14:17:11 +00:00
ccremers
ee5ddea4d0
- Added a new test.
...
- Fixed some notations.
2004-08-30 06:06:37 +00:00
ccremers
939ece7500
- Improvements in the scenarios.
2004-08-27 19:08:31 +00:00
ccremers
dfdea5b0bf
- Finished the protocol.
2004-08-23 11:59:42 +00:00
ccremers
db52ec77e6
- Distinguishing example for prec sets computation; try using --pp=100,
...
possibly with -r2.
2004-07-25 15:29:03 +00:00
ccremers
9a2f6c09e8
- Added nisynch-rep file, which is a broken nsl3 with internal
...
repetition.
2004-07-21 13:14:08 +00:00
ccremers
0ce648cc56
- Broken version (skip)
2004-07-21 13:12:47 +00:00
ccremers
fb51f679a1
- Added two files for nisynch testing.
2004-07-21 13:11:36 +00:00
ccremers
33441613e4
- Added BKE versions used in secrecy reduction article.
2004-07-13 19:36:13 +00:00
ccremers
46da382950
- Fixed some old notation.
2004-07-13 11:37:45 +00:00
ccremers
e2da17f198
- First files with ni-synch claims.
2004-06-16 15:43:55 +00:00
ccremers
7346247f62
- Fixed 2 protocols.
2004-06-12 13:10:17 +00:00
ccremers
8fda9c6d2b
- Fixed some changed paths.
2004-04-23 12:59:25 +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
