search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Autorewrite #37

Closed gmalecha closed 9 years ago

gmalecha commented 10 years ago

We should support autorewrite over expressions.

gmalecha commented 10 years ago

Implementation in STac/Rewrite. I need to find a good way to package it up.

gmalecha commented 10 years ago

Implementation here: ea04b26fe89c4776b690e5dd3134e1e7938db6ae Proof to follow.

gmalecha commented 9 years ago

Possibly better to integrate with the new setoid rewrite code.

gmalecha commented 9 years ago

Implemented & proved. ef1ee958ab6c777661cf4f9e4a5ff2081a66fdfd