interpreter for "little"
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@119 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- test/littlesemantics/Makefile 1 addition, 0 deletionstest/littlesemantics/Makefile
- test/littlesemantics/Makefile.orig 41 additions, 0 deletionstest/littlesemantics/Makefile.orig
- test/littlesemantics/Makefile.ppc 46 additions, 0 deletionstest/littlesemantics/Makefile.ppc
- test/littlesemantics/body.c 175 additions, 0 deletionstest/littlesemantics/body.c
- test/littlesemantics/gc.tar.gz 0 additions, 0 deletionstest/littlesemantics/gc.tar.gz
- test/littlesemantics/intro.tex 629 additions, 0 deletionstest/littlesemantics/intro.tex
- test/littlesemantics/little.c 181 additions, 0 deletionstest/littlesemantics/little.c
- test/littlesemantics/little.flex 41 additions, 0 deletionstest/littlesemantics/little.flex
- test/littlesemantics/little.h 32 additions, 0 deletionstest/littlesemantics/little.h
- test/littlesemantics/little.ml 43 additions, 0 deletionstest/littlesemantics/little.ml
- test/littlesemantics/little.y 62 additions, 0 deletionstest/littlesemantics/little.y
- test/littlesemantics/little_interp.ml 4 additions, 0 deletionstest/littlesemantics/little_interp.ml
- test/littlesemantics/little_lex.mli 3 additions, 0 deletionstest/littlesemantics/little_lex.mli
- test/littlesemantics/little_lex.mll 23 additions, 0 deletionstest/littlesemantics/little_lex.mll
- test/littlesemantics/little_syntax.mly 42 additions, 0 deletionstest/littlesemantics/little_syntax.mly
- test/littlesemantics/main.c 13 additions, 0 deletionstest/littlesemantics/main.c
Loading
Please register or sign in to comment