Axel Habermaier

feat(remix-server-runtime): pass `AppLoadContext` to the server's `handleRequest` function

18

The `AppLoadContext` instance can optionally be set via the server adapter's `getLoadContext()` function. It is subsequently passed to all actions, loaders as well as the `handleDataRequest` function. It is, however,...

[Feature Request] Improve CTL model checking

2

I'm trying to use pins2lts-sym for CTL model checking and encountered two significant shortcomings: 1) Apparently, only state slots can be referenced in a CTL formula. Ideally, I'd like to...

Update Windows build instructions

1

While building LtsMin on Windows for use with our tool, I found the following to be necessary; I have no idea if there is an easier way to achieve this....

Denial of service with array validations?

5

Based on Zod's `README.md` and the mentioned libraries using Zod that are linked within that document, I would assume that Zod is designed to be used in potentially highly security-critical...