projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Hotfix in AIGER witness reader state machine
[yosys.git] / passes /
2022-02-28 Claire Xenia WolfHotfix in AIGER witness reader state machine tree | commitdiff
2022-02-27 Miodrag MilanovicSupport extended aiw format tree | commitdiff
2022-02-25 Miodrag MilanovicFix for last clock edge data tree | commitdiff
2022-02-25 Claire Xenia WolfExperimental sim changes tree | commitdiff
2022-02-22 Claire XenMerge pull request #3211 from YosysHQ/micko/witness tree | commitdiff
2022-02-22 Claire XenMerge pull request #3197 from YosysHQ/claire/smtbmcfix tree | commitdiff
2022-02-21 Miodrag MilanovićMerge pull request #3203 from YosysHQ/micko/sim_ff tree | commitdiff
2022-02-21 Miodrag MilanovicFix handling of ce_over_srst tree | commitdiff
2022-02-18 Claire Xenia WolfFix cycle 0 in aiger witness co-simulation tree | commitdiff
2022-02-18 Miodrag MilanovicAdded AIGER witness file co simulation tree | commitdiff
2022-02-18 Miodrag Milanovicsimplify logic of handling flip-flops and latches tree | commitdiff
2022-02-17 Miodrag MilanovicReview cleanup tree | commitdiff
2022-02-16 Miodrag MilanovicAdd support for various ff/latch cells simulation tree | commitdiff
2022-02-11 Claire XenMerge pull request #2376 from nmoroze/clk2ff-better... tree | commitdiff
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn tree | commitdiff
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift tree | commitdiff
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim tree | commitdiff
2022-02-04 Miodrag MilanovicError detection for co-simulation tree | commitdiff
2022-02-04 Miodrag Milanovicbug fix and cleanups tree | commitdiff
2022-02-02 Miodrag MilanovićMerge pull request #3182 from yrabbit/wip-doc2 tree | commitdiff
2022-02-02 YRabbitCorrect a typo in the manual tree | commitdiff
2022-02-02 Miodrag Milanovicrespect hide_internal flag tree | commitdiff
2022-02-02 Miodrag Milanovicunify cycles counting and cleanup tree | commitdiff
2022-02-02 Miodrag Milanovicadded stimulus mode and param check tree | commitdiff
2022-02-02 Scott ThibaultUpdate comment tree | commitdiff
2022-02-02 Scott ThibaultFix unextend method for signed constants tree | commitdiff
2022-01-31 Miodrag Milanovicerror when no signal found tree | commitdiff
2022-01-31 Miodrag MilanovicCleanup tree | commitdiff
2022-01-31 Miodrag MilanovicCompare bits when not all are defined tree | commitdiff
2022-01-31 Miodrag MilanovicCleanup tree | commitdiff
2022-01-31 Miodrag Milanovicmessage update tree | commitdiff
2022-01-31 Miodrag MilanovicDisplay simulation time data tree | commitdiff
2022-01-31 Miodrag MilanovicUse edges when explicit tree | commitdiff
2022-01-31 Miodrag MilanovicUpdating initial state and checks tree | commitdiff
2022-01-31 Miodrag MilanovicFix scope tree | commitdiff
2022-01-30 Marcelina Kościelnickaopt_reduce: Add $bmux and $demux optimization patterns. tree | commitdiff
2022-01-28 Marcelina KościelnickaAdd $bmux and $demux cells. tree | commitdiff
2022-01-28 Miodrag Milanoviccheck if stop before start tree | commitdiff
2022-01-28 Miodrag Milanovicset initial state, only flip-flops tree | commitdiff
2022-01-28 Miodrag Milanovicignore not found private signals tree | commitdiff
2022-01-28 Miodrag Milanovicrecursive check tree | commitdiff
2022-01-28 Miodrag MilanovicDo actual compare tree | commitdiff
2022-01-28 Miodrag MilanovicAdd more options and time handling tree | commitdiff
2022-01-28 Marcelina Kościelnickaopt_dff: Don't mutate muxes while ModWalker is active. tree | commitdiff
2022-01-27 Marcelina Kościelnickamemory_bram: Make use of new mem emulation functions... tree | commitdiff
2022-01-26 Miodrag MilanovicDisplay values of outputs tree | commitdiff
2022-01-26 Miodrag MilanovicCheck if stimulated tree | commitdiff
2022-01-26 Miodrag MilanovicRead fst and use data to set inputs tree | commitdiff
2022-01-26 Miodrag MilanovicAdd ability to write to FST file tree | commitdiff
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram tree | commitdiff
2022-01-17 N. EngelhardtMerge pull request #3145 from nakengelhardt/advertise_s... 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
next