patronus

Crates.iopatronus
lib.rspatronus
version0.34.1
created_at2024-08-06 17:00:20.191345+00
updated_at2025-08-26 20:21:00.565449+00
descriptionHardware bug-finding toolkit.
homepagehttps://kevinlaeufer.com
repositoryhttps://github.com/cucapra/patronus
max_upload_size
id1327537
size596,332
Kevin Laeufer (ekiwi)

documentation

README

Patronus

Crates.io Version docs.rs GitHub License

TODO

Some things we will hopefully get to one day.

  • simulator

    • JIT based implementation

    • better debugging, add option to print expressions with trace

    • waveform generation

    • quickly update only parts of the circuit

API Changes

  • patronus::btor2::parse_file should take in a Context instead of producing one
  • Context should use RefCell to allow expressions to be built with a immutable reference
Commit count: 577

cargo fmt