Commit 496bb09
committed
File tree
771 files changed
+42367
-14874
lines changed- .github
- bin
- workflows
- cmake/modules
- docs
- Dialects
- Comb
- FIRRTL
- HW
- Synth
- frontends
- PyCDE
- integration_test
- pytorch
- test_software
- src/pycde
- bsp
- test
- PyRTG
- src/pyrtg
- test
- include
- circt-c
- Dialect
- Firtool
- circt
- Conversion
- Dialect
- Arc
- Calyx
- Comb
- Datapath
- ESI
- Emit
- FIRRTL
- HW
- LLHD
- IR
- Transforms
- LTL
- Moore
- OM
- Evaluator
- RTGTest/IR
- RTG
- IR
- Reductions
- Transforms
- SSP
- SV
- Sim
- Synth
- Analysis
- Transforms
- Verif
- Firtool
- Reduce
- Support
- Tools
- arcilator
- circt-verilog-lsp-server
- Transforms
- integration_test
- Bindings/Python
- dialects
- Dialect/ESI/runtime
- arcilator/JIT
- circt-bmc
- circt-synth
- circt-test
- lib
- Analysis
- Bindings/Python
- dialects
- CAPI
- Conversion
- Dialect
- ExportLLVM
- Firtool
- Conversion
- ArcToLLVM
- CFToHandshake
- CalyxToFSM
- CombToDatapath
- CombToLLVM
- CombToSMT
- CombToSynth
- ConvertToLLVM
- DatapathToComb
- DatapathToSMT
- ExportVerilog
- FIRRTLToHW
- HWToBTOR2
- HWToLLVM
- HWToSMT
- HandshakeToHW
- ImportAIGER
- ImportVerilog
- MooreToCore
- SCFToCalyx
- SeqToSV
- VerifToSV
- Dialect
- Arc
- Transforms
- Calyx
- Export
- Transforms
- Comb
- Transforms
- Datapath
- Transforms
- ESI
- Passes
- runtime
- cosim_dpi_server
- cpp
- cmake
- include/esi
- backends
- lib
- backends
- tools
- python
- esiaccel
- cosim
- Emit
- FIRRTL
- Export
- Import
- Transforms
- HW
- Transforms
- Kanagawa/Transforms
- LLHD
- IR
- Transforms
- LTL
- Moore
- Transforms
- OM/Evaluator
- RTGTest/IR
- RTG
- IR
- Reductions
- Transforms
- SV
- Transforms
- Sim
- Transforms
- Synth
- Analysis
- Transforms
- Verif
- Transforms
- Firtool
- Reduce
- Support
- Tools
- arcilator
- circt-verilog-lsp-server
- Utils
- VerilogServerImpl
- Transforms
- test
- CAPI
- Conversion
- ArcToLLVM
- CombToDatapath
- CombToLLVM
- CombToSynth
- ConvertToArcs
- DatapathToComb
- DatapathToSMT
- ExportVerilog
- FIRRTLToHW
- HWToBTOR2
- HWToLLVM
- HWToSMT
- ImportVerilog
- MooreToCore
- VerifToSV
- Dialect
- Arc
- Comb
- Datapath
- ESI
- Emit/Reduction
- FIRRTL
- Reduction
- SFCTests
- GrandCentralInterfaces
- HW
- LLHD
- Canonicalization
- IR
- Transforms
- LTL
- Moore
- OM
- RTGTest/IR
- RTG
- IR
- Reduction
- Transform
- SV
- Seq
- Sim
- Synth
- Verif
- Tools
- circt-verilog-lsp-server
- include
- domaintool
- Transforms
- circt-reduce
- circt-synth
- circt-test
- circt-verilog
- firtool
- spec/refs
- tools
- arcilator
- circt-bmc
- circt-lec
- circt-opt
- circt-reduce
- circt-synth
- circt-test
- circt-verilog-lsp-server
- circt-verilog
- domaintool
- unittests
- Dialect
- ESI
- runtime
- FIRRTL
- HW
- Moore
- OM/Evaluator
- RTGTest
- RTG
- Synth
- Tools
- circt-verilog-lsp-server
- Utils
- utils
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
771 files changed
+42367
-14874
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
134 | 134 | | |
135 | 135 | | |
136 | 136 | | |
| 137 | + | |
137 | 138 | | |
138 | 139 | | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
139 | 143 | | |
140 | 144 | | |
141 | 145 | | |
| |||
173 | 177 | | |
174 | 178 | | |
175 | 179 | | |
176 | | - | |
| 180 | + | |
177 | 181 | | |
178 | 182 | | |
179 | 183 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
17 | 17 | | |
18 | 18 | | |
19 | 19 | | |
20 | | - | |
21 | | - | |
22 | 20 | | |
23 | 21 | | |
24 | 22 | | |
| |||
29 | 27 | | |
30 | 28 | | |
31 | 29 | | |
32 | | - | |
33 | | - | |
| 30 | + | |
| 31 | + | |
34 | 32 | | |
35 | 33 | | |
36 | 34 | | |
| |||
41 | 39 | | |
42 | 40 | | |
43 | 41 | | |
| 42 | + | |
| 43 | + | |
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
| |||
68 | 68 | | |
69 | 69 | | |
70 | 70 | | |
71 | | - | |
| 71 | + | |
72 | 72 | | |
73 | 73 | | |
74 | 74 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
22 | | - | |
| 22 | + | |
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
31 | 31 | | |
32 | 32 | | |
33 | 33 | | |
34 | | - | |
| 34 | + | |
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
208 | 208 | | |
209 | 209 | | |
210 | 210 | | |
211 | | - | |
| 211 | + | |
212 | 212 | | |
213 | 213 | | |
214 | 214 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
129 | 129 | | |
130 | 130 | | |
131 | 131 | | |
132 | | - | |
| 132 | + | |
133 | 133 | | |
134 | 134 | | |
135 | 135 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
38 | 38 | | |
39 | 39 | | |
40 | 40 | | |
41 | | - | |
42 | | - | |
43 | | - | |
44 | | - | |
45 | 41 | | |
46 | 42 | | |
47 | 43 | | |
| |||
569 | 565 | | |
570 | 566 | | |
571 | 567 | | |
572 | | - | |
573 | | - | |
574 | | - | |
| 568 | + | |
| 569 | + | |
575 | 570 | | |
576 | 571 | | |
577 | 572 | | |
| |||
604 | 599 | | |
605 | 600 | | |
606 | 601 | | |
607 | | - | |
608 | 602 | | |
609 | 603 | | |
610 | 604 | | |
611 | 605 | | |
612 | 606 | | |
| 607 | + | |
| 608 | + | |
613 | 609 | | |
614 | 610 | | |
615 | 611 | | |
616 | 612 | | |
617 | 613 | | |
618 | | - | |
| 614 | + | |
619 | 615 | | |
620 | 616 | | |
621 | 617 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
54 | 54 | | |
55 | 55 | | |
56 | 56 | | |
57 | | - | |
| 57 | + | |
58 | 58 | | |
59 | 59 | | |
60 | 60 | | |
| |||
69 | 69 | | |
70 | 70 | | |
71 | 71 | | |
| 72 | + | |
| 73 | + | |
72 | 74 | | |
73 | | - | |
| 75 | + | |
| 76 | + | |
74 | 77 | | |
75 | 78 | | |
76 | 79 | | |
77 | | - | |
78 | | - | |
79 | | - | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
80 | 90 | | |
81 | 91 | | |
82 | 92 | | |
| |||
0 commit comments