dune « src - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/src/dune

blob: 2c07ec161f53c813da6a9a6a54bed9dfc68f93be (plain)

(executable
 (name main)
 (libraries yojson)
 (preprocess (pps ppx_deriving.show ppx_deriving.ord ppx_deriving_yojson)))