Natuvea

Popular repositories Loading

1. website website Public

   HTML

2. libsignal-msvc-max-align-repro libsignal-msvc-max-align-repro Public

   Minimal reproduction: libsignal-ffi fails to build for *-pc-windows-msvc because libc::max_align_t is undefined for MSVC targets (v0.96.4+).

   Rust

3. libsignal libsignal Public

   Forked from signalapp/libsignal

   Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

   Rust

4. aeneas-1098-repro aeneas-1098-repro Public

   Self-contained reproduction of AeneasVerif/aeneas#1098 (variable/module name clash)

   Lean

5. aeneas-mk-field-collision aeneas-mk-field-collision Public

   Minimal reproducer: a Rust struct field named mk collides with Lean's generated constructor and breaks the Aeneas translation

   Shell

6. aeneas-nested-borrows-const-select aeneas-nested-borrows-const-select Public

   Reproducer: Aeneas rejects selecting a &'static [u8] constant by match, and the single-variant case silently folds

   Rust