-
- Downloads
Add cases
Showing
- flake.lock 1 addition, 1 deletionflake.lock
- rtree-c/src/ReduceC.hs 207 additions, 67 deletionsrtree-c/src/ReduceC.hs
- rtree-c/test/cases/main.c 0 additions, 1 deletionrtree-c/test/cases/main.c
- rtree-c/test/cases/while-loops.c 6 additions, 0 deletionsrtree-c/test/cases/while-loops.c
- rtree-c/test/expected/main/main.c 0 additions, 1 deletionrtree-c/test/expected/main/main.c
- rtree-c/test/expected/main/reduction/r.c 0 additions, 1 deletionrtree-c/test/expected/main/reduction/r.c
- rtree-c/test/expected/main/reduction/r.choices 0 additions, 0 deletionsrtree-c/test/expected/main/reduction/r.choices
- rtree-c/test/expected/typedef/reduction/r000.c 0 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r000.c
- rtree-c/test/expected/typedef/reduction/r000.choices 3 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r000.choices
- rtree-c/test/expected/typedef/reduction/r001.c 8 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r001.c
- rtree-c/test/expected/typedef/reduction/r001.choices 3 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r001.choices
- rtree-c/test/expected/typedef/reduction/r010.c 0 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r010.c
- rtree-c/test/expected/typedef/reduction/r010.choices 3 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r010.choices
- rtree-c/test/expected/typedef/reduction/r011.c 5 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r011.c
- rtree-c/test/expected/typedef/reduction/r011.choices 3 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r011.choices
- rtree-c/test/expected/typedef/reduction/r100.c 0 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r100.c
- rtree-c/test/expected/typedef/reduction/r100.choices 3 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r100.choices
- rtree-c/test/expected/typedef/reduction/r101.c 7 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r101.c
- rtree-c/test/expected/typedef/reduction/r101.choices 3 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r101.choices
- rtree-c/test/expected/typedef/reduction/r110.c 0 additions, 0 deletionsrtree-c/test/expected/typedef/reduction/r110.c
Loading
Please register or sign in to comment