FP Theory - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Closed SadWini closed 11 months ago

SadWini commented 11 months ago

Added encoding and decoding of terms for floating point numbers, covered with tests.