search

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis
Other
0 stars 0 forks source link

Complete error propagation for various constructs #9

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

@Himeshi My plan is that I will try to apply the floating-point semantics of Ruemmer and Wahl. Please feel free to provide feedback on this. This should be done after #8 is resoved.

domainexpert commented 7 years ago

We are to use our own precision error expressions for general numerical precision analysis not restricted to floating-points only, so this issue is irrelevant.