andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
975f9c159a
scyther/spdl
History
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
..
bkepk-ce.spdl - Modified everything for explicit usertype declarations. 2004-02-22 15:22:19 +00:00
bkepk.spdl - Modified everything for explicit usertype declarations. 2004-02-22 15:22:19 +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 - Implemented the new algorithm -t6. 2004-02-27 15:04:32 +00:00
ns3-var.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
ns3.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
nsl3-var.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
nsl3.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
nsl7.spdl - Updates for the new claims stuff. 2004-02-22 13:16:53 +00:00
otwayrees.spdl - Modified everything for explicit usertype declarations. 2004-02-22 15:22:19 +00:00
speedtest.spdl - Update for new claims. 2004-02-22 13:05:59 +00:00
test-clp.sh Initial revision 2004-02-20 11:37:28 +00:00
test.sh Initial revision 2004-02-20 11:37:28 +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