effectfully comments

Results 479 comments of


                                            effectfully

Missing Documentation per OSC Governance

Thank you for reporting the issue! @MattChain volunteered to take care of this, but I cannot add him as an assignee for some reason, so I've added myself for the...

Missing Documentation per OSC Governance

@mattchain any progress on this issue?

Missing Documentation per OSC Governance

@marshada is on long-term leave, so probably not gonna take care of this. @zliu41 it looks like somebody else should get this ticket?

Revisit our PLC tests and see which ones could be made into property tests

In particular, we should use as much of Jacco's work on semantic equivalences as possible.

Revisit our PIR tests and see which one can be made into property tests

In particular, we should use as much of Jacco's work on semantic equivalences as possible.

Use meaningful error messages instead of error code in the script

@zliu41 do you happen to know what the status of this issue is?

Use meaningful error messages instead of error code in the script

@zliu41 do you happen to know what the status of this issue is?

Re-implement the flat format ourselves

That's a great issue... Why reimplement anything though? Can't we just literally fork the repo and be done with it?

Write a check to see if tail-recursive functions in PLC use flat memory

> Possibly we can write something with weigh to test this. We couldn’t really make it a test since the results would be variable by machine etc. We now have...