dune « driver - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/driver/dune

blob: b0c97bca2e396c323e2ab753da9593d389273061 (plain)

(include_subdirs no)

(executable
 (name VericertDriver)
 (libraries vericert))