From 95cc26bb2fe3a97b8c4772ccf525da008591031b Mon Sep 17 00:00:00 2001 From: elvis Date: Fri, 17 Jan 2025 00:53:18 +0100 Subject: [PATCH] Updating README --- README.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) 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 +```