aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtl
AgeCommit message (Expand)Author
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-05-17Use os-lib to rewrite Z3ModelChecker (#2223)Jiuyang Liu
2021-03-19Legalize neg: -x becomes 0 - x (#2128)Jack Koenig
2021-03-18Ensure InlineCasts does not inline complex Expressions (#2130)Jack Koenig
2021-03-09SMT Backend: model Invalid and Division by Zero with DefRandom nodes (#2104)Kevin Laeufer
2021-03-08SMT: memory port inout fields cannot be used as RHS expressions (#2105)Kevin Laeufer
2021-03-04SMT Backend: move undefined memory behavior modelling to firrtl IR level (#2095)Kevin Laeufer
2021-03-02Remove Scala 2.11 (#2062)Jack Koenig
2021-02-17Allow Side Effecting Statement to have Names (#2057)Kevin Laeufer
2021-01-28Stop padding multiply and divide ops (#2058)Jack Koenig
2021-01-19Restore scalafmt CI check (#2047)Jack Koenig
2021-01-19smt: run DeadCodeElimination after PropagatePresetAnnotations (#2036)Kevin Laeufer
2020-12-15Improve performance of LowerTypes renaming (#2024)Jack Koenig
2020-12-02smt: add support for uninterpreted ext modules (#1994)Kevin Laeufer
2020-11-11smt: add support for write-first memories (#1948)Kevin Laeufer
2020-11-10Fix SMT Memory Bug (#1942)Kevin Laeufer
2020-11-09smt: ensure that all signals have a unique name (#1943)Kevin Laeufer
2020-09-16Change to Apache 2.0 License (#1901)Chick Markley
2020-08-28Add custom transforms 'upstream' of emitter annotation in equiv testsAlbert Magyar
2020-08-28Deprecate CompilerAnnotation (#1870)Schuyler Eldridge
2020-08-26smt: ignore clock signals when converting to transition system (#1866)Kevin Laeufer
2020-08-14All of src/ formatted with scalafmtchick
2020-08-15experimental SMTLib and btor2 emitter (#1826)Kevin Laeufer
2020-08-14tests: Decrease Dependency on Deprecated APIs (#1839)Kevin Laeufer
2020-08-12Combined Uniquify and LowerTypes pass (#1784)Kevin Laeufer
2020-08-11File Serialization of Annotations (#1277)Schuyler Eldridge
2020-07-08dedup: use structural sha256 hash instead of agnostify and serialize (#1731)Kevin Laeufer
2020-06-22Convert PreservesAll to explicit invalidates=falseSchuyler Eldridge
2020-05-28Implement InstanceTarget Behavior for Dedup + EliminateTargetPaths (#1539)Albert Chen
2020-05-26[API change] Absorb repetitive WIR nodes into IRAlbert Magyar
2020-05-18Fix equivalence tests (#853)Albert Chen
2020-05-06Update scalatest to 3.1.1 (#1405)Scala Steward
2020-05-05before/after initial block macros (#1550)Deborah Soung
2020-04-22s/dependents/optionalPrerequisiteOf/Schuyler Eldridge
2020-04-22Mixin DependencyAPIMigration to all TransformsSchuyler Eldridge
2020-03-30Port FirrtlRunners.firrtlEquivalenceTest to use FirrtlStageAlbert Magyar
2020-03-25Update scalatest 3.1.0 (#1383)Jim Lawson
2020-03-17[RFC] Factor out common test classes; package them (#1412)David Biancolin
2020-02-12Removed unused imports in src/test/ (#1381)Jim Lawson
2019-10-30Add some simple tests to demonstrate how to provide type hintsDavid Biancolin
2019-10-18Upstream intervals (#870)Adam Izraelevitz
2019-08-01Followup to PR #1142chick
2019-04-25Add tests for Annotations/Options refactorSchuyler Eldridge
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 11:21:05 +0000