Commits

Breadcrumbs

History for

ontamarinvs19/python-usvm

User selector

All users

All time

Commit History

Commits on Dec 4, 2023

• Filter sys path imports

  tamarinvs19

  committed
  48792b3

  Copy full SHA for 48792b3

Commits on Dec 1, 2023

• Fix constructor name for inner classes

  tamarinvs19

  committed
  f38f44f

  Copy full SHA for f38f44f

Commits on Nov 30, 2023

• Supported inner classes

  tamarinvs19

  committed
  b51d1b8

  Copy full SHA for b51d1b8

Commits on Nov 27, 2023

• Add exit(0)

  tamarinvs19

  committed
  065642a

  Copy full SHA for 065642a

• Add param to skip state assertions: fix argument parsing

  tamarinvs19

  committed
  2251018

  Copy full SHA for 2251018

• Add param to skip state assertions

  tamarinvs19

  committed
  de27381

  Copy full SHA for de27381

• Updated usvm-python-runner + small fixes

  tochilinak

  committed
  fabd51b

  Copy full SHA for fabd51b

Commits on Nov 24, 2023

• Support SIGTERM cancellation

  tamarinvs19

  committed
  35011d7

  Copy full SHA for 35011d7

Commits on Nov 23, 2023

• Add command line argument for including mypy timeout

  tamarinvs19

  committed
  38be05b

  Copy full SHA for 38be05b

Commits on Nov 16, 2023

• Select only one function for check-usvm

  tamarinvs19

  committed
  5b2ee25

  Copy full SHA for 5b2ee25

• Unused timeout redistribution

  tamarinvs19

  committed
  9d1b34a

  Copy full SHA for 9d1b34a

• Add cleaner to sbft

  tamarinvs19

  committed
  f3d390b

  Copy full SHA for f3d390b

• Add cleaner to sbft

  tamarinvs19

  committed
  4484be4

  Copy full SHA for 4484be4

• Update timeout management

  tamarinvs19

  committed
  f34b4ca

  Copy full SHA for f34b4ca

Commits on Nov 15, 2023

• Update timeout logic

  tamarinvs19

  committed
  51a4f8a

  Copy full SHA for 51a4f8a

• Handle zero number of functions

  tamarinvs19

  committed
  3017b72

  Copy full SHA for 3017b72

Commits on Nov 14, 2023

• Move mypy running

  tamarinvs19

  committed
  b705f37

  Copy full SHA for b705f37

• Add timout scaling

  tamarinvs19

  committed
  3245bc0

  Copy full SHA for 3245bc0

• Add timout scaling

  tamarinvs19

  committed
  2f6695f

  Copy full SHA for 2f6695f

• Add usvm check param

  tamarinvs19

  committed
  e343606

  Copy full SHA for e343606

Commits on Nov 9, 2023

• Added System.exit(0)

  tochilinak

  committed
  da90ccc

  Copy full SHA for da90ccc

Commits on Nov 8, 2023

• Add exception filter and supported methods in usvm

  tamarinvs19

  committed
  fd237d1

  Copy full SHA for fd237d1

Commits on Nov 7, 2023

• add sbft cli

  tamarinvs19

  committed
  51fb71e

  Copy full SHA for 51fb71e

• Add cli processor for sbft

  tamarinvs19

  committed
  cdce106

  Copy full SHA for cdce106

Commits on Nov 3, 2023

• Add usvm arguments

  tamarinvs19

  committed
  a820147

  Copy full SHA for a820147

• 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 26, 2023

• Merge branch 'tamarinvs19/python-todos' into tamarinvs19/python-usvm

  tamarinvs19

  committed
  7b73002

  Copy full SHA for 7b73002

Commits on Oct 25, 2023

• Refactor python coverage

  tamarinvs19

  committed
  d9b299b

  Copy full SHA for d9b299b

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 11, 2023

• Remove createNewFile

  tamarinvs19

  committed
  410c248

  Copy full SHA for 410c248

Commits on Oct 10, 2023

• Add cli arguments

  tamarinvs19

  committed
  6dd5f5e

  Copy full SHA for 6dd5f5e

Commits on Sep 13, 2023

• Forks in python fuzzing and refactoring (#2588)

  Show description for bd81d2e
  tamarinvs19

  committed
  bd81d2e

  Copy full SHA for bd81d2e