https://github.com/cucapra/patronus

work in progress, playing around with btor2 in rust
https://github.com/cucapra/patronus

Last synced: 6 months ago
JSON representation

work in progress, playing around with btor2 in rust

• Host: GitHub
• URL: https://github.com/cucapra/patronus
• Owner: cucapra
• License: bsd-3-clause
• Created: 2023-06-01T01:36:55.000Z (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-12-16T17:47:52.000Z (6 months ago)
• Last Synced: 2024-12-16T18:31:33.145Z (6 months ago)
• Language: Rust
• Homepage:
• Size: 2.64 MB
• Stars: 7
• Watchers: 4
• Forks: 2
• Open Issues: 2
• Metadata Files:
  • Readme: Readme.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Patronus - btor2 parser, wip hardware bug-finding toolkit. (Projects / Libraries)

README

        
# Patronus

[![Crates.io Version](https://img.shields.io/crates/v/patronus)](https://crates.io/crates/patronus)

[![docs.rs](https://img.shields.io/docsrs/patronus)](https://docs.rs/patronus)

[![GitHub License](https://img.shields.io/github/license/ekiwi/patronus)](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