Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Add w4EvalTerm for round-tripping terms of any type through what4. #107

Closed
wants to merge 1 commit into from
Closed

Add w4EvalTerm for round-tripping terms of any type through what4. #107

wants to merge 1 commit into from

Commits on Jan 22, 2021

  1. Add w4EvalTerm for round-tripping terms of any type through what4. 

    Currently this only works for first-order values; function types
are not supported yet.
    Brian Huffman committed Jan 22, 2021
    Configuration menu
    Copy the full SHA
    fd9df6c View commit details
    Browse the repository at this point in the history