Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Aug 1, 2025

• Added option `throwExceptionOnStepFailure` (#318)

  tochilinak

  authored
  63db70a

  Copy full SHA for 63db70a

Commits on Jul 4, 2025

• Improve various machine features (#294)

  Show description for 8c5c0fa
  Saloed

  authored
  8c5c0fa

  Copy full SHA for 8c5c0fa

Commits on Jun 19, 2025

• Add time profiling in `UDebugProfileObserver` (#293)

  Show description for 54633bd
  tochilinak

  authored
  54633bd

  Copy full SHA for 54633bd

Commits on Dec 20, 2024

• Fixed Python build (#231)

  Show description for 722b5bf
  CaelmBleidd

  authored
  722b5bf

  Copy full SHA for 722b5bf

Commits on Dec 10, 2024

• Generalize `JcDebugProfileObserver` for `usvm-core` (#223)

  Show description for 92c25ab
  tochilinak

  authored
  92c25ab

  Copy full SHA for 92c25ab

Commits on Sep 17, 2024

• Move `TrieNode` from `kotlinx.collections` (#194)

  Show description for 0acf657
  oveeernight

  authored
  0acf657

  Copy full SHA for 0acf657

Commits on Sep 3, 2024

• [python] Introducing virtual objects with multiple sets of slots (#209)

  Show description for a94eb5b
  jefremof

  authored
  a94eb5b

  Copy full SHA for a94eb5b

Commits on Aug 16, 2024

• [python] First step in supporting type inference, based on the usage of `sq_concat` (#207)

  Show description for 37050f9
  jefremof

  authored
  37050f9

  Copy full SHA for 37050f9

Commits on Jul 13, 2024

• usvm-python (#169)

  Show description for 61bf0da
  

  4 peopleauthored
  61bf0da

  Copy full SHA for 61bf0da

Loading