73 releases
new 0.0.115 | Apr 11, 2025 |
---|---|
0.0.114 | Apr 11, 2025 |
0.0.105 | Mar 31, 2025 |
0.0.76 | Feb 24, 2025 |
0.0.35 | Oct 29, 2024 |
#478 in Hardware support
2,988 downloads per month
595KB
15K
SLoC
xlsynth-driver
command line interface
The xlsynth-driver
binary is a "driver program" for various XLS/xlsynth tools and functionality
behind a single unified command line interface. It is organized into subcommands.
Subcommands:
ir-equiv
: Proves two IR functions to be equivalent or provides a counterexample to their equivalence.
Dependencies
~5–16MB
~237K SLoC