Skip to content

v2

Compare
Choose a tag to compare
@tamarinvs19 tamarinvs19 released this 24 Nov 12:28
· 14 commits to main since this release
  • UTBotJava
    commit 8b8abcdc0ddb9fc6dc3285afde253ceabe9bc973
    Author: Vyacheslav Tamarin [email protected]
    Date: Fri Nov 24 13:18:42 2023 +0300

      Update usvm-python-runner version
    
  • usvm
    commit 70ee11ba5917fdbe05031dda38b3d7d6f687402a
    Author: tochilinak [email protected]
    Date: Thu Nov 23 19:55:55 2023 +0300

      Fixed one case of underapproximation