Skip to content
CodeQL Security Analysis

Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) #123

Sign in to view logs

Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40)

Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) #123

Run time

Learn about OS pricing on GitHub Actions
Job Run time
analyze (actions, none)
38s
38s