Home
last modified time | relevance | path

Searched refs:sModAdd (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DSBV.hs321 znPlus sym m a b = sModAdd sym m a b
382 sModAdd :: SBV -> Integer -> SInteger SBV -> SInteger SBV -> SEval SBV (SInteger SBV)
383 sModAdd _ 0 _ _ = evalPanic "sModAdd" ["0 modulus not allowed"] function
384 sModAdd sym modulus x y = function
H A DWhat4.hs426 znPlus sym m x y = liftIO $ sModAdd (w4 sym) m x y
483 sModAdd :: W4.IsSymExprBuilder sym =>
485 sModAdd _sym 0 _ _ = evalPanic "sModAdd" ["0 modulus not allowed"] function
486 sModAdd sym m x y function