Commits

History for

Commits on May 15, 2026

Add parameter type signatures for IL and JVM methods (#358)

Giulia Stocco (gfs)
and
Copilot
authored
a3cc253

Commits on Jan 13, 2026

Revert JVM stack state precomputation
Giulia Stocco (gfs)
committed
bc98a0f

Commits on Jan 12, 2026

Use single TRAP file for JVM extraction
Giulia Stocco (gfs)
committed
0926f3d

Commits on Jan 9, 2026

Cleanup state
Giulia Stocco (gfs)
committed
5dedaee
Add JVM stack state extraction and QL accessors
Giulia Stocco (gfs)
committed
7256e95

Commits on Jan 6, 2026

Commits on Jan 5, 2026

Handle null names in JVM extractor
Giulia Stocco (gfs)
committed
1c3a107
Add initial Java bytecode extractor and QL support
Giulia Stocco (gfs)
committed
d743fbf

Commits on Dec 16, 2025

Binary: Extract field references.
Mathias Vorreiter Pedersen (MathiasVP)
committed
79817dc

Commits on Dec 12, 2025

Simplify CIL autobuild and index scripts
Giulia Stocco (gfs)
committed
462479a

Commits on Dec 10, 2025

Commits on Dec 2, 2025

Commits on Dec 1, 2025

CIL: Support calls.
Mathias Vorreiter Pedersen (MathiasVP)
committed
7ff2c54

Commits on Nov 28, 2025

Commits on Nov 25, 2025

Commits on Nov 24, 2025

TODO
Mathias Vorreiter Pedersen (MathiasVP)
committed
ab74bca

Commits on Oct 18, 2025

Binary: Initial commit.
Mathias Vorreiter Pedersen (MathiasVP)
committed
8022269

Loading