aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-11-20Update sbt-ci-release to 1.5.10 (#2418)Scala Steward
2021-11-20Update scalacheck-1-14, ... to 3.2.1.0 (#1850)Scala Steward
2021-11-20Update sbt-ci-release to 1.5.9 (#2364)Scala Steward
2021-11-20Update scala-parallel-collections to 1.0.4 (#2377)Scala Steward
2021-11-20Update sbt-mima-plugin to 1.0.1 (#2385)Scala Steward
2021-11-20Update sbt-protobuf to 0.7.1 (#2378)Scala Steward
2021-11-20Update sbt-scalafix to 0.9.32 (#2414)Scala Steward
2021-11-20Update sbt-scalafmt to 2.4.4 (#2417)Scala Steward
2021-11-20Update commons-text to 1.9 (#1789)Scala Steward
2021-11-20Update sbt-assembly to 1.1.0 (#1706)Scala Steward
2021-11-20Update scala-library, scala-reflect to 2.12.15 (#2358)Scala Steward
2021-11-20Update scala-library, scala-reflect to 2.13.7 (#2401)Scala Steward
2021-11-19Disable random init (#2396)Jiuyang Liu
2021-11-12Let firrtl based applications run despite loading unknown annotations (#2387)Chick Markley
2021-11-12Update spec on extmodule with defname, parameter (#2413)Schuyler Eldridge
2021-11-11Update sbt-unidoc to 0.5.0 (#2394)Scala Steward
2021-11-11Update json4s-native to 3.6.12 (#2406)Scala Steward
2021-11-11Update sbt-scoverage to 1.9.2 (#2402)Scala Steward
2021-11-11Update antlr4, antlr4-runtime to 4.9.3 (#2407)Scala Steward
2021-11-10ci: use official action to install oss cad tools (#2412)Kevin Laeufer
2021-11-10smt: fix handling of div primitive in formal backend (#2409)Kevin Laeufer
2021-11-04BlackBoxSourceHelper: ensure trailing newline in .f file (#2405)Kevin Laeufer
2021-10-28typo: correct Error Info (#2398)SingularityKChen
2021-10-19Remove The WriteEmitted Phase (#2390)David Biancolin
2021-10-18Favor os-lib write.over in WriteEmitted (#2389)David Biancolin
2021-10-09Support parsing missing keywords as ids (#2381)Jack Koenig
2021-10-05Merge pull request #2380 from chipsalliance/dev/seldridge/issue-2379Jack Koenig
2021-10-04Add test of #2379 issue, NFCSchuyler Eldridge
2021-10-04Hotfix for Vector Reg Init LegalizeConnects BugSchuyler Eldridge
2021-09-29TopWiring: filter out unnamed declarations when building source lists (#2376)David Biancolin
2021-09-29Have Flatten & InlineInstances remove their annotations (#2374)David Biancolin
2021-09-29Add RTLIL Backend. (#2331)Nicolas Machado
2021-09-27ci: switch from container to Tabby OSS CAD Suite (#2365)Kevin Laeufer
2021-09-24spec: Fix formatting of example of memory port types. (#2368)Richard Xia
2021-09-23transforms.formal: ensure named statements as output (#2367)Kevin Laeufer
2021-09-14Fix multi-protobuf test when run multiple times (#2357)Jack Koenig
2021-09-13Bump Scala to 2.12.14 and 2.13.6 (#2356)Jack Koenig
2021-09-11Remove BlackBoxSourceHelper from ReplaceMemTransform (#2355)Jack Koenig
2021-09-10MemConf: Do not add another new line when serializing (#2354)Megan Wachs
2021-09-08smt: make SMT + TransitionSystem lib public (#2350)Kevin Laeufer
2021-09-08smt: refactor SMT expression library (#2347)Kevin Laeufer
2021-09-08Multi protobuf module emission and consumption (#2344)Jared Barocsi
2021-09-03Make benchmark_cold_compile accept a command CLI argument (#2346)Jack Koenig
2021-08-30[smt] treat stop with non-zero ret like an assertion (#2338)Kevin Laeufer
2021-08-26Fix dshl zero-width shift behavior (#2339)Schuyler Eldridge
2021-08-21Add BufferedCustomFileEmission (#2334)Jack Koenig
2021-08-20Fix Serializer for single indented DefModule emission (#2332)Jack Koenig
2021-08-17prefer to using using system protoc and antlr4 in mill (#2276)Jiuyang Liu
2021-08-13Modify NoCommonSubexpressionElimination to NoCommonSubexpressionEliminationAn...胡波
2021-08-10[smt] make SMTLib + Btor2 emitters public objects (#2326)Kevin Laeufer
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:20 +0000