Need to propagate error via load/store instructions

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Need to propagate error via load/store instructions #3

Closed domainexpert closed 7 years ago

domainexpert commented 7 years ago

@Himeshi Currently, values stored/loaded from memory using store/load instructions lost their floating-point error information. We need to propagate the error via load/store instructions as well.

domainexpert commented 7 years ago

Resolved via #4 .