2cb87f4f8f
There were some odd discrepancy for `integerToByteString` on the mem side. Either 1 or about 1000 mem units off; which I couldn't quite figure out. Yet, it proves useful to validate builtin at large and ensure we have a valid cost model for v3. |
||
|---|---|---|
| .. | ||
| ApplyAdd1 | ||
| ApplyAdd2 | ||
| DivideByZero | ||
| DivideByZeroDrop | ||
| IfIntegers | ||
| NatRoundTrip | ||
| ScottListSum | ||
| churchSucc | ||
| churchZero | ||
| even2 | ||
| even3 | ||
| evenList | ||
| factorial | ||
| fibonacci | ||
| force-lam | ||
| overapplication | ||
| succInteger | ||