aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-07-17Propagate source locators to register update always blocks (#1743)Jack Koenig
2020-07-16Add Expression Fuzzer (#1741)Albert Chen
2020-07-16Merge pull request #1753 from freechipsproject/rm-duplicate-testsSchuyler Eldridge
2020-07-16Simplify CustomTransformSpecSchuyler Eldridge
2020-07-16Remove overlapping inputForm=LowForm testsSchuyler Eldridge
2020-07-15ir: store FileInfo string in escaped format (#1690)Kevin Laeufer
2020-07-14Make TopWiringTransform run before LowerTypes (#1750)Schuyler Eldridge
2020-07-14Delete outdated scalastyle configuration comments from sourceAlbert Magyar
2020-07-14Remove scalastyle configs from repositoryAlbert Magyar
2020-07-14Fix parsing of info on multi-line registers (#1735)Jack Koenig
2020-07-13[spec] Specify execution order of side-effect-having statements (#1724)Albert Magyar
2020-07-13Change ProtoBuf generated directory (#1762)Jack Koenig
2020-07-13add .bloop and .metals to .gitignore (#1761)Albert Chen
2020-07-10Remove Left Over References to Gender in Code (#1752)Kevin Laeufer
2020-07-09[spec] Explicitly disallow shadowing of component names (#1749)Albert Magyar
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-25Merge pull request #1638 from freechipsproject/manipulate-names-issues-refactorSchuyler 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-22Merge pull request #1700 from freechipsproject/deprecate-PreservesAllSchuyler Eldridge
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-10Merge pull request #1648 from freechipsproject/heap-boundJack Koenig
2020-06-09Add find_heap_bound.py script for finding minimum heap sizeJack Koenig
2020-06-09Refactor benchmark_code_compile.py to have job running utilityJack Koenig
2020-06-09Use Travis Workspaces (#1675)Jack Koenig