| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-06-23 | CCC info update (#1969) | Jiuyang Liu | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-06-23 | Replace hard coded line separators with system specific ones | Boyang Han | |
| 2021-06-21 | Bump scalatest to 3.2.9 (#1965) | Jack Koenig | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-06-21 | Switch to Github Actions CI Badge (#1967) | Jack Koenig | |
| 2021-06-16 | getVerilog in Chisel3 (#1921) | Martin Schoeberl | |
| 2021-06-16 | Update sbt-buildinfo to 0.10.0 (#1545) | Scala Steward | |
| Co-authored-by: Jiuyang Liu <liu@jiuyang.me> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-06-16 | Update sbt to 1.5.4 (#1960) | Scala Steward | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-06-16 | implement test for qmc | Jiuyang Liu | |
| 2021-06-16 | Add computational complexity analysis | Boyang Han | |
| 2021-06-16 | Refactor to a more `scala` form | Boyang Han | |
| 2021-06-16 | Merge minimized table before return as a TruthTable | Boyang Han | |
| 2021-06-16 | implement QMC. | Boyang Han | |
| 2021-06-16 | Apply Jack's Review | Jiuyang Liu | |
| 1. `TruthTable` is final now. 2. add return type for `TruthTable` Co-authored-by: Jack Koenig <koenig@sifive.com> | |||
| 2021-06-16 | add documentation for DecodeTableAnnotation. | Jiuyang Liu | |
| 2021-06-16 | Add test cases. | Jiuyang Liu | |
| 2021-06-16 | switch to EndToEndSMTBaseSpec | Jiuyang Liu | |
| 2021-06-16 | Add minimized form of test cases | Boyang Han | |
| 2021-06-16 | use z3 formal check minimized circuit and reference model. | Jiuyang Liu | |
| 2021-06-16 | test decode cache. | Jiuyang Liu | |
| 2021-06-16 | remove all timeouts by review. | Jiuyang Liu | |
| 2021-06-16 | async decoder with 5 seconds timeout. | Jiuyang Liu | |
| 2021-06-16 | add a simple decoder API. | Jiuyang Liu | |
| 2021-06-16 | implement abstract Minimizer as a general API. | Jiuyang Liu | |
| 2021-06-16 | fix for 2.13 | Jiuyang Liu | |
| 2021-06-16 | TruthTable can merge same inputs now. | Jiuyang Liu | |
| 2021-06-16 | implement DecodeTableAnnotation for decode table caching. | Jiuyang Liu | |
| 2021-06-16 | implement TruthTable to represent a decode table. | Jiuyang Liu | |
| 2021-06-14 | explain sub-projects in README (#1962) | Deborah Soung | |
| * explain sub-projects * Update README.md Co-authored-by: Megan Wachs <megan@sifive.com> Co-authored-by: Megan Wachs <megan@sifive.com> | |||
| 2021-06-10 | Stop Emitting BlackBoxResourceAnno (#1954) | Schuyler Eldridge | |
| * Change HasBlackBoxResource to Resolve Resources Change HasBlackBoxResource to resolve resources immediately and emit BlackBoxInlineAnno instead of a BlackBoxResourceAnno. This removes the need for a FIRRTL compiler to grok the Java Resource API in order to handle BlackBoxResourceAnno. Emit BlackBoxInlineAnno from HasExtModuleResource instead of BlackBoxResourceAnno. Signed-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com> | |||
| 2021-06-04 | Update sbt-scalafix to 0.9.29 (#1948) | Scala Steward | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-06-04 | Update os-lib to 0.7.8 (#1949) | Scala Steward | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-06-04 | Update sbt-scoverage to 1.8.2 | Scala Steward | |
| 2021-06-02 | CCC schedule update (#1947) | Jiuyang Liu | |
| 2021-05-28 | remove testOnly, since upstream implemented it. (#1946) | Jiuyang Liu | |
| 2021-05-27 | Update sbt-mima-plugin to 0.9.2 | Scala Steward | |
| 2021-05-25 | throw exception if BitPat width is 0 (#1920) | Jiuyang Liu | |
| * spot a bug when BitPat width is 0 * fix #1919 Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-05-25 | make mill support 2.13. (#1934) | Jiuyang Liu | |
| 2021-05-21 | Update sbt-scoverage to 1.8.1 (#1924) | Scala Steward | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-05-21 | Update sbt-scalafix to 0.9.28 (#1931) | Scala Steward | |
| 2021-05-20 | doc: link to developer style guide (#1929) | Martin Schoeberl | |
| 2021-05-20 | Implement PLA (#1912) | Jiuyang Liu | |
| * implement pla * implement test for pla * implement inverter matrix of PLA generator * fix for review. Co-authored-by: Boyang Han <yqszxx@gmail.com> | |||
| 2021-05-20 | implement model checking API for chiseltest (#1910) | Jiuyang Liu | |
| * add os-lib to dependency. * implement EndToEndSMTBaseSpec * rename to SMTModelCheckingSpec * add documentation. * fix for review. | |||
| 2021-05-17 | remove scopt dependency. (#1917) | Jiuyang Liu | |
| 2021-05-17 | Update scala-compiler, scala-library, ... to 2.13.6 | Scala Steward | |
| 2021-05-17 | Update sbt-mima-plugin to 0.9.1 (#1915) | Scala Steward | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-05-15 | Update sbt-mdoc to 2.2.21 (#1916) | Scala Steward | |
| 2021-05-12 | Update scalacheck-1-14 to 3.2.2.0 (#1908) | Scala Steward | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-05-12 | Update sbt to 1.5.2 (#1907) | Scala Steward | |
| 2021-05-11 | Update sbt to 1.3.13 (#1501) | Scala Steward | |
| Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
| 2021-05-11 | Update scalacheck-1-14, ... to 3.1.4.0 (#1575) | Scala Steward | |
| * Update scalacheck-1-14, ... to 3.1.4.0 * Update scalacheck-1-14, ... to 3.1.4.0 * Update scalacheck-1-14 to 3.1.4.0 Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |||
 |
index : chiselX | |
| Chisel with SFC compatibility |
| summaryrefslogtreecommitdiff |