Search results

Future-proof Signature.v

Status: Open.

#2238 In mit-plv/fiat-crypto;

· miriampolzer opened on Jan 15, 2026

Clean up warnings

Status: Open.

#2237 In mit-plv/fiat-crypto;

· miriampolzer opened on Jan 15, 2026

Clean up proof duplication and explicitly named identifiers in Secp256k1

Status: Open.

#2236 In mit-plv/fiat-crypto;

· miriampolzer opened on Jan 15, 2026

Refactor sizedlistarray

Status: Open.

#2235 In mit-plv/fiat-crypto;

· miriampolzer opened on Jan 15, 2026

Rename the seprewrite that is not in SeparationLogic but in ProgramLogic to avoid name clashes

Status: Open.

#2234 In mit-plv/fiat-crypto;

· miriampolzer opened on Jan 15, 2026

Remove duplicated bytes_per

Status: Open.

#2233 In mit-plv/fiat-crypto;

· miriampolzer opened on Jan 15, 2026

Easier to use separation logic equivalences

Status: Open.

#2232 In mit-plv/fiat-crypto;

· miriampolzer opened on Jan 15, 2026

update Makefile for rocq command

Status: Open.

#2225 In mit-plv/fiat-crypto;

· miriampolzer opened on Dec 23, 2025

Why is MacOS 13 build so slow?

Status: Open.

#2208 In mit-plv/fiat-crypto;

· JasonGross opened on Dec 10, 2025

PLDI 2024 artifact not building

Status: Open.

#2164 In mit-plv/fiat-crypto;

· CharlesAverill opened on Sep 17, 2025

Run dependabot twice daily

Status: Open.

#2149 In mit-plv/fiat-crypto;

· andres-erbsen opened on Sep 2, 2025

fe25519_inv is not in normal form

Status: Open.

Bug

#2135 In mit-plv/fiat-crypto;

· miriampolzer opened on Aug 8, 2025