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

about summary refs log tree commit diff stats

path: root/src/extraction/dune

blob: 731701aa6f9e1087e0b4a19c8473a0da2e678c1a (plain)

(library
 (name Extraction)
 (public_name coqup.extraction)
 (flags (:standard -warn-error -A)))