Luca Bruno

simd: reapply and fix split cursor advancing

9

This reapplies https://github.com/seanmonstar/httparse/pull/156 with an additional commit on top in order to fix https://github.com/seanmonstar/httparse/issues/172.

verify: surprising temporal result

2

I was trying to verify a (state-machine plus math) model with some basic temporal props and I think I ran into a surprising false-negative result (likely a shortcoming in Apalache...

check: surprising temporal NoError result

7

## System information - Apalache version: `0.45.4 | build: 99508e4` (latest release) - OS: Linux, Ubuntu 24.04 (latest release) - JDK version [e.g. OpenJDK 0.8.0]: openjdk 21.0.4 ## Description This...

client/redirect: expose previous and next request methods

2

This augments `redirect::Attempt` in order to expose two relevant HTTP methods during redirects: - the methods for the previous request. - the method to be performed on the next request...

simd: reduce pub functions visibility

4

This tweaks all SIMD `pub` functions, moving them to `pub(crate)` instead. Refs: * https://github.com/seanmonstar/httparse/pull/175#issuecomment-2323411076 * https://doc.rust-lang.org/rustc/lints/listing/allowed-by-default.html#unreachable-pub

Move MSRV to cargo.toml and remove build.rs

2

This reworks MSRV detection logic, using the `rust-version` field in Cargo manifest. It allows dropping `build.rs` and removing the `version_check` build-dependency. Ref: https://doc.rust-lang.org/cargo/reference/manifest.html#the-rust-version-field

ssi-ucan: outdated `libipld` dependencies

1

`ssi-ucan` currently depends on a stale version of `libipld` (latest version at this time is `0.16.0`): https://github.com/spruceid/ssi/blob/d0318022b31181e08656e46e49b55704fe42c54d/crates/ucan/Cargo.toml#L28 This stale version also brings in a chain of old dependencies, which would...

unistd: add {get,set}domainname

17

This implements `getdomainname(2)` and `setdomainname(2)`, which are common UNIX extensions not covered by POSIX. References: * http://man7.org/linux/man-pages/man2/getdomainname.2.html * http://man7.org/linux/man-pages/man2/setdomainname.2.html

capnpc-rust: make CLI plugin aware of `default_parent_module`

2

This enhances the `capnpc-rust` CLI plugin binary in order to make the default "parent module" value dynamic and controlled through an environment flag at runtime. It matches the behavior which...

follow_redirect: expose previous and next request methods

1

This augments follow-redirect `Attempt` in order to expose two relevant HTTP methods during redirects: - the method for the original/previous request - the method to be performed on the next...