GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 00:22:49 +03:00
Code Issues Projects Releases Wiki Activity

Update crucible libraries to track what4 changes.

Browse Source 
Additionally, minor related fixes in the SAWCore backend.
This commit is contained in:
Rob Dockins 2018-08-14 16:19:47 -07:00
parent b8de611a7b
commit d7d601a872
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
what4-abc/src/What4/Solver/ABC.hs
View File

@ -294,6 +294,7 @@ bitblastExpr h ae = do
SemiRingLe SemiRingNat _ _ -> natFail
SemiRingIte SemiRingNat _ _ _ -> natFail
NatDiv{} -> natFail
NatMod{} -> natFail
------------------------------------------------------------------------
-- Integer operations