projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add hierarchy -smtcheck
[yosys.git] / passes /
2022-06-23 Jacob Lifshayadd hierarchy -smtcheck smtlib2-expr-support-on-0.13 tree | commitdiff
2022-01-04 Austin Seippopt_dff: fix sequence point copy paste bug tree | commitdiff
2021-12-25 CatherineMerge pull request #3127 from whitequark/cxxrtl-no... tree | commitdiff
2021-12-20 Marcelina Kościelnickamemory_share: Fix SAT-based sharing for wide ports. tree | commitdiff
2021-12-16 CatherineMerge pull request #3115 from whitequark/issue-3112 tree | commitdiff
2021-12-16 CatherineMerge pull request #3114 from whitequark/issue-3113 tree | commitdiff
2021-12-15 Catherinebugpoint: avoid infinite loop between -connections... tree | commitdiff
2021-12-12 Marcelina KościelnickaAdd clean_zerowidth pass, use it for Verilog output. tree | commitdiff
2021-12-10 Miodrag MilanovićMerge pull request #3097 from YosysHQ/modport tree | commitdiff
2021-12-08 Marcelina Kościelnickaopt_mem_priority: Fix non-ascii char in help message. tree | commitdiff
2021-11-25 Loftysta: very crude static timing analysis pass tree | commitdiff
2021-11-12 Marcelina Kościelnickashow: Fix wire bit indexing. tree | commitdiff
2021-11-10 Claire XenMerge pull request #3075 from YosysHQ/micko/verific_mem... tree | commitdiff
2021-11-10 Claire XenMerge pull request #3077 from YosysHQ/claire/genlib tree | commitdiff
2021-11-10 Claire XenSpelling fix in abc.cc tree | commitdiff
2021-11-10 Claire Xenia WolfAdd genlib support to ABC command tree | commitdiff
2021-11-10 Marcelina Kościelnickaiopadmap: Fix ebmarassing typo tree | commitdiff
2021-11-09 Marcelina Kościelnickaiopadmap: Add native support for negative-polarity... tree | commitdiff
2021-11-06 Pepijn de Vosgowin: widelut support (#3042) tree | commitdiff
2021-11-05 Miodrag MilanovicMake it work on all tree | commitdiff
2021-11-05 Miodrag MilanovicCorrect way of setting maybe_unsused on labels tree | commitdiff
2021-11-05 Miodrag MilanovićMerge pull request #3067 from YosysHQ/aki/ci_update tree | commitdiff
2021-11-02 Marcelina Kościelnickaflatten: Keep sigmap around between flatten_cell invoca... tree | commitdiff
2021-10-27 Marcelina Kościelnickaproc_dff: Emit $aldff. tree | commitdiff
2021-10-27 Marcelina Kościelnickadfflegalize: Refactor, add aldff support. tree | commitdiff
2021-10-26 Zachary Snowverilog: use derived module info to elaborate cell... tree | commitdiff
2021-10-26 Rupert SwarbrickSplit out logic for reprocessing an AstModule tree | commitdiff
2021-10-21 Marcelina KościelnickaChange implicit conversions from bool to Sig* to explicit. tree | commitdiff
2021-10-21 Marcelina Kościelnickaextract_reduce: Refactor and fix input signal construction. tree | commitdiff
2021-10-19 Miodrag MilanovićMerge pull request #3045 from galibert/master tree | commitdiff
2021-10-17 Paul Annesleydfflegalize: remove redundant check for initialized... tree | commitdiff
2021-10-07 Marcelina KościelnickaFfData: some refactoring. tree | commitdiff
2021-10-02 Marcelina KościelnickaHook up $aldff support in various passes. tree | commitdiff
2021-10-02 Marcelina Kościelnickazinit: Refactor to use FfData. tree | commitdiff
2021-10-02 Marcelina Kościelnickakernel/ff: Refactor FfData to enable FFs with async... tree | commitdiff
2021-10-02 Marcelina Kościelnickasimplemap: refactor to use FfData. tree | commitdiff
2021-09-09 Eddie Hungabc9: make re-entrant (#2993) tree | commitdiff
2021-09-09 Eddie Hungabc9: holes module to instantiate cells with NEW_ID... tree | commitdiff
2021-09-09 Eddie Hungabc9: replace cell type/parameters if derived type... tree | commitdiff
2021-08-22 Marcelina Kościelnickaopt_merge: Remove and reinsert init when connecting... tree | commitdiff
2021-08-22 Marcelina Kościelnickaopt_clean: Make the init attribute follow the FF's Q. tree | commitdiff
2021-08-14 Marcelina Kościelnickaproc_prune: Make assign removal and promotion per-bit... tree | commitdiff
2021-08-13 Marcelina KościelnickaAdd opt_mem_widen pass. tree | commitdiff
2021-08-13 Marcelina Kościelnickamemory_share: Add -nosat and -nowiden options. tree | commitdiff
2021-08-13 Marcelina Kościelnickamemory_dff: Recognize soft transparency logic. tree | commitdiff
2021-08-13 Marcelina KościelnickaAdd new opt_mem_priority pass. tree | commitdiff
2021-08-13 Miodrag MilanovićMerge pull request #2932 from YosysHQ/mwk/logger-check... tree | commitdiff
2021-08-12 Marcelina Kościelnickamemory_share: Pass addresses through sigmap_xmux everyw... tree | commitdiff
2021-08-12 Marcelina Kościelnickalogger: Add -check-expected subcommand. tree | commitdiff
2021-08-11 Marcelina Kościelnickamemory_dff: Recognize read ports with reset / initial... tree | commitdiff
2021-08-11 Marcelina Kościelnickaproc_memwr: Use the v2 memwr cell. tree | commitdiff
2021-08-11 Marcelina KościelnickaAdd v2 memory cells. tree | commitdiff
2021-08-10 Marcelina Kościelnickakernel/mem: Introduce transparency masks. tree | commitdiff
2021-08-09 Marcelina KościelnickaRefactor common parts of SAT-using optimizations into... tree | commitdiff
2021-08-07 Marcelina Kościelnickaopt_merge: Use FfInitVals. tree | commitdiff
2021-08-04 Marcelina Kościelnickamemory_share: Don't skip ports with EN wired to input... tree | commitdiff
2021-08-03 Marcelina Kościelnickamemory_bram: Move init data swizzling before other... tree | commitdiff
2021-08-01 Marcelina Kościelnickamemory_bram: Some refactoring tree | commitdiff
2021-07-30 Zachary Snowproc_rmdead: use explicit pattern set when there are... tree | commitdiff
2021-07-29 Marcelina Kościelnickaopt_lut: Allow more than one -dlogic per cell type. tree | commitdiff
2021-07-28 Marcelina Kościelnickamemory: Introduce $meminit_v2 cell, with EN input. tree | commitdiff
2021-07-27 Marcelina Kościelnickaproc: Run opt_expr at the end tree | commitdiff
2021-07-27 Marcelina Kościelnickaopt_expr: Propagate constants to port connections. tree | commitdiff
2021-07-20 Rupert SwarbrickUse new read_id_num helper function elsewhere in hierar... tree | commitdiff
2021-07-20 Rupert SwarbrickExtract connection checking logic from expand_module... tree | commitdiff
2021-07-15 Rupert SwarbrickExtract missing module support in hierarchy.cc to a... tree | commitdiff
2021-07-14 whitequarkMerge pull request #2866 from rswarbrick/found-init tree | commitdiff
2021-07-14 Rupert SwarbrickDelete unused found_init variable tree | commitdiff
2021-07-11 Marcelina Kościelnickartlil: Make Process handling more uniform with Cell... tree | commitdiff
2021-07-05 Claire XenMerge pull request #2835 from YosysHQ/verific_command tree | commitdiff
2021-06-18 Miodrag MilanovićMerge pull request #2836 from YosysHQ/gatecat/pyosys... tree | commitdiff
2021-06-17 Rupert SwarbrickMove interface expansion in hierarchy.cc into a helper... tree | commitdiff
2021-06-11 gatecatopt_muxtree: Update port_off and port_idx even for... tree | commitdiff
2021-06-09 Marcelina Kościelnickaopt_expr: Fix mul/div/mod by POT patterns to support... tree | commitdiff
2021-06-09 Marcelina Kościelnickaopt_expr: Optimize div/mod by const 1. tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-09 Claire Xenia WolfFix deadname SVN links tree | commitdiff
2021-06-09 Claire Xenia WolfUse HTTPS for website links, gatecat email tree | commitdiff
2021-06-08 Zachary Snowautoname: simple perf optimizations tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2021-05-31 Marcelina Kościelnickamemory_map: Improve start_offset handling. tree | commitdiff
2021-05-29 Marcelina Kościelnickamemory_share: Add read port merging. tree | commitdiff
2021-05-28 Marcelina Kościelnickamemory_share: Improve sat-based port sharing. tree | commitdiff
2021-05-27 Marcelina KościelnickaMake a few passes auto-call Mem::narrow instead of... tree | commitdiff
2021-05-27 Marcelina Kościelnickamemory_share: Improve same-address merging, recognize... tree | commitdiff
2021-05-26 Marcelina Kościelnickakernel/mem: Add sub_addr helpers. tree | commitdiff
2021-05-25 Marcelina Kościelnickamem/extract_rdff: Fix "no FF made" edge case. tree | commitdiff
2021-05-25 Marcelina Kościelnickamemory_bram: Reuse extract_rdff helper for make_outreg. tree | commitdiff
2021-05-25 Marcelina Kościelnickaopt_mem: Add reset/init value support. tree | commitdiff
2021-05-25 Marcelina Kościelnickamemory_bram: Respect write port priority. tree | commitdiff
2021-05-25 Marcelina Kościelnickaopt_mem_feedback: Respect write port priority. tree | commitdiff
2021-05-25 Marcelina KościelnickaAdd memory_narrow pass. tree | commitdiff
2021-05-25 Marcelina Kościelnickamemory_share: Add wide port support. tree | commitdiff
2021-05-25 Marcelina Kościelnickaopt_mem_feedback: Add wide port support. tree | commitdiff
2021-05-25 Marcelina Kościelnickamemory_map: Add wide port support. tree | commitdiff
2021-05-25 Marcelina Kościelnickasim: Add wide port support. tree | commitdiff
2021-05-25 Marcelina KościelnickaReject wide ports in some passes that will never suppor... tree | commitdiff
2021-05-24 Marcelina Kościelnickaopt_mem_feedback: Rewrite feedback path finding logic. tree | commitdiff
2021-05-24 Marcelina Kościelnickaopt_mem_feedback: Convert to Mem helpers. tree | commitdiff
2021-05-23 Marcelina Kościelnickamemory_share: Use Mem helpers. tree | commitdiff
next