sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
fb51f679a1518d9401a512258d264fd0fc713c91
scyther/spdl
History
ccremers fb51f679a1 - Added two files for nisynch testing.
2004-07-21 13:11:36 +00:00
..
bke-broken.spdl
- Added BKE versions used in secrecy reduction article.
2004-07-13 19:36:13 +00:00
bke.spdl
- Added BKE versions used in secrecy reduction article.
2004-07-13 19:36:13 +00:00
bkepk-ce2.spdl
- This is required as well.
2004-03-10 07:19:27 +00:00
bkepk-ce.spdl
- Modified for better table compared speedtest.
2004-03-08 07:35:47 +00:00
bkepk.spdl
- Fixed 2 protocols.
2004-06-12 13:10:17 +00:00
broken1.spdl
- Better names.
2004-04-01 10:05:00 +00:00
carkey-broken.spdl
- First files with ni-synch claims.
2004-06-16 15:43:55 +00:00
carkey-ni2.spdl
- First files with ni-synch claims.
2004-06-16 15:43:55 +00:00
carkey-ni.spdl
- First files with ni-synch claims.
2004-06-16 15:43:55 +00:00
helloworld.spdl
- Fixed 2 protocols.
2004-06-12 13:10:17 +00:00
notes.txt
Initial revision
2004-02-20 11:37:28 +00:00
ns3-brutus.spdl
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00
ns3-extreme.spdl
- Fixed some old notation.
2004-07-13 11:37:45 +00:00
ns3-nisynch.spdl
- Added two files for nisynch testing.
2004-07-21 13:11:36 +00:00
ns3-var.spdl
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00
ns3.spdl
- First files with ni-synch claims.
2004-06-16 15:43:55 +00:00
nsl3-nisynch.spdl
- Added two files for nisynch testing.
2004-07-21 13:11:36 +00:00
nsl3-var.spdl
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00
nsl3.spdl
- First files with ni-synch claims.
2004-06-16 15:43:55 +00:00
nsl7.spdl
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00
onetrace.spdl
A minimal protocol for testing the partial order reductions.
2004-03-03 18:59:23 +00:00
otwayrees.spdl
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
simplest.spdl
- 'Simplest' protocol that shows postponing effort.
2004-03-09 16:07:02 +00:00
speedtest.spdl
- Update for new claims.
2004-02-22 13:05:59 +00:00
test-clp.sh
- Fixed some changed paths.
2004-04-23 12:59:25 +00:00
test.sh
- Fixed some changed paths.
2004-04-23 12:59:25 +00:00
tls-paulson.spdl
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
tmn.spdl
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00
wmf-brutus.spdl
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
woolam-ce.spdl
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
woolam-cmv.spdl
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
yahalom-ban.spdl
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
yahalom-lowe.spdl
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
yahalom.spdl
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00