Imandra Test Runner AST

An open source AST for reasoning about FIX type objects.

Building and formatting code

Run

make build

to build the project;

make format

to format the code

and

make clean

to clean the build.

Name		Name	Last commit message	Last commit date
Latest commit History 161 Commits
html		html
src		src
test		test
vendor		vendor
.gitignore		.gitignore
.gitmodules		.gitmodules
.ocamlformat		.ocamlformat
Dockerfile		Dockerfile
Makefile		Makefile
README.md		README.md
cloudbuild.yaml		cloudbuild.yaml
dune-project		dune-project
itr-ast.opam		itr-ast.opam
pp.sh		pp.sh