Allow use of Cryptol property names as simplification rules#1755

Merged

mergify[bot] merged 9 commits intomasterfrom feature/cryptol-property-unfolding

Oct 18, 2022

+62-40

Commits on Oct 7, 2022

Unfold bare Cryptol properties when interpreting them as rewrite rules
samcowger
committed

Commits on Oct 8, 2022

Add a test
samcowger
committed

Commits on Oct 10, 2022

Revert "Unfold bare Cryptol properties when interpreting them as rewrite rules"
samcowger
committed

Commits on Oct 14, 2022

Commits on Oct 17, 2022

Commits on Oct 18, 2022

Use left-to-right rule recognition style without top-level pattern-matching
samcowger
committed