Default Branch

main 71fc60766d · Loop generalization, BSR/BSF intrinsics, and stack alloca split (#207) · Updated 2026-05-08 11:00:42 +00:00

ZIP  TAR.GZ

Branches

autoresearch/lets-try-to-fix-it-20260429 03309ff1d9 · pr: drop autoresearch notes from themida docs PR · Updated 2026-04-29 20:20:16 +00:00	3 5		ZIP  TAR.GZ
autoresearch/lets-craete-more-test-cases-complex-loops-with-v-20260425 358f3e1e65 · autoresearch.md: bump current best to 425 samples (run #80) · Updated 2026-04-26 12:40:01 +00:00	4 398		ZIP  TAR.GZ
themida-correctness-gate 736e7b31fa · lifter: gate canGeneralize on per-header revisit count · Updated 2026-04-24 06:11:08 +00:00	25 6		ZIP  TAR.GZ
test/expand-loop-coverage-batch-25 2180c6aabe · lifter: expand loop microtest coverage (+2 tests, batch 25) · Updated 2026-04-23 06:51:49 +00:00	57 14		ZIP  TAR.GZ
test/expand-loop-coverage-batch-23 f9aa78d551 · lifter: expand loop microtest coverage (+2 tests, batch 23) · Updated 2026-04-23 05:51:30 +00:00	58 13		ZIP  TAR.GZ
test/expand-loop-coverage-batch-11 f625426bae · lifter: expand loop microtest coverage (+4 net tests, batch 11) · Updated 2026-04-23 02:48:44 +00:00	69 1		ZIP  TAR.GZ
themida/next-frontier 20f80b672e · lifter: prefer file-backed queued targets (#105) · Updated 2026-04-19 16:31:41 +00:00	98 0	Included	ZIP  TAR.GZ
feature/named-import-calls 95dac6ef13 · fix: build link failure, InlinePolicy bug, export directory bounds · Updated 2026-03-27 05:45:07 +00:00	156 1		ZIP  TAR.GZ