aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2021-08-10[smt] PropagatePresetAnnotations is now a real prereq (#2325)Kevin Laeufer
2021-08-09PropagatePresetAnnotations: remove dep. on SplitExpressions and PadWidths (#2...Kevin Laeufer
2021-08-09PropagatePresetAnnotations: remove false prerequisites (#2323)Kevin Laeufer
2021-08-09Implement NoCommonSubexpressionElimination (#2291)Jiuyang Liu
2021-08-05Fix Specification Memory Port Types (#2319)Schuyler Eldridge
2021-08-04Revert "Deprecate DependencyAPIMigration. (#2303)" (#2316)Kevin Laeufer
2021-08-03Require Andr, Orr, Xorr, Neg to have one operand (#2312)Schuyler Eldridge
2021-08-02Skip Formal CI checks via Github Actions not commit message (#2308)Jack Koenig
2021-08-02remove LoweringCompilersSpec (#2310)Kevin Laeufer
2021-08-02add emitter for optimized low firrtl (#2304)Kevin Laeufer
2021-08-02Update spec to disallow 0-bit mux sel (#2305)Schuyler Eldridge
2021-07-29Dedup attribute annos (#2297)Jared Barocsi
2021-07-27Deprecate DependencyAPIMigration. (#2303)Jiuyang Liu
2021-07-27ir: make HashCode.toHashString public (#2302)Kevin Laeufer
2021-07-27Merge pull request #2298 from chipsalliance/fix_type_in_dependencymanagerJiuyang Liu
2021-07-25Add typedef in DependencyManager.Jiuyang Liu
2021-07-14Fix memory annotation deduplication (#2286)Jared Barocsi
2021-07-12Update sbt to 1.5.5 (#2292)Scala Steward
2021-07-11Rm java.io in WriteEmitted (#2275)sinofp
2021-07-11Update sbt to 1.5.4 (#2267)Scala Steward
2021-07-11Deprecate BlackBoxResourceAnno (#2262)Schuyler Eldridge
2021-07-11Merge pull request #2290 from scala-steward/update/sbt-scalafmt-2.4.3Jiuyang Liu
2021-07-09Update sbt-scalafmt to 2.4.3Scala Steward
2021-07-07Replace hard coded line separators with system specific ones (#2281)Boyang Han
2021-07-06Merge pull request #2285 from chipsalliance/dev/seldridge/spec-zero-width-sel...Schuyler Eldridge
2021-06-30Relax spec on 0-bit mux select, use SFC behaviorSchuyler Eldridge
2021-06-25Correct a typo in src/main/scala/firrtl/WIR.scala (#2283)Felix Yan
2021-06-22Fix VerilogMemDelays use before declaration (#2278)Jack Koenig
2021-06-21[spec] Explicit widths may be non-negative, not just positive (#2277)Albert Magyar
2021-06-18Fix MultiInfo parser + serialization bug (#2265)Jared Barocsi
2021-06-17smt: include firrtl statement names in SMT and btor2 output (#2270)Kevin Laeufer
2021-06-17Add --start-from option (#2273)Schuyler Eldridge
2021-06-17Add Protocol Buffer emission (#2271)Schuyler Eldridge
2021-06-15make PresetRegAnnotation public (#2254)Kevin Laeufer
2021-06-14Add -X mhigh compiler for minimal high form (#2268)Schuyler Eldridge
2021-06-09Merge pull request #2263 from sinofp/nomorejavaio-mustdedupJiuyang Liu
2021-06-08Prepend target dir to default dedup report dirsinofp
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:57:00 +0000