Commits

Breadcrumbs

History for

ontochilinak/usvm-python

User selector

All users

All time

Commit History

Commits on Dec 12, 2023

• Work for sbft

  tochilinak

  committed
  7d92741

  Copy full SHA for 7d92741

Commits on Nov 15, 2023

• One more case in `utbot-python-types` subtype checker (#2688)

  Show description for 355647c
  tochilinak

  authored
  355647c

  Copy full SHA for 355647c

Commits on Sep 4, 2023

• Update of module `utbot-python-types` (#2575)

  Show description for 5ee3695
  tochilinak

  authored
  5ee3695

  Copy full SHA for 5ee3695

Commits on Aug 31, 2023

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

  tamarinvs19

  authored
  b775394

  Copy full SHA for b775394

Commits on Aug 17, 2023

• Python type hints in a separate module (#2510)

  tochilinak

  authored
  716c974

  Copy full SHA for 716c974

Loading