Public Git Hosting - rttp-proofs.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: fb5d6a5) | patch

commit	81ad7d9f1c5b31b97c6bc154ffd69c0240091a56
author	Tim Makarios <tjm1983@gmail.com>
	Thu, 12 Feb 2015 03:22:36 +0000 (12 16:22 +1300)
committer	Tim Makarios <tjm1983@gmail.com>
	Thu, 12 Feb 2015 03:22:36 +0000 (12 16:22 +1300)
tree	85de7644fe702f98e53b2e69f545418eb438e6ff	tree \| snapshot (tar.gz zip)
parent	fb5d6a5dc1b68ab086ace7135ec99a036eddd9a8	commit \| diff

Simplified definition of timely_delivery protocol

diff | blob | blame | history

This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.