Commits

Breadcrumbs

History for

ontamarinvs19/python-usvm

User selector

All users

All time

Commit History

Commits on Dec 7, 2023

• Fix read-only arguments initialization

  tamarinvs19

  committed
  ee25ead

  Copy full SHA for ee25ead

Commits on Dec 6, 2023

• Fix iterator with exception serialization

  tamarinvs19

  committed
  89d6e69

  Copy full SHA for 89d6e69

• Update tracing

  tamarinvs19

  committed
  62c9ffd

  Copy full SHA for 62c9ffd

Commits on Dec 4, 2023

• Fix tracing for iterator return value and code style

  tamarinvs19

  committed
  d8cc154

  Copy full SHA for d8cc154

Commits on Dec 1, 2023

• Skip coverage sending during tracing

  tamarinvs19

  committed
  d624f95

  Copy full SHA for d624f95

• Remove instructions minimization

  tamarinvs19

  committed
  fc391da

  Copy full SHA for fc391da

• Fix constructor name for inner classes

  tamarinvs19

  committed
  f38f44f

  Copy full SHA for f38f44f

Commits on Nov 30, 2023

• Fix serialization problem with incomparable keys in dict

  tamarinvs19

  committed
  00bb954

  Copy full SHA for 00bb954

• Update tests in utbot-executor

  tamarinvs19

  committed
  1fa6b37

  Copy full SHA for 1fa6b37

• Supported inner classes

  tamarinvs19

  committed
  b51d1b8

  Copy full SHA for b51d1b8

Commits on Nov 27, 2023

• Fix state assertions for pickled objects

  tamarinvs19

  committed
  f4af7af

  Copy full SHA for f4af7af

• Add param to skip state assertions: fix argument parsing

  tamarinvs19

  committed
  2251018

  Copy full SHA for 2251018

• Add param to skip state assertions: update executor

  tamarinvs19

  committed
  43b8f27

  Copy full SHA for 43b8f27

• Add param to skip state assertions

  tamarinvs19

  committed
  de27381

  Copy full SHA for de27381

Commits on Nov 20, 2023

• Support python iterators

  tamarinvs19

  committed
  a94c048

  Copy full SHA for a94c048

Commits on Nov 15, 2023

• Filter invalid self objects

  tamarinvs19

  committed
  9834adb

  Copy full SHA for 9834adb

Commits on Nov 7, 2023

• Add cli processor for sbft

  tamarinvs19

  committed
  cdce106

  Copy full SHA for cdce106

Commits on Nov 3, 2023

• Add usvm

  tamarinvs19

  committed
  3a532c6

  Copy full SHA for 3a532c6

Commits on Oct 30, 2023

• First version python-usvm api usage

  tamarinvs19

  committed
  e4e83db

  Copy full SHA for e4e83db

Commits on Oct 19, 2023

• Remove inner frames logic

  tamarinvs19

  committed
  09c730e

  Copy full SHA for 09c730e

Commits on Oct 17, 2023

• Update cli arguments and coverage format

  tamarinvs19

  committed
  99c66ea

  Copy full SHA for 99c66ea

• Add instructions/lines trace mode, update coverage output

  tamarinvs19

  committed
  cf67b46

  Copy full SHA for cf67b46

Commits on Oct 10, 2023

• update coverage

  tamarinvs19

  committed
  e0f3332

  Copy full SHA for e0f3332

Commits on Oct 9, 2023

• version update

  tamarinvs19

  committed
  85b9971

  Copy full SHA for 85b9971

• instruction coverage update and fix bugs

  tamarinvs19

  committed
  e62a180

  Copy full SHA for e62a180

Commits on Oct 5, 2023

• instruction coverage update

  tamarinvs19

  committed
  dc62e03

  Copy full SHA for dc62e03

Commits on Oct 4, 2023

• instruction coverage

  tamarinvs19

  committed
  f28deff

  Copy full SHA for f28deff

Commits on Sep 29, 2023

• First version of instruction coverage

  tamarinvs19

  committed
  e69d473

  Copy full SHA for e69d473

Commits on Sep 12, 2023

• Forks in python fuzzing and refactoring (#2588)

  tamarinvs19

  authored
  45e1d37

  Copy full SHA for 45e1d37

Commits on Sep 7, 2023

• UTBot Python fix bugs (#2581)

  tamarinvs19

  authored
  9c122a9

  Copy full SHA for 9c122a9

Commits on Aug 31, 2023

• Include utbot-executor and fix bugs (#2548)

  tamarinvs19

  authored
  b775394

  Copy full SHA for b775394

Loading