Chi Zhang

Maybe this test case more useful: ``` .decl sewi(A:symbol) .decl rlqm(C:symbol, E:symbol) inline .decl icpa(C:symbol) no_inline sewi("E"). rlqm(G, G) :- sewi(G). icpa(H) :- rlqm(H, H). .output icpa ``` There must...

I tried to reduce this test case, but find if I remove the `!ovqb(A, B, B, B)` in last rule, the result will become correct. but I output the result...

I reduce the test case to a simpler one: ``` .decl kdof(A:unsigned, B:number) .decl ovqb(A:number, B:unsigned) magic .decl khkw(A:number, B:unsigned) kdof(1, -2). kdof(1, 9). ovqb(A^-3, B) :- kdof(B, A). kdof(B,...

This is the original program: ``` .decl xwwr(A:symbol) .decl hles(A:symbol, B:symbol, C:symbol, D:symbol, E:symbol, F:symbol, G:symbol, H:symbol) inline .decl crux(A:symbol, B:symbol, C:symbol, D:symbol, E:symbol, F:symbol, G:symbol, H:symbol) .decl alpg(A:symbol, B:symbol,...

Thank you very much @langston-barrett, I've tried it since you told me last time and halfempty is a great tool. I was previously using [C-Reduce](https://embed.cs.utah.edu/creduce/). Also didn't have great results...

I reduce this program and get a simpler version: ``` .decl iyis(A:symbol, B:number) .decl ghxz(A:symbol) inline .decl mrjp(A:symbol) inline .decl kerp(A:number, B:symbol) .decl kspj(A:number) iyis("j", 7). kerp(-9, "G"). ghxz(A) :-...

> Hi, may I ask where these programs originate from? Are they obfuscated versions of actual useful programs, or are they generated by a fuzzer ? Hi, these programs generated...

Sure, I get a reduced version of this program and this is the simplest version I can get: ``` .decl adaw(A:unsigned, B:number) .decl wcvj(A:unsigned, B:unsigned) .decl ttwr(A:unsigned) magic .decl zdxk(A:number,...

> Hi, may I ask where these programs originate from? Are they obfuscated versions of actual useful programs, or are they generated by a fuzzer ? The method we used...

Hi, I find another example that zero not equals to negative zero in both interpreter mode and compiler mode. The datalog file is: ``` .decl pnlj(A:float, B:float) .decl sxnr(A:float, B:float)...