Adam C. Foltzer
d409116160
Merge branch 'devel'
...
This was the branch I originally set up for git flow, but we're moving
to production=release and develop=master, so this branch is obsolete.
2014-08-19 10:31:31 -07:00
Aaron Tomb
abe336d907
Added SignCast instance and exported sbv
...
Changes necessary for SAWCore's use of SBV. Ultimately, these should be
merged into the upstream SBV package.
2014-08-06 09:49:19 -07:00
Adam C. Foltzer
ab39a74c98
fix #67
...
The python side of the notebook needed to be updated to expect a
.cabal-sandbox rather than cabal-dev sandbox. Also added a -fnotebook
flag to the cabal file to build the Haskell side of it.
2014-07-29 08:53:44 -07:00
Brian Huffman
db08bfafa9
Merge changes from SBV release version 3.1
2014-07-21 15:23:34 -07:00
Brian Huffman
b304eb2ef0
New module Cryptol.TypeCheck.TypeOf has functions to compute Type of an Expr
2014-05-09 16:27:07 -07:00
Adam C. Foltzer
7f44d616dd
fixup: Paths_cryptol_parser
2014-04-18 10:28:46 -07:00
Adam C. Foltzer
5b25f8c21a
it's not just a parser anymore
2014-04-18 10:18:26 -07:00
Adam C. Foltzer
ba0a0e8576
Initial import from internal repo
2014-04-17 15:34:25 -07:00
