#xl-synth #driver #interface #xlsynth-driver

app xlsynth-driver

Binary that integrates XLS capabilities into a driver program

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

Download history 57/week @ 2024-12-19 44/week @ 2024-12-26 1/week @ 2025-01-02 457/week @ 2025-01-09 33/week @ 2025-01-16 489/week @ 2025-01-30 362/week @ 2025-02-06 595/week @ 2025-02-13 384/week @ 2025-02-20 332/week @ 2025-02-27 1184/week @ 2025-03-06 1049/week @ 2025-03-13 678/week @ 2025-03-20 752/week @ 2025-03-27 373/week @ 2025-04-03

2,988 downloads per month

Apache-2.0

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