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

Index - D

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