aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2020-07-14Delete outdated scalastyle configuration comments from sourceAlbert Magyar
2020-07-14Fix parsing of info on multi-line registers (#1735)Jack Koenig
2020-07-10Remove Left Over References to Gender in Code (#1752)Kevin Laeufer
2020-07-08dedup: use structural sha256 hash instead of agnostify and serialize (#1731)Kevin Laeufer
2020-07-08ir: add faster serializer (#1694)Kevin Laeufer
2020-07-07verification: emit mesage as Verilog comment (#1712)Kevin Laeufer
2020-07-01Fix unchecked type in ManipulateNames (#1726)Schuyler Eldridge
2020-06-26Enable ConvertAsserts in default Verilog compilerAlbert Magyar
2020-06-26Add test for ConvertAssertsAlbert Magyar
2020-06-26Add ConvertAsserts transform to map asserts to Verilog-friendly nodesAlbert Magyar
2020-06-25Batch renames in LowerTypes (#1718)Schuyler Eldridge
2020-06-25Add --change-name-case <lower|upper> optionSchuyler Eldridge
2020-06-25Test both LowerCaseNames and UpperCaseNamesSchuyler Eldridge
2020-06-25Add LetterCaseTransformsSchuyler Eldridge
2020-06-25Add a second instance to Verilog keyword testSchuyler Eldridge
2020-06-25Test ManipulateNamesAllowlistResultAnnotationSchuyler Eldridge
2020-06-25Test ManipulateNamesSpecSchuyler Eldridge
2020-06-25Add ManipulateNamesAllowlistResultAnnotationSchuyler Eldridge
2020-06-25Refactor RemoveKeywordCollisions->ManipulateNamesSchuyler Eldridge
2020-06-24verification: clarify the meaning of verification statement in warning messag...Kevin Laeufer
2020-06-23Don't Dedup modules if it would change semantics (#1713)Jack Koenig
2020-06-23Basic model checking API (#1653)Tom Alcorn
2020-06-23Add support for ValidIf to ProtoBuf [de]serializationJack Koenig
2020-06-22Convert PreservesAll to explicit invalidates=falseSchuyler Eldridge
2020-06-22Deprecate PreservesAllSchuyler Eldridge
2020-06-22Set prerequisite of -X high to MinimalHighForm (#1704)Schuyler Eldridge
2020-06-22Support Memory Initialization for Simulation and FPGA Flows (#1645)Kevin Laeufer
2020-06-22recore of Attributes (#1643)Jiuyang Liu
2020-06-19RemoveIntervals: invalidate InferTypes and ResolveKinds (#1689)Albert Chen
2020-06-12delete usages of toSet for determinism (#1686)Albert Chen
2020-06-11Compiler: demote compile time to info instead of error (#1685)Kevin Laeufer
2020-06-10Build ArrayBuffers in Block.mapStmt (#1669)Jack Koenig
2020-06-09Speed up ExpandWhens for very large designs (#1666)Jack Koenig
2020-06-04Add test case for retype-based component renaming in DedupModulesAlbert Magyar
2020-06-04Add unit test for Utils.expandRefAlbert Magyar
2020-06-04Make Utils.expandRef properly return intermediate expressionsAlbert Magyar
2020-06-03Use recursive-then-iterative approach for check_width_eAlbert Magyar
2020-06-03Revert: Generalize keyword collision to name manipulation, Add {Lower,Upper}C...Schuyler Eldridge
2020-06-03Add mapString method to ir.Port (#1655)Schuyler Eldridge
2020-06-03Scaladoc updates (#1656)Schuyler Eldridge
2020-06-02Update tutorial to reflect IR/WIR forms being mergedAlbert Magyar
2020-06-02Add extra convenience factories for regular IR nodesAlbert Magyar
2020-06-02Fix performance pathology in DedupModules (#1654)Jack Koenig
2020-05-28Implement InstanceTarget Behavior for Dedup + EliminateTargetPaths (#1539)Albert Chen
2020-05-26Make WrappedTransform work with --class-log-level (#1640)Schuyler Eldridge
2020-05-26Cleanup unused imports (no-warning docs req from CI)Albert Magyar
2020-05-26Remove trivially dead code from now-redundant WIR/IR match patternsAlbert Magyar
2020-05-26[API change] Absorb repetitive WIR nodes into IRAlbert Magyar
2020-05-22Do not throw NonFatal exceptions in annotation loggingJack Koenig
2020-05-22DRY out transform running and annotation remappingJack Koenig