https://github.com/jcnelson/clairvoyance
Symbolic execution engine for Clarity
https://github.com/jcnelson/clairvoyance
Last synced: 11 days ago
JSON representation
Symbolic execution engine for Clarity
- Host: GitHub
- URL: https://github.com/jcnelson/clairvoyance
- Owner: jcnelson
- License: agpl-3.0
- Created: 2026-05-04T17:48:45.000Z (2 months ago)
- Default Branch: main
- Last Pushed: 2026-06-09T02:27:56.000Z (28 days ago)
- Last Synced: 2026-06-09T04:22:40.553Z (28 days ago)
- Language: Rust
- Size: 945 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE