Issues

Issues

• wrong representation of floating point numbers

  kframework/java-semantics#66 · opened on Oct 2, 2020

• casting a floating-point number to an integer

  kframework/java-semantics#64 · opened on Jun 1, 2020

• division by zero exception

  kframework/java-semantics#63 · opened on Mar 1, 2020

• new String("") leads to timeout

  kframework/java-semantics#62 · opened on Mar 1, 2020

• octal values in double/float arrays

  kframework/java-semantics#61 · opened on Mar 1, 2020

• parsing issue for hexadecimal

  kframework/java-semantics#60 · opened on Mar 1, 2020

• wrong precision for floats

  kframework/java-semantics#59 · opened on Feb 29, 2020

• wrong modulo computation for negative doubles or floats

  kframework/java-semantics#58 · opened on Feb 29, 2020

• insufficient memory when kompile

  kframework/java-semantics#57 · opened on Jan 20, 2016

• print out a message when krun times out

  kframework/java-semantics#53 · opened on Nov 3, 2015
  4

• auxiliary functions

  kframework/java-semantics#8 · opened on Oct 8, 2014