PropaFP-0.1.1.0: Auto-active verification of floating-point programs

Index

AbsPropaFP.Expression
AddPropaFP.Expression
addBindingPropaFP.Parsers.Lisp.DataTypes
addVarMapBoundsToFPropaFP.Parsers.Smt
analyzeExpressionPropaFP.Parsers.Lisp.Parser
analyzeExpressionSequencePropaFP.Parsers.Lisp.Parser
AndPropaFP.Expression
ApplicationPropaFP.Parsers.Lisp.DataTypes
BinOpPropaFP.Expression
bisectIntervalPropaFP.VarMap
bisectNPropaFP.VarMap
bisectTypedIntervalPropaFP.VarMap
bisectTypedVarPropaFP.VarMap
bisectVarPropaFP.VarMap
BooleanPropaFP.Parsers.Lisp.DataTypes
boxToVarMapPropaFP.VarMap
centrePropaFP.VarMap
checkFWithEvalPropaFP.DeriveBounds
CNFPropaFP.Parsers.Smt
cnfExpressionAndDomainsToDrealPropaFP.Translators.DReal
cnfExpressionAndDomainsToMetiTarskiPropaFP.Translators.MetiTarski
cnfExpressionsToSMT 
1 (Function)PropaFP.Translators.MetiTarski
2 (Function)PropaFP.Translators.DReal
cnfExpressionsToTptpPropaFP.Translators.MetiTarski
collapseOrPropaFP.Parsers.Smt
collapseOrsPropaFP.Parsers.Smt
CompPropaFP.Expression
computeEPropaFP.Expression
computeECNFPropaFP.Expression
computeEDisjunctionPropaFP.Expression
computeQualifiedEsPropaFP.Expression
CondPropaFP.Parsers.Lisp.DataTypes
conjunctionToSMTPropaFP.Translators.DReal
ConnPropaFP.Expression
containsPropaFP.VarMap
CosPropaFP.Expression
DefinitionPropaFP.Parsers.Lisp.DataTypes
deriveBoundsAndSimplifyPropaFP.DeriveBounds
deriveVCRangesPropaFP.Parsers.Smt
determineFloatTypeEPropaFP.Parsers.Smt
determineFloatTypeFPropaFP.Parsers.Smt
disjunctionExpressionsToSMT 
1 (Function)PropaFP.Translators.MetiTarski
2 (Function)PropaFP.Translators.DReal
disjunctionExpressionsToTptpPropaFP.Translators.MetiTarski
DivPropaFP.Expression
EPropaFP.Expression
EBinOpPropaFP.Expression
eContainsVarsPropaFP.Parsers.Smt
eliminateFloatsAndSimplifyVCPropaFP.Parsers.Smt
eliminateFloatsFPropaFP.EliminateFloats
eliminateKnownFunctionGuardPropaFP.Parsers.Smt
eliminateKnownFunctionGuardsPropaFP.Parsers.Smt
EmptyEnvironmentPropaFP.Parsers.Lisp.DataTypes
ENonStrictPropaFP.Expression
Environment 
1 (Type/Class)PropaFP.Parsers.Lisp.DataTypes
2 (Data Constructor)PropaFP.Parsers.Lisp.DataTypes
EqPropaFP.Expression
ESafePropaFP.Expression
eSafeCNFToDNFPropaFP.Expression
eSafeCNFToFPropaFP.Expression
eSafeDisjToFPropaFP.Expression
eSafeToFPropaFP.Expression
EStrictPropaFP.Expression
EUnOpPropaFP.Expression
evalEPropaFP.DeriveBounds
evalE_RationalPropaFP.DeriveBounds
evalF_comparisonsPropaFP.DeriveBounds
ExceptionPropaFP.Parsers.Lisp.DataTypes
ExpressionPropaFP.Parsers.Lisp.DataTypes
expressionToBoxFunPropaFP.Translators.BoxFun
expressionToFPTaylorPropaFP.Translators.FPTaylor
expressionToSMTPropaFP.Translators.DReal
expressionToTPTPPropaFP.Translators.MetiTarski
expressionWithVarMapToFPTaylorPropaFP.Translators.FPTaylor
extendEnvironmentPropaFP.Parsers.Lisp.DataTypes
extractSafeEPropaFP.Expression
extractVariablesEPropaFP.Expression
extractVariablesECNFPropaFP.Expression
extractVariablesFPropaFP.Expression
FPropaFP.Expression
FCompPropaFP.Expression
FConnPropaFP.Expression
fContainsVarsPropaFP.Parsers.Smt
fDNFToEDNFPropaFP.Expression
fDNFToFDNFWithoutEqPropaFP.Expression
FFalsePropaFP.Expression
filterOutCircularVarEqualitiesPropaFP.Parsers.Smt
filterOutDuplicateVarEqualitiesPropaFP.Parsers.Smt
findAbsoluteErrorUsingFPTaylorPropaFP.EliminateFloats
findAssertionsPropaFP.Parsers.Smt
findDeclarationsPropaFP.Parsers.Smt
findFunctionInputsAndOutputsPropaFP.Parsers.Smt
findGoalsInAssertionsPropaFP.Parsers.Smt
findIntegerVariablesPropaFP.Parsers.Smt
findVarEqualitiesPropaFP.Parsers.Smt
findVariablesPropaFP.Parsers.Smt
findVariablesInExpressionsPropaFP.Parsers.Smt
findVariablesInFormulaPropaFP.Parsers.Smt
findVariableTypePropaFP.Parsers.Smt
flipStrictnessPropaFP.Expression
FloatPropaFP.Expression
Float32PropaFP.Expression
Float64PropaFP.Expression
fmapESafePropaFP.Expression
FNotPropaFP.Expression
formulaAndVarMapToDRealPropaFP.Translators.DReal
formulaAndVarMapToMetiTarskiPropaFP.Translators.MetiTarski
formulaToSMTPropaFP.Translators.DReal
formulaToTPTPPropaFP.Translators.MetiTarski
FramePropaFP.Parsers.Lisp.DataTypes
fToConjunctionPropaFP.Translators.DReal
fToECNFPropaFP.Expression
fToEDNFPropaFP.Expression
fToFDNFPropaFP.Expression
FTruePropaFP.Expression
fullBisectPropaFP.VarMap
GePropaFP.Expression
getCornersPropaFP.VarMap
getEdgesPropaFP.VarMap
getVarNamesWithTypesPropaFP.VarMap
GtPropaFP.Expression
hasFloatEPropaFP.Expression
hasFloatFPropaFP.Expression
hasMinMaxAbsEPropaFP.Expression
hasMinMaxAbsFPropaFP.Expression
hasVarsEPropaFP.Expression
hasVarsFPropaFP.Expression
IfPropaFP.Parsers.Lisp.DataTypes
ImplPropaFP.Expression
increaseDiameterPropaFP.VarMap
increaseRadiusPropaFP.VarMap
inequalityEpsilonPropaFP.Parsers.Smt
IntegerPropaFP.VarMap
intersectVarMapPropaFP.VarMap
isScientificNumberPropaFP.Parsers.Lisp.Parser
isTypedVarMapInvertedPropaFP.VarMap
isVarMapInvertedPropaFP.VarMap
knownFloatVarsPropaFP.Parsers.Smt
LambdaPropaFP.Parsers.Lisp.DataTypes
latexShowCompPropaFP.Expression
latexShowConnPropaFP.Expression
latexShowEPropaFP.Expression
latexShowFPropaFP.Expression
LePropaFP.Expression
lengthEPropaFP.Expression
lengthFPropaFP.Expression
LitPropaFP.Expression
lookupValuePropaFP.Parsers.Lisp.DataTypes
lowerboundPropaFP.VarMap
LtPropaFP.Expression
MaxPropaFP.Expression
maxWidthPropaFP.VarMap
MinPropaFP.Expression
minMaxAbsEliminatorPropaFP.Eliminator
minMaxAbsEliminatorECNFPropaFP.Eliminator
minMaxAbsEliminatorFPropaFP.Eliminator
ModPropaFP.Expression
MulPropaFP.Expression
Name 
1 (Type/Class)PropaFP.Expression
2 (Data Constructor)PropaFP.Expression
NegatePropaFP.Expression
negateSafeEPropaFP.Expression
normalizeBooleanPropaFP.Expression
NullPropaFP.Parsers.Lisp.DataTypes
NumberPropaFP.Parsers.Lisp.DataTypes
OrPropaFP.Expression
PairPropaFP.Parsers.Lisp.DataTypes
pairToListPropaFP.Parsers.Lisp.DataTypes
parsePropaFP.Parsers.Lisp.Parser
parseDRealSmtToFPropaFP.Parsers.DRealSmt
parseDRealVariablesPropaFP.Parsers.DRealSmt
parseDRealVCPropaFP.Parsers.DRealSmt
parseDRealVCsPropaFP.Parsers.DRealSmt
parseFCompOpPropaFP.Parsers.Smt
parseFPTaylorRationalPropaFP.Translators.FPTaylor
parseItePropaFP.Parsers.Smt
parserPropaFP.Parsers.Smt
parseRoundingModePropaFP.Parsers.Smt
parseSequencePropaFP.Parsers.Lisp.Parser
parseSMT2PropaFP.Parsers.Smt
parseVCToFPropaFP.Parsers.Smt
parseVCToSolverPropaFP.Parsers.Smt
ParsingModePropaFP.Parsers.Smt
PiPropaFP.Expression
PowPropaFP.Expression
PowIPropaFP.Expression
prettyShowCompPropaFP.Expression
prettyShowConnPropaFP.Expression
prettyShowEPropaFP.Expression
prettyShowECNFPropaFP.Expression
prettyShowESafeCNFPropaFP.Expression
prettyShowESafeDNFPropaFP.Expression
prettyShowFPropaFP.Expression
prettyShowFSafeDNFPropaFP.Expression
prettyShowTypedVarMapPropaFP.VarMap
prettyShowVarMapPropaFP.VarMap
prettyShowVCPropaFP.Expression
PrimitiveProcedurePropaFP.Parsers.Lisp.DataTypes
processVCPropaFP.Parsers.Smt
qualifiedEsToCNF2PropaFP.Eliminator
qualifiedEsToDisjunctionPropaFP.Eliminator
qualifiedEsToFPropaFP.Eliminator
qualifiedEToFPropaFP.Eliminator
RealPropaFP.VarMap
removeFloatsPropaFP.EliminateFloats
removeVariableFreeComparisonsPropaFP.Expression
replaceEInEPropaFP.Expression
replaceEInFPropaFP.Expression
RNAPropaFP.Expression
RNEPropaFP.Expression
RoundingModePropaFP.Expression
roundMPBallPropaFP.DeriveBounds
RoundToIntegerPropaFP.Expression
RTNPropaFP.Expression
RTPPropaFP.Expression
RTZPropaFP.Expression
runDRealTranslatorCNFPropaFP.Translators.DReal
runDRealTranslatorCNFWithVarMapPropaFP.Translators.DReal
runMetiTarskiTranslatorCNFWithVarMapPropaFP.Translators.MetiTarski
safeBoxToTypedVarMapPropaFP.VarMap
safeIntersectVarMapPropaFP.VarMap
safeVarMapToTypedVarMapPropaFP.VarMap
scanHypothesesPropaFP.DeriveBounds
scanHypothesisPropaFP.DeriveBounds
showFracPropaFP.Translators.FPTaylor
simplifyEPropaFP.Expression
simplifyEDoubleListPropaFP.Expression
simplifyESafeDoubleListPropaFP.Expression
simplifyFPropaFP.Expression
simplifyFDNFPropaFP.Expression
simplifyFDoubleListPropaFP.Expression
SinPropaFP.Expression
SqrtPropaFP.Expression
SubPropaFP.Expression
substAllEqualitiesPropaFP.Parsers.Smt
substVarEWithEPropaFP.Expression
substVarEWithLitPropaFP.Expression
substVarFWithEPropaFP.Expression
substVarFWithLitPropaFP.Expression
symbolicallySubstitutePiVarsPropaFP.Parsers.Smt
takeGoalFromAssertionsPropaFP.Parsers.Smt
taxicabWidthPropaFP.VarMap
termDRealToEPropaFP.Parsers.DRealSmt
termDRealToFPropaFP.Parsers.DRealSmt
termsToFPropaFP.Parsers.Smt
termToEPropaFP.Parsers.Smt
termToFPropaFP.Parsers.Smt
testOutputPropaFP.Translators.FPTaylor
tokenizePropaFP.Parsers.Lisp.Parser
toSearchBoxPropaFP.VarMap
transformImplicationsPropaFP.Expression
typedMaxWidthPropaFP.VarMap
TypedVarPropaFP.VarMap
TypedVarIntervalPropaFP.VarMap
typedVarIntervalToVarIntervalPropaFP.VarMap
TypedVarMapPropaFP.VarMap
typedVarMapToBoxPropaFP.VarMap
typedVarMapToVarMapPropaFP.VarMap
UnOpPropaFP.Expression
unsafeBoxToTypedVarMapPropaFP.VarMap
unsafeIntersectVarMapPropaFP.VarMap
unsafeVarMapToTypedVarMapPropaFP.VarMap
updateLowerPropaFP.DeriveBounds
updateUpperPropaFP.DeriveBounds
upperboundPropaFP.VarMap
VarPropaFP.Expression
VarBoundMapPropaFP.DeriveBounds
VariablePropaFP.Parsers.Lisp.DataTypes
variableBoundsToFPTaylorPropaFP.Translators.FPTaylor
VarIntervalPropaFP.VarMap
VarMapPropaFP.VarMap
varMapToBoxPropaFP.VarMap
VarNamePropaFP.DeriveBounds
VarTypePropaFP.VarMap
Why3PropaFP.Parsers.Smt
widestIntervalPropaFP.VarMap
widestTypedIntervalPropaFP.VarMap
_f1PropaFP.DeriveBounds
_f2PropaFP.DeriveBounds
_f3PropaFP.DeriveBounds
_f4PropaFP.DeriveBounds
_f5PropaFP.DeriveBounds