elvis/LCI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
73 commits 1 branch 0 tags 1.1 MiB
  • OCaml 44.8%
  • PostScript 44%
  • TeX 11.1%
Find a file
Exact
elvis fdb3d3da88 Seminar
2025-02-17 00:09:33 +01:00
bin Fixes 2025-02-02 20:46:55 +01:00
lib Fixes 2025-02-02 20:46:55 +01:00
report Clarification 2025-02-04 16:15:52 +01:00
seminar Seminar 2025-02-17 00:09:33 +01:00
test Adding simple Algorithm W implementation (no recursive functions) 2025-01-31 03:15:58 +01:00
.gitattributes Fixing language statistics 2024-10-11 18:39:07 +02:00
.gitignore Updating gitignore for latex files 2025-01-11 20:37:08 +01:00
dune-project First draft report, removing exercises 2025-01-15 00:09:58 +01:00
README.md Emacs compile variables and spelling correction 2025-02-06 15:56:27 +01:00

README.md

LCI

Report is located in the report/ folder.

Seminar Slides are located in the seminar/ 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