GitHub - avsm/tesla-cfa: Control Flow Automata tools

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
example		example
.gitignore		.gitignore
Makefile		Makefile
OCamlMakefile		OCamlMakefile
README		README
dhcp.spl		dhcp.spl
spl_cfg.ml		spl_cfg.ml
spl_dot.ml		spl_dot.ml
spl_lexer.mll		spl_lexer.mll
spl_location.ml		spl_location.ml
spl_ocaml.ml		spl_ocaml.ml
spl_optimiser.ml		spl_optimiser.ml
spl_optimiser.mli		spl_optimiser.mli
spl_parser.mli		spl_parser.mli
spl_parser.mly		spl_parser.mly
spl_promela.ml		spl_promela.ml
spl_stdlib.ml		spl_stdlib.ml
spl_stdlib.mli		spl_stdlib.mli
spl_syntaxtree.ml		spl_syntaxtree.ml
spl_tesla.ml		spl_tesla.ml
spl_typechecker.ml		spl_typechecker.ml
spl_typechecker.mli		spl_typechecker.mli
spl_utils.ml		spl_utils.ml
spl_utils.mli		spl_utils.mli
splc.ml		splc.ml
tcp.spl		tcp.spl
tcp_connect.spl		tcp_connect.spl
tcpc.spl		tcpc.spl

Repository files navigation

Tools to manipulate Control Flow Automata for the TESLA project.
Not for general use.

Control Flow Automata tools

No releases published

No packages published