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

Commit

Permalink
Drop all Cryptol Props in translator, and use dictionaries for all ty…
Browse files Browse the repository at this point in the history 
…pes.

The syntactic type representation `KType` and the dependent function
`ty` have been removed; polymorphic Cryptol values now take both a type
argument and a separate dictionary argument.

This fixes most of GaloisInc/saw-script#178.
  • Loading branch information
Brian Huffman committed Mar 6, 2017
1 parent 95caee4 commit 0e78371
Show file tree
Hide file tree
Showing 2 changed files with 470 additions and 458 deletions.
Loading

0 comments on commit 0e78371

Please sign in to comment.