search

ApproxSymate / klee

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

Merge with klee upstream #18

Closed Himeshi closed 7 years ago

domainexpert commented 7 years ago

@Himeshi I have tested it with fp-examples/basic examples. Merging now.