Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 1, 2026

• Added names for mocks (#339)

  tochilinak

  authored
  dab6d43

  Copy full SHA for dab6d43

Commits on Oct 14, 2025

• [TS] Extend reachability analysis test suite (#334)

  Lipen

  authored
  71cd0e1

  Copy full SHA for 71cd0e1

Commits on Sep 23, 2025

• Made `plusAssign` of `UPathConstraints` non-recursive (#338)

  tochilinak

  authored
  3eb7178

  Copy full SHA for 3eb7178

Commits on Sep 22, 2025

• [TS] Fixes in TS interpreter for real projects (#336)

  Lipen

  authored
  99fa6cd

  Copy full SHA for 99fa6cd

Commits on Sep 15, 2025

• [TS] Fixes with arrays (#333)

  Show description for b41bb3d
  

  CaelmBleidd

  and

  Lipen

  authored
  b41bb3d

  Copy full SHA for b41bb3d

Commits on Sep 11, 2025

• [TS] Add checks to forbid fake objects (#335)

  Lipen

  authored
  42e0308

  Copy full SHA for 42e0308

• [TS] Bump jacodb and adopt enums (#332)

  Lipen

  authored
  407b68a

  Copy full SHA for 407b68a

Commits on Sep 9, 2025

• [TS] Reachability analysis (#331)

  Lipen

  authored
  7354d9f

  Copy full SHA for 7354d9f

• [TS] Some fixes to read/write, fake objects, calls (#329)

  Lipen

  authored
  5f0b67f

  Copy full SHA for 5f0b67f

Commits on Sep 8, 2025

• [TS] Support globals and imports (#323)

  Lipen

  authored
  6194bbd

  Copy full SHA for 6194bbd

• [TS] Handle null == undefined (#330)

  Lipen

  authored
  ebe4365

  Copy full SHA for ebe4365

Commits on Sep 5, 2025

• Made plusAssign of UPathConstraints open (#328)

  tochilinak

  authored
  75f0bfe

  Copy full SHA for 75f0bfe

Commits on Aug 22, 2025

• Bump jacodb (#325)

  Lipen

  authored
  e28484f

  Copy full SHA for e28484f

Commits on Aug 20, 2025

• Adopt literal types (#324)

  Lipen

  authored
  3f9bd62

  Copy full SHA for 3f9bd62

Commits on Aug 13, 2025

• [TS] Add and refactor ops (#322)

  Lipen

  authored
  6566cf1

  Copy full SHA for 6566cf1

Commits on Aug 7, 2025

• [TS] Test factory DSL (#320)

  Lipen

  authored
  9b81489

  Copy full SHA for 9b81489

• [TS] Arrays methods (#304)

  Show description for 419eb50
  

  CaelmBleidd

  and

  Lipen

  authored
  419eb50

  Copy full SHA for 419eb50

Commits on Aug 6, 2025

• Use `setOf` for singleton sets, use hash maps in EtsHierarchy (#321)

  Lipen

  authored
  5efe4be

  Copy full SHA for 5efe4be

• [TS] Reachability prototype (#308)

  CaelmBleidd

  authored
  31d2b8c

  Copy full SHA for 31d2b8c

Commits on Aug 5, 2025

• [TS] Support PtrCall (#311)

  Lipen

  authored
  06624d8

  Copy full SHA for 06624d8

Commits on Aug 1, 2025

• Added option `throwExceptionOnStepFailure` (#318)

  tochilinak

  authored
  63db70a

  Copy full SHA for 63db70a

Commits on Jul 31, 2025

• Use `stmt.location.method` instead of `stmt.method` (#312)

  Lipen

  authored
  c5b7794

  Copy full SHA for c5b7794

• `initializeAllocatedSet` in `USetRegion` (#316)

  Show description for e4ac429
  tochilinak

  authored
  e4ac429

  Copy full SHA for e4ac429

Commits on Jul 30, 2025

• Updated approximations (#314)

  MchKosticyn

  authored
  d496174

  Copy full SHA for d496174

Commits on Jul 27, 2025

• [chore] updated jacodb version (#313)

  MchKosticyn

  authored
  94b2381

  Copy full SHA for 94b2381

Commits on Jul 11, 2025

• [TS] Less expression (#302)

  Show description for 7a5af5f
  

  CaelmBleidd

  and

  Lipen

  authored
  7a5af5f

  Copy full SHA for 7a5af5f

• Do not use soft constraints in Division::testUnknownDivision (#306)

  Show description for 311bbf8
  Lipen

  authored
  311bbf8

  Copy full SHA for 311bbf8

• [TS] Support await (#303)

  Lipen

  authored
  4c0d9fb

  Copy full SHA for 4c0d9fb

• Configure /etc/hosts for gitcode (#309)

  Lipen

  authored
  d67fb63

  Copy full SHA for d67fb63

Commits on Jul 10, 2025

• Use System.getenv (#307)

  Lipen

  authored
  2b730f8

  Copy full SHA for 2b730f8

• Enable Gradle Build Scans (#305)

  Lipen

  authored
  c118431

  Copy full SHA for c118431

Commits on Jul 4, 2025

• Improve various machine features (#294)

  Show description for 8c5c0fa
  Saloed

  authored
  8c5c0fa

  Copy full SHA for 8c5c0fa

Commits on Jul 3, 2025

• Replaced access path bases with access paths in backward dataflow (#282)

  Show description for 814740d
  

  MForest7

  and

  Lipen

  authored
  814740d

  Copy full SHA for 814740d

• More fixes for real applications (#283)

  Show description for 72914ba
  

  CaelmBleidd

  and

  Lipen

  authored
  72914ba

  Copy full SHA for 72914ba

Commits on Jun 20, 2025

• Add strings support (#295)

  Lipen

  authored
  c9d843a

  Copy full SHA for c9d843a