https://github.com/ekiwi/patronus

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

Last synced: 3 months ago
JSON representation

work in progress, playing around with btor2 in rust

• Host: GitHub
• URL: https://github.com/ekiwi/patronus
• Owner: ekiwi
• License: bsd-3-clause
• Created: 2023-06-01T01:36:55.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-08-28T21:31:42.000Z (3 months ago)
• Last Synced: 2024-08-28T22:25:55.880Z (3 months ago)
• Language: Rust
• Homepage:
• Size: 2.29 MB
• Stars: 5
• Watchers: 3
• Forks: 0
• Open Issues: 0
• 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

  - `get` for any expression

  - better debugging, add option to print expressions with trace

  - waveform generation

  - quickly update only parts of the circuit

- use [baa](https://github.com/ekiwi/baa) to represent and compute with concrete values

  - this will allow us to implement a more efficient witness struct