Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 22, 2023

• Change a hard limit for arrays size (#2006)

  CaelmBleidd

  authored
  fde5281

  Copy full SHA for fde5281

Commits on Mar 14, 2023

• Plugin compatibility with IDE 2022.3 (#1653)

  Vassiliy-Kudryashov

  authored
  70b20ae

  Copy full SHA for 70b20ae

Commits on Jan 20, 2023

• Added symbolic wrappers for Ut iterators (#1725)

  Damtev

  authored
  c9d2fd5

  Copy full SHA for c9d2fd5

Commits on Jan 19, 2023

• Fixed copyOf, copyOfRange and asList failures (#1690)

  Damtev

  authored
  f7da114

  Copy full SHA for f7da114

Commits on Jan 4, 2023

• Mocks for AccessController, AutoCloseable and Throwable (#1618)

  Damtev

  authored
  963bca1

  Copy full SHA for 963bca1

Commits on Jan 3, 2023

• Fixed split implementation in the wrapper for String class and fixed some warnings in tests for String (#1615)

  Damtev

  authored
  b6c89b8

  Copy full SHA for b6c89b8

• Wrappers for concurrency classes (#1535)

  Damtev

  authored
  1172872

  Copy full SHA for 1172872

Commits on Oct 28, 2022

• Supported assemble models for streams in concrete execution (#1229)

  Damtev

  authored
  651f7d4

  Copy full SHA for 651f7d4

Commits on Oct 27, 2022

• Dynamic invoke for string concatenation #386 (#1185)

  sergeypospelov

  authored
  50dc51b

  Copy full SHA for 50dc51b

Commits on Oct 26, 2022

• Map don't work without concrete (#1228)

  Show description for dff228f
  CaelmBleidd

  authored
  dff228f

  Copy full SHA for dff228f

Commits on Oct 16, 2022

• Remove z3 string theory from String wrapper (#1050)

  Show description for 9453e11
  dtim

  authored
  9453e11

  Copy full SHA for 9453e11

Commits on Sep 28, 2022

• Primitive Stream wrappers (no laziness and source mutations support) (#871)

  Show description for 1411a8c
  Damtev

  authored
  1411a8c

  Copy full SHA for 1411a8c

Commits on Aug 31, 2022

• Add wrappers for queues #524 (#822)

  sergeypospelov

  authored
  84ef0b1

  Copy full SHA for 84ef0b1

Commits on Aug 29, 2022

• Fixes for analysis of reflection and Unsafe #721 (#797)

  Show description for 1f812d9
  dtim

  authored
  1f812d9

  Copy full SHA for 1f812d9

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