Searched refs:isCodeGenMode (Results 1 – 3 of 3) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Floating.hs | 589 y st = do cg <- isCodeGenMode st
610 y st = do cg <- isCodeGenMode st
770 y st = do cg <- isCodeGenMode st
|
| H A D | Symbolic.hs | 46 , SBVExpr(..), newExpr, isCodeGenMode, isSafetyCheckingIStage, isRunIStage, isSetupIStage
943 isCodeGenMode :: State -> IO Bool
944 isCodeGenMode State{runMode} = do rm <- readIORef runMode function
|
| H A D | Data.hs | 53 , SolverContext(..), internalVariable, internalConstraint, isCodeGenMode
|