crux-0.7: Simple top-level library for Crucible Simulation

Index - S

sameSolverCrux.Config.Solver
SatResultCrux.Goal
sayCrux.Log, Crux
sayCruxCrux.Log, Crux
SayLevelCrux.Types, Crux.Log, Crux
SayMoreCrux.Types, Crux.Log, Crux
SayNothingCrux.Types, Crux.Log, Crux
SayWhat 
1 (Type/Class)Crux.Types, Crux.Log, Crux
2 (Data Constructor)Crux.Types, Crux.Log, Crux
sayWhatFailedGoalsCrux.FormatOut
sayWhatResultStatusCrux.FormatOut
sectionCrux.Config, Crux
sectionMaybeCrux.Config, Crux
SectionsSpecCrux.Config, Crux
setupHookCrux
showBVLiteralCrux.Model
showDoubleLiteralCrux.Model
showFloatLiteralCrux.Model
ShowHelpCrux.Config.Load
showHelpCrux.Config.Load
ShowVersionCrux.Config.Load
showVersionCrux.Config.Load
silentProverMilestoneCallbacksCrux.ProgressBar
SimCtxtCrux.Types
SimplyCrux.Types, Crux.Log, Crux
SimulationCompleteCrux.Log, Crux
SimulationTimedOutCrux.Log, Crux
SimulatorCallbacks 
1 (Type/Class)Crux
2 (Data Constructor)Crux
SimulatorHooks 
1 (Type/Class)Crux
2 (Data Constructor)Crux
simVerboseCrux.Config.Common
SingleOnlineSolverCrux.Config.Solver
skipIncompleteReportsCrux.Config.Common, Crux
SkippingUnsatCoresBecauseMCSatEnabledCrux.Log, Crux
skipReportCrux.Config.Common, Crux
skipSuccessReportsCrux.Config.Common, Crux
SMTResultCrux.Goal
solverCrux.Config.Common, Crux
SolverConfigCrux.Config.Solver
SolverOfflineCrux.Config.Solver
SolverOnline 
1 (Data Constructor)Crux.Config.Solver
2 (Type/Class)Crux.Config.Solver
SomeOnlineSolver 
1 (Type/Class)Crux
2 (Data Constructor)Crux
SourceCodeLangCrux.SVCOMP.Witness
SplitAndExploreDepthFirstCrux.Config.Common
StartedGoalCrux.Log, Crux
STPCrux.Config.Solver
StringCrux.SVCOMP.Witness
stringSpecCrux.Config, Crux
SupportsCruxLogMessageCrux.Log, Crux
svcompArchCrux.SVCOMP
svcompBlacklistCrux.SVCOMP
SVCompLanguageCrux.SVCOMP
SVCOMPOptions 
1 (Type/Class)Crux.SVCOMP
2 (Data Constructor)Crux.SVCOMP
svcompOptionsCrux.SVCOMP
SVCompPropertyCrux.SVCOMP
svcompSpecCrux.SVCOMP
svcompWitnessOutputCrux.SVCOMP
symCfgCrux.Goal