Sun Yihao

**Environment:** - python -- v3.5.6 - neon -- 2.6.0 - cuda -- 10.0.130 - os -- manjaro linux 18.0.2 - gpu -- GTX 1050 mobile **Problem** After installation, we I...

GTIRB IR file generated GTIRB IR file can't be printed in gtirb-pprint

1

Hi : I am trying to print the gtirb file generated by ddisasm to asm file, it used to work well but now always printed as blank after I both...

Question about self join

1

In the compiled RAM of query contains self join for example: ``` path(from, to) :- edge(from, to). path(from, to) :- path(from, mid), path(mid, to). ``` Recursive rule will be compiled...

Question about behavior of existsence operator

2

According to document `!` with unbound meta var name can be used to create a placeholder, but seems following code, can't create any placehold? By definition this should be an...

Hi: I installed `scallopy_ext` via make, and try to run the experiment code by following command: ```bash cd experiments/big-bench/date-understanding/ python test_gpt_scallop.py ``` But seems it the scallopy_ext is not successfully...

rocThrust support?

18

Hi: It's great to see rocPRIM is supported by chipSTAR, does that means rocThrust can also be supported out-of-box?

Add argument to ascent_source and avoid hygenie

2

- Adding extra arguments to allow binding unbound term in `ascent_source!` - Adding extra arguments to `include_source!` syntax inside ascent. - commented the unused nesting in `ascent_source` because, binding need...

`ascent_src!` don't have capture ability for var defined outside src due to macro hygenie issue. Maybe we can consider allow declaration of captured var in syntax? Code failed now: ```rust...