Repository navigation
Expand file tree
/
Copy pathExamples.lean
More file actions
85 lines (85 loc) · 2.54 KB
/
Copy pathExamples.lean
File metadata and controls
85 lines (85 loc) · 2.54 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
import Examples.Axpy.Cases
import Examples.Axpy.Module
import Examples.Axpy.Program
import Examples.Axpy.Verify
import Examples.Below100.Cases
import Examples.Below100.Program
import Examples.Below100.Verify
import Examples.Binary32.Cases
import Examples.Binary32.Module
import Examples.Binary32.Program
import Examples.Binary32.Verify
import Examples.Binary32.Wgsl
import Examples.Bools.Cases
import Examples.Bools.Module
import Examples.Bools.Verify
import Examples.Bucket.Cases
import Examples.Bucket.Module
import Examples.Bucket.Program
import Examples.Bucket.Verify
import Examples.Calc.Cases
import Examples.Calc.Module
import Examples.Calc.Program
import Examples.Calc.Verify
import Examples.Grids.Cases
import Examples.Grids.Module
import Examples.Grids.Verify
import Examples.Increment.Cases
import Examples.Increment.Program
import Examples.Increment.Verify
import Examples.Lists.Cases
import Examples.Lists.Module
import Examples.Lists.Verify
import Examples.Lookup.Cases
import Examples.Lookup.Program
import Examples.Lookup.Verify
import Examples.PairSum.Cases
import Examples.PairSum.Module
import Examples.PairSum.Program
import Examples.PairSum.Verify
import Examples.Piecewise.Cases
import Examples.Piecewise.Module
import Examples.Piecewise.Program
import Examples.Piecewise.Verify
import Examples.RemoveZero.Cases
import Examples.RemoveZero.Program
import Examples.RemoveZero.Verify
import Examples.Scale.Cases
import Examples.Scale.Module
import Examples.Scale.Program
import Examples.Scale.Verify
import Examples.ScaledHypot.Cases
import Examples.ScaledHypot.Module
import Examples.ScaledHypot.Program
import Examples.ScaledHypot.Verify
import Examples.Shape.Cases
import Examples.Shape.Module
import Examples.Shape.Program
import Examples.Shape.Verify
import Examples.SumArray.Cases
import Examples.SumArray.Module
import Examples.SumArray.Program
import Examples.SumArray.Verify
import Examples.SumCount.Cases
import Examples.SumCount.Module
import Examples.SumCount.Program
import Examples.SumCount.Verify
import Examples.TreeLookup.Cases
import Examples.TreeLookup.Program
import Examples.TreeLookup.Verify
import Examples.Trees.Cases
import Examples.Trees.Copy
import Examples.Trees.Encode
import Examples.Trees.Frame
import Examples.Trees.Module
import Examples.Trees.Moves
import Examples.Trees.MovesVerify
import Examples.Trees.Node
import Examples.Trees.Verify
import Examples.Updates.Cases
import Examples.Updates.Module
import Examples.Updates.Verify
import Examples.Words.Cases
import Examples.Words.Encode
import Examples.Words.Module
import Examples.Words.Verify