Search results

To add finding division by zero bug detection example

Status: Open.

#35 In polystat/far;

· Graur opened on Nov 17, 2022

Dependency Dashboard

Status: Open.

#22 In polystat/far;

· renovate opened on Nov 2, 2022

goto not supported, thus no division by zero found in this example

Status: Open.

#15 In polystat/far;

· dours opened on Aug 12, 2022

wrong calculate

Status: Open.

#14 In polystat/far;

· mnj2kk opened on Aug 8, 2022

the OutOfMemory exception happens in an example with ~250 lines

Status: Open.

#13 In polystat/far;

· dours opened on Aug 3, 2022

Java-to-EO-to-DBZ

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In polystat/far;

· yegor256 opened on Jul 15, 2022

larger example

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In polystat/far;

· yegor256 opened on Jul 15, 2022

unknown objects must behave like 'seq'

bugSomething isn't workingSomething isn't working

Status: Open.

#10 In polystat/far;

· yegor256 opened on Jul 15, 2022

ExprTest.java:34-36: I suggest we refactor this class...

Status: Open.

#2 In polystat/far;

· 0pdd opened on Dec 15, 2021

FaR.java:68-71: The current implementation of the method...

Status: Open.

#1 In polystat/far;

· 0pdd opened on Dec 15, 2021