Ankush Desai
Ankush Desai
I think there is a bug in the coverage reporter, it is not taking into account the "default" transitions. I am 100% sure that the default transition is triggered during...
### Discussed in https://github.com/p-org/P/discussions/450 Originally posted by **anupgithub** June 18, 2022 For larger and faster adoption of P Programming, tutorials on following topics would be very helpful. 1. Single Node...
Extend the P Events so that P source and target information is embedded in the payload of each event. This will allows developers to avoid the overhead to passing source...
The current implementation is complete. We generate code corresponding to safe and assume in the generated code. The ptester and pruntime needs to do be updated so that they ignore...
As we are adding support for symbolic execution of P programs. It would be good to replace `test` to `check` when adding scenarios to be tested.
It would good to enable separate compilation for P that allows decomposing the implementation into separate P projects. Enabling this for C pipeline seems hard and we can ignore it....
Was just curious if there has been past work on applying sqlancer to PartiQL? https://partiql.org/
Hi @mrigger, We were looking at the code for the `getJoinStatements` used in TLP oracle. It seems like the loop that generates join statements only picks half the tables [here](https://github.com/sqlancer/sqlancer/blob/master/src/sqlancer/postgres/oracle/PostgresNoRECOracle.java#L81-L88)....
There is a need to union collections in P. It would be good to overload `+=` to do union of sets. Similarly to use `-=` to remove eliminates elements from...