diff --git a/README.md b/README.md index 7a28fb0..3eed96f 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,21 @@ # LCI +[Report](report/document.pdf) is located in the [report/](report/) folder + +## To install prerequisites + +``` +opam install dune menhir clap +``` + +## To run the tests + +``` +dune runtest +``` + +## To run an executable + +``` +dune exec miniImpInterpreterReg {-}{-} -i bin/sum.miniimp -r 4 -v 100 -e +```