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

app xlsynth-driver

Binary that integrates XLS capabilities into a driver program

89 releases

new 0.0.131 May 2, 2025
0.0.130 Apr 30, 2025
0.0.105 Mar 31, 2025
0.0.76 Feb 24, 2025
0.0.35 Oct 29, 2024

#438 in Audio

Download history 463/week @ 2025-01-10 27/week @ 2025-01-17 258/week @ 2025-01-24 236/week @ 2025-01-31 519/week @ 2025-02-07 485/week @ 2025-02-14 342/week @ 2025-02-21 597/week @ 2025-02-28 1108/week @ 2025-03-07 1120/week @ 2025-03-14 413/week @ 2025-03-21 916/week @ 2025-03-28 222/week @ 2025-04-04 671/week @ 2025-04-11 784/week @ 2025-04-18 957/week @ 2025-04-25

2,803 downloads per month

Apache-2.0

775KB
19K 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

~11–24MB
~387K SLoC