Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930(library (name dolmen_model) (public_name dolmen_model) (instrumentation (backend bisect_ppx)) (libraries ; external deps ; dolmen standard deps dolmen dolmen.std dolmen.intf ; dolmen loop dolmen_loop ; arbitrary int/rationals zarith ; floats ; about ppx_deriving.runtime: a type alias from that lib appears in the ; .cmi file of farith. Since we use (implicit_dependencies false), if we omit ; ppx_deriving.runtime from the dependencies, this could result in weird ; compilation errors due to a missing .cmi file (and type aliases not being ; fully resolved). farith ppx_deriving.runtime ) (modules ; Model checking Value Model Env Eval Ext ; Builtins Adt Array Bool Core Fun Int Rat Real Arith Bitv Fp Coercion ; Loop Pipe Loop ))