calyx 0.7.1

Compiler Infrastructure for Hardware Accelerator Generation
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
86
87
88
89
90

{
  "url_prefix": "https://raw.githubusercontent.com/calyxir/calyx/",
  "examples": [
    {
      "name": "Sequence",
      "file": "tests/correctness/seq.futil",
      "root": "/",
      "passes": [
        "tdcc"
      ]
    },
    {
      "name": "Conditional",
      "file": "tests/correctness/if.futil",
      "root": "/",
      "passes": [
        "simplify-with-control",
        "tdcc"
      ]
    },
    {
      "name": "Loops",
      "file": "tests/correctness/while.futil",
      "root": "/",
      "passes": [
        "simplify-with-control",
        "tdcc"
      ]
    },
    {
      "name": "Invoke (call)",
      "file": "tests/passes/compile-invoke.futil",
      "root": "/",
      "passes": [
        "compile-invoke"
      ]
    },
    {
      "name": "Parallel",
      "file": "tests/correctness/par.futil",
      "root": "/",
      "passes": [
        "tdcc"
      ]
    },
    {
      "name": "Externalize",
      "file": "tests/passes/externalize.futil",
      "root": "/",
      "passes": [
        "externalize"
      ]
    },
    {
      "name": "Infer Static Timing",
      "file": "tests/passes/infer-static/component.futil",
      "root": "/",
      "passes": [
        "infer-static-timing"
      ]
    },
    {
      "name": "Minimize Regs Simple",
      "file": "tests/passes/minimize-regs/simple-liveness.futil",
      "root": "/",
      "passes": [
        "minimize-regs",
        "dead-cell-removal"
      ]
    },
    {
      "name": "Minimize Regs (Nested Par)",
      "file": "tests/passes/minimize-regs/nested-par.futil",
      "root": "/",
      "passes": [
        "minimize-regs",
        "dead-cell-removal"
      ]
    },
    {
      "name": "Resource Sharing",
      "file": "tests/passes/resource-sharing/share.futil",
      "root": "/",
      "passes": [
        "resource-sharing",
        "dead-cell-removal"
      ]
    }
  ]
}