Updating README

2025-01-17 00:53:18 +01:00
parent 404a720aae
commit 95cc26bb2f
1 changed files with 19 additions and 0 deletions
--- 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
+```