Prover/Adding Initial Compiler for Permutation Query#386

Merged

AlexandreBelling merged 22 commits into

prover/limitless-top-levelfrom

prover/permutation-initial-wizard

Dec 20, 2024

Commits on Dec 2, 2024

commit all ideas

AlexandreBelling
authored and
Soleimani193
committed
added aggregator
Soleimani193
committed

Commits on Dec 3, 2024

initial framework added
arijitdutta67
committed

Commits on Dec 4, 2024

added grand product query
arijitdutta67
committed

Commits on Dec 11, 2024

Commits on Dec 12, 2024

module discoverer is added
arijitdutta67
committed

Commits on Dec 13, 2024

added a test, not working yet
arijitdutta67
committed

Commits on Dec 16, 2024

Commits on Dec 17, 2024

bug fix added
arijitdutta67
committed