commit: 23df0d1274206fc2aa9418b780b1ba80f89108eb

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Thu Nov 12 00:31:47 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Nov 12 00:31:47 2026 -0300
tree: 095839c63b29ad7fab9343ca146ff85ef753453b
parent: d83d57bedda88f2d782cb282650794b92679a566 [diff]

test: reorganize the Std.Http tests into case tables

.github/workflows/ci.yml[diff]
CMakePresets.json[diff]
src/Std.lean[diff]
src/Std/Http.lean[diff]
src/Std/Http/Test/Assert.lean[Added - diff]
src/Std/Http/Test/Helpers.lean[diff]
src/Std/Http/Test/Machine.lean[Added - diff]
tests/async/compile_bench/http_server_concurrent.lean[diff]
tests/async/elab/async_http_body_framing.lean[Deleted - diff]
tests/async/elab/async_http_connect_response.lean[Deleted - diff]
tests/async/elab/async_http_connection_options.lean[Deleted - diff]
tests/async/elab/async_http_encode.lean[diff]
tests/async/elab/async_http_expect.lean[Deleted - diff]
tests/async/elab/async_http_exports.lean[diff]
tests/async/elab/async_http_fuzz.lean[Deleted - diff]
tests/async/elab/async_http_fuzz.lean.serial[Deleted - diff]
tests/async/elab/async_http_fuzz_limits.lean[Deleted - diff]
tests/async/elab/async_http_fuzz_random.lean[diff]
tests/async/elab/async_http_h1_chunked_overhead.lean[Deleted - diff]
tests/async/elab/async_http_h1_client_framing.lean[Added - diff]
tests/async/elab/async_http_h1_client_request_version.lean[Deleted - diff]
tests/async/elab/async_http_h1_close_with_error.lean[Deleted - diff]
tests/async/elab/async_http_h1_connection.lean[Added - diff]
tests/async/elab/async_http_h1_expect.lean[Added - diff]
tests/async/elab/async_http_h1_expect_final_response.lean[Deleted - diff]
tests/async/elab/async_http_h1_framing_mismatch.lean[Deleted - diff]
tests/async/elab/async_http_h1_incremental.lean[Deleted - diff]
tests/async/elab/async_http_h1_lenient_parsing.lean[Deleted - diff]
tests/async/elab/async_http_h1_limits.lean[Added - diff]
tests/async/elab/async_http_h1_limits.lean.serial[Renamed from tests/async/elab/async_http_fuzz_limits.lean.serial - diff]
tests/async/elab/async_http_h1_parser.lean[Added - diff]
tests/async/elab/async_http_h1_parser_fuzz.lean[Deleted - diff]
tests/async/elab/async_http_h1_request_framing.lean[Added - diff]
tests/async/elab/async_http_h1_request_head.lean[Added - diff]
tests/async/elab/async_http_h1_response_framing.lean[Added - diff]
tests/async/elab/async_http_h1_rfc_compliance.lean[Deleted - diff]
tests/async/elab/async_http_h1_short_fixed_body.lean[Deleted - diff]
tests/async/elab/async_http_h1_split_reads.lean[Added - diff]
tests/async/elab/async_http_h1_v10_framing.lean[Deleted - diff]
tests/async/elab/async_http_hang_regressions.lean[diff]
tests/async/elab/async_http_headers.lean[diff]
tests/async/elab/async_http_keepalive.lean[Deleted - diff]
tests/async/elab/async_http_query_names.lean[Deleted - diff]
tests/async/elab/async_http_redirect.lean[diff]
tests/async/elab/async_http_redirect_rfc3986.lean[diff]
tests/async/elab/async_http_request_body_end.lean[diff]
tests/async/elab/async_http_request_headers.lean[Deleted - diff]
tests/async/elab/async_http_request_line.lean[Deleted - diff]
tests/async/elab/async_http_request_target_limits.lean[Deleted - diff]
tests/async/elab/async_http_response_framing.lean[Deleted - diff]
tests/async/elab/async_http_trailers.lean[Deleted - diff]
tests/async/elab/async_http_uri.lean[Deleted - diff]
tests/async/elab/async_http_uri.lean.no_test[Deleted - diff]
tests/async/elab/async_http_uri_parse.lean[Added - diff]
tests/async/elab/async_http_uri_print.lean[Added - diff]
tests/async/elab/async_http_uri_props.lean[Added - diff]
tests/async/elab/async_http_uri_query.lean[Added - diff]
tests/async/elab/async_http_uri_rendering.lean[Deleted - diff]
tests/elab/async_http_query_encoding.lean[Deleted - diff]

59 files changed

tree: 095839c63b29ad7fab9343ca146ff85ef753453b

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.