From f1bb9de4ac72136a1b0722ce77ac4ea6fd4fa413 Mon Sep 17 00:00:00 2001 From: eunhhu Date: Mon, 19 Oct 2026 07:34:12 +0100 Subject: 140: aup's frictions written away and the apps measured again (no core change, no new opcode): lists declared together, targets together (straight when no value can read what a target changes), a list given a list value whole, abs, tick.period, hex where numbers go; lines to Python 1.47-2.04x (were 1.47-2.15x): UAX #14 176 to 169, layout 116 to 110, HTTP 148 to 146 and its last workaround gone; instructions of the four whose modules changed within 0.2%, inflate's and UAX #14's modules the same; the six specs' checks pass on the three paths, module_specs nine; RTO's checks no longer rewrite G (tick.period); the suite table's rows 5, 8 and 9 --- tests/specs/rto/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/specs/rto/README.md') diff --git a/tests/specs/rto/README.md b/tests/specs/rto/README.md index e090586..9cc82a2 100644 --- a/tests/specs/rto/README.md +++ b/tests/specs/rto/README.md @@ -3,5 +3,5 @@ `scenarios.json` holds one scenario (seed 2, 20 segments, five timeouts) of `research/experiments/044-specs/rto_check.py` at tick periods of 10 and 100 ms: the events an app is given (time in ms, kind, segment) and, after each, the state the model of the same rules (`rto.py`) has (SRTT, RTTVAR, RTO, deadline, segments outstanding, retransmissions). -`tests/check.py`'s `module_specs` gives the events to aup's `examples/rto.aup` (its tick and G made the period's) on +`tests/check.py`'s `module_specs` gives the events to aup's `examples/rto.aup` (its tick made the period's; G is `tick.period`) on Pure's three paths. -- cgit v1.2.3