EasyCrypt Circuit Based Reasoning Extension#752

Draft

Gustavo2622 wants to merge 16 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