search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Checker.Match: use a tactic to rewrite match equalities #195

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

Hmm.. this seemed to loop in CI.

mtzguido commented 2 months ago

This should now work after being made much more efficient.