EasyCrypt Circuit Based Reasoning Extension#752

Open

Gustavo2622 wants to merge 33 commits intomainfrom

bdep_ecCircuitsRefactor

Commits on Jan 20, 2026

Circuit reasoning functionality
Gustavo2622
committed

Commits on Jan 22, 2026

Commits on Jan 23, 2026

Added duplicate checking for spec files and general cleanup
Gustavo2622
committed

Commits on Feb 3, 2026

Merge remote-tracking branch 'origin/main' into bdep_ecCircuitsRefactor
Gustavo2622
committed

Commits on Feb 6, 2026

Allow uninitialized program variable in circuit solve for hoare goals
Gustavo2622
committed

Commits on Feb 10, 2026

Moved map reference to inside function scope in hash
Gustavo2622
committed

Commits on Feb 11, 2026

Started documenting circuit tactic and small fix to circuit test
Gustavo2622
committed

Commits on Feb 16, 2026

Added documentation and tests for circuit tactics
Gustavo2622
committed

Commits on Feb 18, 2026

Merge remote-tracking branch 'origin/main' into bdep_ecCircuitsRefactor
strub
committed

Commits on Feb 19, 2026

Commits on Feb 21, 2026

Commits on Feb 26, 2026

Error message for ec scope
Gustavo2622
committed

Commits on Feb 27, 2026

nits
Gustavo2622
committed

Commits on Mar 3, 2026

WIP: Bitwuzla -> Bitwuzla_cxx
Gustavo2622
committed

Commits on Mar 4, 2026

Commits on Mar 5, 2026

Merge remote-tracking branch 'origin/bdep_ecCircuitsRefactor' into bdep_ecCircuitsRefactor
strub
committed