Yisu Remy Wang
Yisu Remy Wang
Inside `impl PrefixExtender for (Rc, L) `, `count` uses an undefined variable `prev.0`.
The sentence explaining the graph representation is very hard to parse: "We will represent a fragment of graph by a list of destinations and offsets into this list for each...
Right now one can only test `/lib` through DDlog tests, e.g. by using `stack test --ta ...`. Adding separate tests for it would ease development.
After adding `-Wno-error=sign-compare`, soufflé compiles on OSX but many tests fail. See attached log for failures. @b-scholz suspects they are caused by broken "brie” data-structure on ARM. [LastTest.log](https://github.com/souffle-lang/souffle/files/7867781/LastTest.log) [LastTestsFailed.log](https://github.com/souffle-lang/souffle/files/7867784/LastTestsFailed.log)
I would love to run Datalog on my phone. This requires some small tweaks to the current UI: - [ ] Make all elements visible without hovering for mobile devices...
Got an uncheck exception when fusing sparse dimensions. Does fuse only work for dense dimensions? ``` remywang@m16 build % ./bin/taco "q = r(i,j) * s(i,j)" -f=r:ss -s="fuse(i,j,f)" libc++abi: terminating with...
Make the title bar transparent for a cleaner look. Tested on MacOS.
It's not very clear to me how the strict parser differs from the lazy one from the documentation: > It can be useful to think of parsing as occurring in...
`verify.py` hangs when running on TASO/graph_subst.pb. The problematic rules seem to be 99, 100, 130, 131. I also noticed TASO/graph_subst.pb contains 132 rules in total, while the generated pb file...