Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 15, 2023

• Rename taint configuration classes (#1955)

  mmvpm

  authored
  b071cf5

  Copy full SHA for b071cf5

• Replace z3 jar files with KSMT dependency (#1941)

  CaelmBleidd

  authored
  88927a9

  Copy full SHA for 88927a9

Commits on Mar 13, 2023

• Prune branches with unexpected mocks #1560 (#1889)

  EgorkaKulikov

  authored
  511f13e

  Copy full SHA for 511f13e

Commits on Mar 7, 2023

• Fix broken compilation after mighration to java 17 (#1904)

  Show description for 1db6355
  Vassiliy-Kudryashov

  authored
  1db6355

  Copy full SHA for 1db6355

Commits on Feb 16, 2023

• Add taint analysis configuration parser (#1770)

  mmvpm

  authored
  4a769ad

  Copy full SHA for 4a769ad

Commits on Feb 13, 2023

• Add support for Artificial Errors in Summaries #1739 (#1785)

  Show description for 196dc2a
  sofurihafe

  authored
  196dc2a

  Copy full SHA for 196dc2a

Commits on Feb 10, 2023

• Fix missing info in summaries #1588, #1734 (#1782)

  Show description for 1ed6efa
  sofurihafe

  authored
  1ed6efa

  Copy full SHA for 1ed6efa

Commits on Feb 2, 2023

• Move all summary tests in utbot-summary-tests project (#1765)

  Show description for 2a446d6
  sofurihafe

  authored
  2a446d6

  Copy full SHA for 2a446d6

Commits on Jan 25, 2023

• Add support for virtual invokes on enums (#1746)

  CaelmBleidd

  authored
  22badb4

  Copy full SHA for 22badb4

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

• Move generic information to a state memory (#1715)

  CaelmBleidd

  authored
  c7c493e

  Copy full SHA for c7c493e

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

  Damtev

  authored
  f7da114

  Copy full SHA for f7da114

Commits on Jan 17, 2023

• Move `UtExecutionInstrumentation` to `utbot-instrumentation` module (#1637)

  sergeypospelov

  authored
  f4d8979

  Copy full SHA for f4d8979

Commits on Jan 16, 2023

• Added constructing `this` instance for captured values of lambda in case of early return (#1658)

  Damtev

  authored
  edc1d8d

  Copy full SHA for edc1d8d

Commits on Jan 10, 2023

• Remove error from generics processing (#1646)

  CaelmBleidd

  authored
  6fa3e1b

  Copy full SHA for 6fa3e1b

• Add options for clinit sections (#1636)

  CaelmBleidd

  authored
  3d89fdf

  Copy full SHA for 3d89fdf

Commits on Jan 6, 2023

• Allowed local classes in type storages (#1632)

  Damtev

  authored
  630c765

  Copy full SHA for 630c765

Commits on Jan 5, 2023

• Fixed wrong sort during resolving StringBuilder (#1628)

  Damtev

  authored
  aecd860

  Copy full SHA for aecd860

• Fix no targets for invocation for abstract this type (#1626)

  CaelmBleidd

  authored
  08481e4

  Copy full SHA for 08481e4

• Add support for generic information retrieved from signatures of nested methods (#1619)

  CaelmBleidd

  authored
  31713eb

  Copy full SHA for 31713eb

• Add missed mock generator for static fields (#1621)

  CaelmBleidd

  authored
  ac19a3a

  Copy full SHA for ac19a3a

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 Dec 27, 2022

• New treating of artificial errors #1272 (#1573)

  Show description for df4340e
  EgorkaKulikov

  authored
  df4340e

  Copy full SHA for df4340e

Commits on Dec 21, 2022

• Removed enum constants from meaningful static fields (#1561)

  Damtev

  authored
  295ede5

  Copy full SHA for 295ede5

Commits on Dec 19, 2022

• Added symbolic processing of `newInstance` reflection call (#1540)

  Damtev

  authored
  ac31b7f

  Copy full SHA for ac31b7f

Commits on Dec 15, 2022

• Add interfaces of superclasses in ancestors set (#1528)

  CaelmBleidd

  authored
  374a351

  Copy full SHA for 374a351

• Add disjunction with null condition to isMock constraint (#1521)

  CaelmBleidd

  authored
  e28e14c

  Copy full SHA for e28e14c

Commits on Dec 14, 2022

• Make symbolic execs preferable in minimization process #1504 (#1514)

  sofurihafe

  authored
  047ea48

  Copy full SHA for 047ea48

Commits on Dec 9, 2022

• Add timeout tests to SARIF report (#1496)

  Show description for 1042fb7
  mmvpm

  authored
  1042fb7

  Copy full SHA for 1042fb7

Commits on Dec 8, 2022

• Concrete executor phases refactoring (#1446)

  SBOne-Kenobi

  authored
  b5f40fc

  Copy full SHA for b5f40fc

Commits on Dec 7, 2022

• Add logical locations to SARIF reports (#1456)

  mmvpm

  authored
  bfe7ed0

  Copy full SHA for bfe7ed0

Commits on Nov 26, 2022

• Rd & logs refactoring (#1399)

  Show description for 46cfad6
  Domonion

  authored
  46cfad6

  Copy full SHA for 46cfad6

Commits on Nov 25, 2022

• Avoid remembering and restoring enum constants #1397 #306 (#1416)

  EgorkaKulikov

  authored
  4b9ca2d

  Copy full SHA for 4b9ca2d

Commits on Nov 23, 2022

• Enum classes are instantiated correctly if some methods are overriden #1210 (#1408)

  EgorkaKulikov

  authored
  9d08eb8

  Copy full SHA for 9d08eb8

Pagination

Previous

Next