aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2022-03-02Fold VerilogModulusCleanup into LegalizeVerilog (#2485)Jack Koenig
2022-01-27Fix faulty MemorySynthInit behavior (#2468)John's Brew
2022-01-25emission-options flags swapped (#2472)Andrea Nardi
2022-01-19preset: make PropagatePreset play nice with verification statements (#2453)Kevin Laeufer
2022-01-17[smt] correct comparison for out-of-bounds memory access check (#2463)Kevin Laeufer
2022-01-06Add FileInfo to asyncResetAlwaysBlocks (#2451)sinofp
2021-12-27disable random should not contain useInitAsPreset. (#2449)Jiuyang Liu
2021-12-21Remove some warnings (#2448)Jack Koenig
2021-12-21smt: deal correctly with negative SInt literals (#2447)Kevin Laeufer
2021-12-18Fix width of signed addition when input to mux (#2440)Jack Koenig
2021-12-17smt: correctly serialize array index on read (#2446)Kevin Laeufer
2021-12-17Deprecate all mutable methods on RenameMap (#2444)Jack Koenig
2021-12-17Remove some printlns in tests (#2445)Jack Koenig
2021-12-17Modify and optimize performance of propagate annotations (#2393)Jack Koenig
2021-12-13Implement CustomRadixTransform for wave viewers (#2434)Jiuyang Liu
2021-12-01Use ANTLR Listener to save memory during parsingJack Koenig
2021-12-01Handle references better in ANTLR ParserJack Koenig
2021-11-30[deprecation clean up] remove trait firrtl.util.BackendCompilationUtilities (...Jiuyang Liu
2021-11-29[deprecation clean up] remove firrtl.ExecutionOptionsManager (#2422)Jiuyang Liu
2021-11-23Enable memory initialization in synthesis for FPGA targets (#2430)Carlos Eduardo
2021-11-23[deprecation clean up] Remove firrtl.Driver (#2419)Jiuyang Liu
2021-11-23fix tests that depend on Driver (#2429)Jiuyang Liu
2021-11-22remove firrtl.transforms.BlackBoxSourceHelper.fileListName. (#2426)Jiuyang Liu
2021-11-22remove firrtl.transforms.InferResets.DifferingDriverTypesException (#2425)Jiuyang Liu
2021-11-22remove firrtl.transforms.InlineAcrossCastsTransform. (#2424)Jiuyang Liu
2021-11-22remove firrtl.FIRRTLException (#2421)Jiuyang Liu
2021-11-22[deprecation clean up] remove deprecated API in firrtl.Utils (#2420)Jiuyang Liu
2021-11-19Disable random init (#2396)Jiuyang Liu
2021-11-12Let firrtl based applications run despite loading unknown annotations (#2387)Chick Markley
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-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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:44:24 +0000