aup - Declarative systems language and compiler targeting verified Pure modules.

	Commit message (Collapse)	Author	Age	Files	Lines
*	examples/rto.aup: RFC 6298's retransmission timer (SRTT, RTTVAR, RTO as ↵	eunhhu	33 hours	1	-0/+65
	2.2-2.5 say, Karn, the timer as 5.1-5.6 say) as a deadline in the state seen at each periodic tick (Pure's research 140, spec 10)