patronus

Crates.iopatronus
lib.rspatronus
version0.34.2
created_at2024-08-06 17:00:20.191345+00
updated_at2025-10-20 18:26:22.467625+00
descriptionHardware bug-finding toolkit.
homepagehttps://kevinlaeufer.com
repositoryhttps://github.com/cucapra/patronus
max_upload_size
id1327537
size597,257
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