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 simcheck-allow-smtlib2-blackboxes tree | commitdiff
2022-06-17 Marcelina Kościelnickamemory_map: Add -rom-only option. tree | commitdiff
2022-06-17 Marcelina Kościelnickamemory_map: Use const drivers instead of FFs for ROMs. tree | commitdiff
2022-06-17 Marcelina Kościelnickamemory_libmap: Fix wrprio handling. tree | commitdiff
2022-06-16 Marcelina Kościelnickamemory_libmap: Fix params emitted for unused ports... tree | commitdiff
2022-06-13 N. EngelhardtMerge pull request #3196 from bfg86/bfg86/rename tree | commitdiff
2022-06-13 Marcelina Kościelnickaopt_ffinv: Fix use after free. tree | commitdiff
2022-06-13 bfg86Updating help-text with nakengelhardts suggestion. tree | commitdiff
2022-06-10 Jannis HarderMerge pull request #3368 from jix/smtbmc-unroll-noincr... tree | commitdiff
2022-06-09 N. EngelhardtMerge pull request #3349 from nakengelhardt/select_coun... tree | commitdiff
2022-06-09 N. EngelhardtMerge pull request #3359 from jix/fmcombine-memid tree | commitdiff
2022-06-09 Henner ZellerAvoid unnecessary copy of a potential large constant... tree | commitdiff
2022-06-08 Marcelina Kościelnickawreduce: Introduce -mux_undef option (aligned with... tree | commitdiff
2022-06-08 Jannis HarderMerge pull request #3357 from jix/smtbmc-cvc5 tree | commitdiff
2022-06-08 Loftysta: warn on unrecognised cells only once tree | commitdiff
2022-06-07 Jannis HarderMerge pull request #3319 from programmerjake/smtlib2... tree | commitdiff
2022-06-07 Jannis HarderMerge pull request #3358 from jix/smtbmc-yices-forall tree | commitdiff
2022-06-07 Marcelina Kościelnickaopt_ffinv: Harden against simple ff/inv loop. tree | commitdiff
2022-06-07 Marcelina Kościelnickaiopadmap: Fix z assignment removal. tree | commitdiff
2022-06-03 Jannis Harderfmcombine: Add _gold/_gate suffix to memids tree | commitdiff
2022-06-03 Miodrag MilanovicFix preventing show crashing with newer graphviz tree | commitdiff
2022-06-02 Marcelina KościelnickaAdd -no-rw-check option to memory_dff + memory + synth_... tree | commitdiff
2022-06-02 Marcelina Kościelnickamemory_dff: Add support for no_rw_check attribute. tree | commitdiff
2022-06-01 N. Engelhardtalso make 'stat' save counts to scratchpad tree | commitdiff
2022-06-01 N. Engelhardthave 'select -count' save the count to scratchpad entry... tree | commitdiff
2022-05-27 Miodrag MilanovićMerge pull request #3333 from mohamed/feature/tmpdir tree | commitdiff
2022-05-27 Mohamed A. BamakhramaObserve $TMPDIR variable when creating tmp files tree | commitdiff
2022-05-27 Miodrag MilanovićMerge pull request #3053 from DanielHuisman/pr-2 tree | commitdiff
2022-05-25 Miodrag MilanovićMerge pull request #3011 from DanielHuisman/pr-1 tree | commitdiff
2022-05-23 gatecatabc9_ops: Don't leave unused derived modules lying... tree | commitdiff
2022-05-20 Jannis HarderMerge pull request #3324 from jix/confusing-select... tree | commitdiff
2022-05-19 Jannis Harderselect: Fix -assert-none and -assert-any error output... tree | commitdiff
2022-05-18 Marcelina KościelnickaAdd memory_bmux2rom pass. tree | commitdiff
2022-05-18 Marcelina KościelnickaAdd memory_libmap pass. tree | commitdiff
2022-05-18 Marcelina Kościelnickaproc_rom: Add special handling of const-0 address bits. tree | commitdiff
2022-05-17 Miodrag MilanovićMerge pull request #3310 from robinsonb5-PRs/master master tree | commitdiff
2022-05-17 Marcelina Kościelnickaopt_ffinv: Use ModIndex instead of ModWalker. tree | commitdiff
2022-05-16 Jannis HarderMerge pull request #3314 from jix/sva_value_change_logi... tree | commitdiff
2022-05-13 Marcelina KościelnickaAdd opt_ffinv pass. tree | commitdiff
2022-05-12 Marcelina KościelnickaAdd proc_rom pass. tree | commitdiff
2022-05-09 Jannis HarderMerge pull request #3297 from jix/sva_nested_clk_else tree | commitdiff
2022-05-09 Miodrag MilanovićMerge pull request #3299 from YosysHQ/mmicko/sim_memory tree | commitdiff
2022-05-07 Marcelina Kościelnickaopt_mem: Remove constant-value bit lanes. tree | commitdiff
2022-05-06 Miodrag MilanovićMerge pull request #3300 from imhcyx/master tree | commitdiff
2022-05-05 imhcyxmemory_share: fix wrong argidx in extra_args tree | commitdiff
2022-05-04 Marcelina Kościelnickaabc: Use dict/pool instead of std::map/std::set tree | commitdiff
2022-05-04 Miodrag Milanovicfix crash when no fst input tree | commitdiff
2022-05-04 Miodrag MilanovicStart restoring memory state from VCD/FST tree | commitdiff
2022-05-02 Miodrag MilanovicAIM file could have gaps in or between inputs and inits tree | commitdiff
2022-04-25 Jannis HarderMerge pull request #3287 from jix/smt2-conditional... tree | commitdiff
2022-04-25 Jannis HarderMerge pull request #3257 from jix/tribuf-formal tree | commitdiff
2022-04-25 Miodrag MilanovićMerge pull request #3290 from mpasternacki/bugfix/freeb... tree | commitdiff
2022-04-25 Miodrag MilanovićMerge pull request #3289 from YosysHQ/micko/sim_improve tree | commitdiff
2022-04-22 Miodrag MilanovicMatch $anyseq input if connected to public wire tree | commitdiff
2022-04-22 Miodrag MilanovicTreat $anyseq as input from FST tree | commitdiff
2022-04-22 Miodrag MilanovicLast sample from input does not represent change tree | commitdiff
2022-04-22 Miodrag Milanoviclatches are always set to zero tree | commitdiff
2022-04-22 Miodrag MilanovicIf not multiclock, output only on clock edges tree | commitdiff
2022-04-22 Miodrag MilanovicSet init state for all wires from FST and set past tree | commitdiff
2022-04-22 Miodrag MilanovicFix multiclock for btor2 witness tree | commitdiff
2022-04-18 Miodrag MilanovićMerge pull request #3280 from YosysHQ/micko/fix_readaiw tree | commitdiff
2022-04-18 Miodrag MilanovićMerge pull request #3282 from nakengelhardt/verific_loo... tree | commitdiff
2022-04-15 Marcelina Kościelnickamemory_share: Fix up mismatched address widths. tree | commitdiff
2022-04-15 Marcelina Kościelnickaopt_dff: Fix behavior on $ff with D == Q. tree | commitdiff
2022-04-15 Miodrag MilanovicFix reading aiw from other solvers tree | commitdiff
2022-04-12 Jannis Hardertribuf: `-formal` option: convert all to logic and... tree | commitdiff
2022-04-08 Miodrag MilanovićMerge pull request #3275 from YosysHQ/micko/clk2fflogic_fix tree | commitdiff
2022-04-08 Miodrag MilanovicUse wrap_async_control_gate if ff is fine tree | commitdiff
2022-04-08 Miodrag MilanovićMerge pull request #3273 from modwizcode/fix-build tree | commitdiff
2022-04-08 Iris JohnsonMakefile: properly conditionalize features requiring... tree | commitdiff
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
next