Commit 81e45da

Alexey Romanov

committed

Remove duplicate operations and add missing rewrites in PrimitiveOps

1 parent 75e3ea4 commit 81e45daCopy full SHA for 81e45da

4 files changed

+216

-154

lines changed

src/common
- PrimitiveOps.scala
test-out/epfl
- test11-stencil0.check
- test11-stencil1.check
test-src/epfl/test11-shonan
- TestStencil.scala

4 files changed

+216

-154

lines changed

Comments

(0)