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

summary refs log tree commit diff

path: root/src/dune

blob: 2611eb6e890c4cc0de2c39c2791beb38436d5d01 (plain)

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