Sun Yihao

My guess is TreeMutator your own mutator.... you need to implement how to to mutate by yourself. And antlr only make a base parser for you, also a parser need...

Hi, does this issue been solved now? I tried disassemble/reassemble Python windows today, seems when disasasembling `python310.dll` I saw similar probelm.

I think mod/rerun will require add provenance (like add fact/remove fact) semantic. for example in query ``` edge(1,2). path(a, b) :- edge(a, b). ``` changing edge (like remove edge(1,2)) will...

Thank you for you great explaination! That helps a lot! I will close the issue soon

Rust macro are outside-in. If you call a macro inside `ascent!`, rust expander will first expand `ascent!` and then insider, if your macro code is to generate ascent code, since...

I think some ad-hoc solution but shouldn't been approved to ascent current implementation will be allow user to manually stratify a datalog program, and then you may be able to...

Hi guys, one of my concerns is include will mess up rust analyzer and vscode code linter. I purpose for rules, maybe something more bi-direction, include rules work like add...

okay found a hacky but very useful library called [**magic_macro**](https://github.com/sam0x17/macro_magic) build on stable API can do similar thing as `include!`. I tried play around it on my funky testing fork....

wow! this looks so great!! I will try it

I tried the build, seems there is a error pops when building the examples, but in upstream rocPRIME: ``` /usr/local/include/rocprim/intrinsics/atomic.hpp:51:16: error: no matching function for call to 'atomicAdd' ```