Commit fb436075 authored by Alexandre Delanoë's avatar Alexandre Delanoë

[WIP] better spec

parent ececbc7a
Pipeline #5701 failed with stages
in 30 minutes and 31 seconds
...@@ -65,7 +65,7 @@ measureConditional m = run $ x $ map fromIntegral $ use m ...@@ -65,7 +65,7 @@ measureConditional m = run $ x $ map fromIntegral $ use m
-> let ij = lift (Z :. i :. j) -> let ij = lift (Z :. i :. j)
ji = lift (Z :. j :. i) ji = lift (Z :. j :. i)
in in
((ifThenElse (ij < ji) ij (0 :. Z)) :: Exp DIM2) ((ifThenElse (ij < ji) ji 0 ) :: Exp DIM2)
) )
) m' ) m'
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment