works enough

Makefile

src/bin/limusync.ml

src/limusynlib/anflang.ml

src/limusynlib/commonclocks.ml

src/limusynlib/dune

src/limusynlib/flatlang.ml

src/limusynlib/lexer.mll

src/limusynlib/parsedlang.ml

src/limusynlib/parser.mly

src/limusynlib/print.ml

src/limusynlib/rclockedlang.ml

src/limusynlib/refclocks.ml

src/limusynlib/sclockedlang.ml

src/limusynlib/smtlib.ml

src/limusynlib/structclocks.ml

src/limusynlib/tokens.mly

src/limusynlib/typedlang.ml

src/limusynlib/types.ml

src/limusynlib/z3.ml

tests/anflang/uav.t/main.plu