Skip to content

numeric: paper_claims.t27 recomputes 45 numbers printed in the GoldenFloat, Golden Ruler and TNF papers; tri papers (Closes #10392) #10401

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 1 commit into from
Oct 18, 2026
Merged

numeric: paper_claims.t27 recomputes 45 numbers printed in the GoldenFloat, Golden Ruler and TNF papers; tri papers (Closes #10392) #10401

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions scripts/tri
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,7 @@ tri -- the t27 front door.

Compiler commands (forwarded to t27c):
tri test [--json] [...] run the conformance suite (t27c suite --repo-root .)
tri papers recompute the numbers three format papers print (specs/numeric/paper_claims.t27)
tri <anything else> forwarded to t27c unchanged (gen, seal, fpga-build, ...)

Local commands (no compiler needed):
Expand Down Expand Up @@ -530,7 +531,7 @@ if [[ ! -x "$T27C" ]]; then
exit 2
fi


[[ "$cmd" == "papers" ]] && exec "$T27C" test-report "$REPO_ROOT/specs/numeric/paper_claims.t27" "${@:2}"
# Most subcommands are implemented in the Rust `tri` binary (cli/tri),
# which is a DIFFERENT binary from t27c. Everything not handled above was
# forwarded to t27c, so every one of them existed and was unreachable through the
Expand Down Expand Up @@ -602,7 +603,6 @@ fi
# `t27c suite` is the only subcommand that accepts --repo-root.
# Map `tri test` to the suite subcommand; pass other commands through unchanged.
if [[ "$cmd" == "test" || "$cmd" == "suite" ]]; then
# Forward everything after the subcommand to t27c suite, including --json.
exec "$T27C" suite --repo-root "$REPO_ROOT" "${@:2}"
else
exec "$T27C" "$@"
Expand Down
Loading
Loading