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

about summary refs log tree commit diff stats

path: root/extraction/dune

blob: ec44a53ccd34f5ba082bdab02070e800bb5dea7a (plain)

1
2
3

(executable
 (name main)
 (flags (:standard -warn-error -A)))