Public Git Hosting - rttp-proofs.git/commit

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

commit	1f0c3aaaba95818909730ef2954a6984275be8b6
author	Tim Makarios <tjm1983@gmail.com>
	Wed, 11 Feb 2015 04:13:59 +0000 (11 17:13 +1300)
committer	Tim Makarios <tjm1983@gmail.com>
	Wed, 11 Feb 2015 04:13:59 +0000 (11 17:13 +1300)
tree	4faaf39fe8ac9e53cd76dc3429039c294461f555	tree \| snapshot (tar.gz zip)
parent	0686e51156d23fbe69959aad0e809b4afa5427c4	commit \| diff

Proof that timely_delivery is continuously_satisfiable

diff | blob | blame | history

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