fiplox/minic
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Compiler from a subset of C to MIPS in OCaml
1 Commit 1 Branch 0 Tags 34 KiB
OCaml 99.5%
Shell 0.5%
master
Go to file
fiplox 0119a154bf backup
2022-01-27 16:31:58 +01:00
tests backup 2022-01-27 16:31:58 +01:00
.gitignore backup 2022-01-27 16:31:58 +01:00
.merlin backup 2022-01-27 16:31:58 +01:00
ast.ml backup 2022-01-27 16:31:58 +01:00
baselib.ml backup 2022-01-27 16:31:58 +01:00
build.sh backup 2022-01-27 16:31:58 +01:00
compiler.ml backup 2022-01-27 16:31:58 +01:00
lexer.mll backup 2022-01-27 16:31:58 +01:00
mips.ml backup 2022-01-27 16:31:58 +01:00
parser.mly backup 2022-01-27 16:31:58 +01:00
README.md backup 2022-01-27 16:31:58 +01:00
semantics.ml backup 2022-01-27 16:31:58 +01:00
simplifier.ml backup 2022-01-27 16:31:58 +01:00
t.s backup 2022-01-27 16:31:58 +01:00
test.ml backup 2022-01-27 16:31:58 +01:00

README.md

MiniC

Fonctionnalités

  • Declaration des types de bases (int, char, float, bool)
  • Declaration des fonctions
  • Conditions if, else, else if
  • Boucle while
  • Fonctions natives :
    • _add
    • _sub
    • _mul
    • _div
    • _add
    • _sub
    • _mul
    • _div
    • _xor
    • _or
    • _and
    • _seq
    • _sne
    • _sge
    • _sgt
    • _sle
    • _slt
    • _mod
    • _neg
    • _not
    • puts
    • puti
    • geti

Tests

Test game (not really)

$ ocamlbuild -use-menhir test.byte
$ ./test.byte tests/game.test > t.s
$ spim t.s
(spim) load "t.s"
(spim) run

Autres tests (sans user input)

$ ./build.sh newt

$ ./build.sh puiss