Commits

Breadcrumbs

History for

onutbot-python

User selector

All users

All time

Commit History

Commits on Aug 21, 2022

• IntelliJ plugin, Gradle, Kotlin, Java version upgrade #429 (#749)

  denis-fokin

  authored
  44eb2c5

  Copy full SHA for 44eb2c5

Commits on Jul 8, 2022

• Extract Traverser from UtBotSymbolicEngine (#307)

  sergeypospelov

  authored
  c6bb765

  Copy full SHA for c6bb765

Commits on Jul 4, 2022

• ToString support for abstract collection using makeSymbolic #391

  CaelmBleidd

  committed
  3b21112

  Copy full SHA for 3b21112

• Added the wrapper for static methods of java.util.List (#400)

  Damtev

  authored
  1c01193

  Copy full SHA for 1c01193

Commits on Jun 21, 2022

• Wrapper for basic Stream (#194)

  Damtev

  authored
  de99fe8

  Copy full SHA for de99fe8

• AssumeOrExecuteConcretely instruction support (#64)

  CaelmBleidd

  committed
  339cdf6

  Copy full SHA for 339cdf6

Commits on Jun 6, 2022

• Register throw statements of the wrapper's methods in the global graph

  CaelmBleidd

  committed
  41d3f04

  Copy full SHA for 41d3f04

Commits on May 20, 2022

• Add UTBot Java

  viktoriia-fomina

  committed
  3c78560

  Copy full SHA for 3c78560

Loading