Search results

wrong representation of floating point numbers

Status: Open.

#66 In kframework/java-semantics;

· rschumi0 opened on Oct 2, 2020

casting a floating-point number to an integer

Status: Open.

#64 In kframework/java-semantics;

· rschumi0 opened on Jun 1, 2020

division by zero exception

Status: Open.

#63 In kframework/java-semantics;

· rschumi0 opened on Mar 1, 2020

new String("") leads to timeout

Status: Open.

#62 In kframework/java-semantics;

· rschumi0 opened on Mar 1, 2020

octal values in double/float arrays

Status: Open.

#61 In kframework/java-semantics;

· rschumi0 opened on Mar 1, 2020

parsing issue for hexadecimal

Status: Open.

#60 In kframework/java-semantics;

· rschumi0 opened on Mar 1, 2020

wrong precision for floats

Status: Open.

#59 In kframework/java-semantics;

· rschumi0 opened on Feb 29, 2020

wrong modulo computation for negative doubles or floats

Status: Open.

#58 In kframework/java-semantics;

· rschumi0 opened on Feb 29, 2020

insufficient memory when kompile

Status: Open.

#57 In kframework/java-semantics;

· laurayuwen opened on Jan 20, 2016

print out a message when krun times out

Status: Open.

#53 In kframework/java-semantics;

· yilongli opened on Nov 3, 2015

auxiliary functions

enhancement

Status: Open.

#8 In kframework/java-semantics;

· laurayuwen opened on Oct 8, 2014