PAPER SOURCE
EXECUTABLE EQUATION CONTRACTS
IMPLEMENTATION
Minimal pseudocode from implementation
Edit a pair and run the checker
Requires eqtrace serve. Edits run in a temporary project and do not overwrite your files.
GREEN · SHARED COMPUTATIONAMBER · PAPER ONLY / TERRACOTTA · CODE ONLY
Select a computation node.
| # | Inputs | Equation result | Code result | Normalized squared error | Status |
|---|