projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
pass jny: fixed missing quotes around the type value for the cell sort
[yosys.git] / passes /
2022-04-07 CatherineMerge pull request #3269 from YosysHQ/micko/fix_autotop tree | commitdiff
2022-04-07 Marcelina Kościelnickaabc: Add support for FFs with reset in -dff tree | commitdiff
2022-04-05 Miodrag MilanovicReorder steps in -auto-top to fix synth command, fixes... tree | commitdiff
2022-04-04 Marcelina Kościelnickashow: Fix width labels. tree | commitdiff
2022-04-04 Miodrag MilanovićMerge pull request #3265 from YosysHQ/micko/sim_improve... tree | commitdiff
2022-04-02 Miodrag Milanovicpast_ad initial value setting tree | commitdiff
2022-04-02 Miodrag MilanovicsetInitState can be only one altering values tree | commitdiff
2022-04-02 Miodrag MilanovicSet past_d value for init state tree | commitdiff
2022-04-02 Jannis HarderMerge pull request #3264 from jix/invalid_ff_dcinit_merge tree | commitdiff
2022-04-01 Jannis Harderopt_merge: Add `-keepdc` option required for formal... tree | commitdiff
2022-04-01 Miodrag MilanovićMerge pull request #3263 from YosysHQ/micko/clk2ff_init tree | commitdiff
2022-04-01 Miodrag MilanovicSet init values for wrapped async control signals tree | commitdiff
2022-03-31 Miodrag MilanovićMerge pull request #3256 from YosysHQ/micko/aiw_multiclock tree | commitdiff
2022-03-31 Miodrag Milanovic Support memories in aiw and multiclock tree | commitdiff
2022-03-30 Miodrag MilanovićMerge pull request #3250 from YosysHQ/micko/verific_con... tree | commitdiff
2022-03-28 Jannis HarderMerge pull request #3253 from jix/smtbmc-nodeepcopy tree | commitdiff
2022-03-28 Jannis HarderMerge pull request #3247 from jix/smtbmc-keepgoing tree | commitdiff
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-03-28 LoftyMerge pull request #3246 from YosysHQ/gatecat/timing... tree | commitdiff
2022-03-24 gatecatabc9_ops: Also derive blackboxes with timing info tree | commitdiff
2022-03-22 Miodrag MilanovicProper SigBit forming in sim tree | commitdiff
2022-03-22 Miodrag MilanovicProper SigBit forming in sim tree | commitdiff
2022-03-18 Miodrag MilanovicMore verbose warnings tree | commitdiff
2022-03-17 Miodrag MilanovićMerge pull request #3236 from YosysHQ/micko/tb_initial tree | commitdiff
2022-03-16 Miodrag MilanovicRecognize registers and set initial state for them... tree | commitdiff
2022-03-16 Miodrag MilanovicUpdate sim help message. tree | commitdiff
2022-03-14 Miodrag MilanovićMerge pull request #3232 from YosysHQ/micko/fst2tb tree | commitdiff
2022-03-14 Miodrag MilanovicAdded fst2tb pass for generating testbench tree | commitdiff
2022-03-14 Claire XenMerge pull request #3213 from antonblanchard/abc-typo tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3229 from YosysHQ/micko/sim_date tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3222 from zachjs/prune-linux-ci tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3228 from YosysHQ/micko/disable_tests tree | commitdiff
2022-03-11 Claire Xenia WolfAdd "sim -q" option tree | commitdiff
2022-03-11 Miodrag MilanovicAdd date parameter to enable full date/time and version... tree | commitdiff
2022-03-11 Claire Xenia WolfSmall fix in "sim" help message tree | commitdiff
2022-03-11 Miodrag MilanovićMerge pull request #3226 from YosysHQ/micko/btor2witness tree | commitdiff
2022-03-11 Miodrag MilanovicFstData already do conversion to VCD tree | commitdiff
2022-03-11 Miodrag MilanovicSupport cell name in btor witness file tree | commitdiff
2022-03-11 Miodrag MilanovicProper write of memory data tree | commitdiff
2022-03-09 Miodrag MilanovicStart work on memory init tree | commitdiff
2022-03-09 Miodrag MilanovicFixes and error check tree | commitdiff
2022-03-07 Miodrag Milanoviccleanup tree | commitdiff
2022-03-07 Miodrag MilanovicError checks for aiger witness tree | commitdiff
2022-03-07 Miodrag Milanovicbtor2 witness co-simulation tree | commitdiff
2022-03-07 Miodrag MilanovićMerge pull request #3210 from rqou/json-signed tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3186 from nakengelhardt/smtbmc_sby_... tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3206 from YosysHQ/micko/quote_remove tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3207 from nakengelhardt/json_escape... tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3219 from YosysHQ/micko/quick_vcd tree | commitdiff
2022-03-04 Miodrag MilanovićMerge pull request #3220 from YosysHQ/claire/simstuff tree | commitdiff
2022-03-02 Miodrag MilanovicAdd option to ignore X only signals in output tree | commitdiff
2022-03-02 Miodrag MilanovicWrite simulation files after simulation is performed tree | commitdiff
2022-03-02 Claire XenMerge pull request #3224 from YosysHQ/micko/refactor tree | commitdiff
2022-03-02 Miodrag MilanovicCleanup tree | commitdiff
2022-02-28 Miodrag MilanovicRefactor sim output writers tree | commitdiff
2022-02-28 Miodrag MilanovicQuick fix tree | commitdiff
2022-02-28 Claire Xenia WolfAdd writing of aiw files to "sim" command tree | commitdiff
2022-02-28 Claire Xenia WolfHotfix in AIGER witness reader state machine tree | commitdiff
2022-02-28 Miodrag MilanovicVCD reader support by using external tool tree | commitdiff
2022-02-28 Miodrag MilanovićMerge pull request #3216 from YosysHQ/claire/simstuff 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-23 Anton Blanchardabc: Fix {I} and {P} substitution 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-10 Loftyabc9: add flow3mfs script 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
next