Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
70dee0b
feat: bound marked occurrences in counting paths
SamuelSchlesinger Oct 27, 2026
59acdc0
feat(ClauseSet): recursive counting-sparsification tree and leaf mode…
Oct 27, 2026
98fe7a3
test: exercise counting occurrence bounds and priority premises
SamuelSchlesinger Oct 27, 2026
2adad2a
feat(FineGrained,Sparsification): list-level counting sparsification,…
SamuelSchlesinger Oct 27, 2026
48adefe
refactor(Foundations,ClauseSet): move List.countP uniqueness lemmas t…
Oct 27, 2026
b49a878
feat: charge deleted marked clauses to counting insertions
SamuelSchlesinger Oct 27, 2026
9889cf3
test: cover deletion charges and immediate-survival boundary
SamuelSchlesinger Oct 27, 2026
7957fa8
doc: correct deletion lemma subsection locator
SamuelSchlesinger Oct 27, 2026
bff2d5c
docs: refine Appendix A.1, Proposition 6.4, and DenseRelabel source r…
SamuelSchlesinger Oct 27, 2026
a76c007
feat(FineGrained,Sparsification): depth-first counting-sparsification…
SamuelSchlesinger Oct 27, 2026
f4cf045
feat: prove immediate counting payload survival
SamuelSchlesinger Oct 27, 2026
b33ad62
Merge remote-tracking branch 'origin/feat/appa-tree-1226-antonkov' in…
SamuelSchlesinger Oct 27, 2026
712d9dc
fix(ClauseSet,Complexity): reuse CountingTree termination and clarify…
SamuelSchlesinger Oct 27, 2026
bcf211f
feat(sparsification): bound cumulative counting insertions
SamuelSchlesinger Oct 27, 2026
1a97326
feat(sparsification): bound actual counting path budgets
SamuelSchlesinger Oct 27, 2026
74db37b
feat(FineGrained): add dense occurrence-3 compiler and CountingSparsi…
SamuelSchlesinger Oct 27, 2026
6e9bc29
Merge remote-tracking branch 'origin/feat/counting-path-budgets-1226-…
SamuelSchlesinger Oct 27, 2026
edae064
feat(Choose): bound geometric binomial tails by an integer budget
SamuelSchlesinger Oct 27, 2026
be22d34
feat(FineGrained): discharge CountingTreeBound from counting path and…
SamuelSchlesinger Oct 27, 2026
12c91eb
refactor(FineGrained): extract general CNF relabel/count lemmas and a…
SamuelSchlesinger Oct 27, 2026
e1ce3f1
Merge branch 'feat/three-occurrence-reduction-1226-jetski' into feat/…
SamuelSchlesinger Oct 27, 2026
cabd99d
feat(FineGrained): add promised-runtime budget-discharged counting se…
SamuelSchlesinger Oct 27, 2026
4f161cc
feat(Sparsification): select sharp first-success counting thresholds
SamuelSchlesinger Oct 27, 2026
3d9527c
feat(FineGrained): reuse CountingParameters coefficients and prove un…
SamuelSchlesinger Oct 27, 2026
91ff927
feat(counting): preserve independent sparsification workspace
SamuelSchlesinger Oct 27, 2026
5ea041f
Merge remote-tracking branch 'origin/feat/counting-workspace-1226-cod…
SamuelSchlesinger Oct 27, 2026
0f58c8a
feat(FineGrained): export prefix bounds, runtime-context stepWith, an…
SamuelSchlesinger Oct 27, 2026
34db3c4
feat(counting): preserve independent sparsification workspace
SamuelSchlesinger Oct 27, 2026
fe448d8
fix(counting): relocate PolyBounded.pow and replace mirror tests in #…
SamuelSchlesinger Oct 27, 2026
53dcb86
Merge actual main into approved counting wrapper (#1321)
SamuelSchlesinger Oct 27, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading