[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17223278#comment-17223278 ] Qi Zhou commented on CALCITE-3913: -- The commit tree in the previous pull request becomes too

[jira] [Comment Edited] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17222643#comment-17222643 ] Qi Zhou edited comment on CALCITE-3913 at 10/29/20, 1:39 AM: - Add Symbolic

[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17222643#comment-17222643 ] Qi Zhou commented on CALCITE-3913: -- Add Symbolic Columns, and Convert Rex Node to Symbolic Columns. 

[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17181305#comment-17181305 ] Qi Zhou commented on CALCITE-3913: -- Hi Michael, Thanks for helping me. I am planning to push more code

[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17148155#comment-17148155 ] Qi Zhou commented on CALCITE-3913: -- Hi,  Sorry for the late actions. I try to submit my first PR that

[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17086126#comment-17086126 ] Qi Zhou commented on CALCITE-3913: -- Yes, I believe the java binding library is on Maven central. Here

[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17085361#comment-17085361 ] Qi Zhou commented on CALCITE-3913: -- Z3 is not write in java, it is written in c++, but it has a java

[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17085257#comment-17085257 ] Qi Zhou commented on CALCITE-3913: -- Hi, I think the first step I can do is trying to add the code

[jira] [Commented] (CALCITE-3913) Test correctness using formal verification techniques

[ https://issues.apache.org/jira/browse/CALCITE-3913?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=17081040#comment-17081040 ] Qi Zhou commented on CALCITE-3913: -- The first thing we considering to do is to bring this tool to

[jira] [Created] (CALCITE-3913) A formal verification techniques for testing correctness in calcite

Qi Zhou created CALCITE-3913: Summary: A formal verification techniques for testing correctness in calcite Key: CALCITE-3913 URL: https://issues.apache.org/jira/browse/CALCITE-3913 Project: Calcite