Patronus

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