Skip to content
LiquidHaskell

Prove termination of (optimized) diff algorithm implementation #55

Sign in to view logs

Prove termination of (optimized) diff algorithm implementation

Prove termination of (optimized) diff algorithm implementation #55

Run time

Learn about OS pricing on GitHub Actions
Job Run time
LiquidHaskell Static Checks (3.16.0.0, 9.14.1, 4.15.1)
1m 27s
1m 27s