Issues

• wrong representation of floating point numbers

  kframework/java-semantics#66 · Filter by author rschumi0 opened on Oct 2, 2020

• casting a floating-point number to an integer

  kframework/java-semantics#64 · Filter by author rschumi0 opened on Jun 1, 2020

• division by zero exception

  kframework/java-semantics#63 · Filter by author rschumi0 opened on Mar 1, 2020

• new String("") leads to timeout

  kframework/java-semantics#62 · Filter by author rschumi0 opened on Mar 1, 2020

• octal values in double/float arrays

  kframework/java-semantics#61 · Filter by author rschumi0 opened on Mar 1, 2020

• parsing issue for hexadecimal

  kframework/java-semantics#60 · Filter by author rschumi0 opened on Mar 1, 2020

• wrong precision for floats

  kframework/java-semantics#59 · Filter by author rschumi0 opened on Feb 29, 2020

• wrong modulo computation for negative doubles or floats

  kframework/java-semantics#58 · Filter by author rschumi0 opened on Feb 29, 2020

• insufficient memory when kompile

  kframework/java-semantics#57 · Filter by author laurayuwen opened on Jan 20, 2016

• print out a message when krun times out

  kframework/java-semantics#53 · Filter by author yilongli opened on Nov 3, 2015
  4

  

• auxiliary functions

  enhancement
  kframework/java-semantics#8 · Filter by author laurayuwen opened on Oct 8, 2014