projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'whitequark-write_verilog_keyword'
[yosys.git] / passes /
2019-01-25 David ShahMerge pull request #796 from whitequark/proc_clean_typo tree | commitdiff
2019-01-23 whitequarkproc_clean: fix critical typo. tree | commitdiff
2019-01-19 Clifford WolfMerge pull request #793 from whitequark/proc_clean_fix_... tree | commitdiff
2019-01-18 whitequarkproc_clean: fix fully def check to consider compare... tree | commitdiff
2019-01-15 Clifford WolfMerge pull request #788 from whitequark/master tree | commitdiff
2019-01-15 Clifford WolfMerge pull request #787 from whitequark/flowmap_relax tree | commitdiff
2019-01-08 whitequarkflowmap: clean up terminology. tree | commitdiff
2019-01-08 whitequarkflowmap: implement depth relaxation. tree | commitdiff
2019-01-07 Clifford WolfBugfix in $memrd sharing tree | commitdiff
2019-01-07 Clifford WolfMerge pull request #782 from whitequark/flowmap_dfs tree | commitdiff
2019-01-07 Clifford WolfSwitch "bugpoint" from system() to run_command() tree | commitdiff
2019-01-07 Clifford WolfMerge pull request #783 from whitequark/bugpoint tree | commitdiff
2019-01-07 whitequarkbugpoint: new pass. tree | commitdiff
2019-01-06 whitequarkflowmap: construct a max-volume max-flow min-cut, not... tree | commitdiff
2019-01-06 Clifford WolfMerge pull request #780 from phire/rename_from_wire tree | commitdiff
2019-01-06 Scott MansellRename cells based on the wires they drive. tree | commitdiff
2019-01-04 whitequarkflowmap: add -minlut option, to allow postprocessing... tree | commitdiff
2019-01-04 whitequarkflowmap: cleanup for clarity. NFCI. tree | commitdiff
2019-01-04 whitequarkflowmap: improve debug graph output. NFC. tree | commitdiff
2019-01-04 whitequarkflowmap: add link to longer version of paper. NFC. tree | commitdiff
2019-01-03 Clifford WolfMerge pull request #775 from whitequark/opt_flowmap tree | commitdiff
2019-01-03 whitequarkflowmap: new techmap pass. tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp tree | commitdiff
2019-01-02 whitequarkopt_expr: improve simplification of comparisons with... tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init tree | commitdiff
2019-01-02 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos tree | commitdiff
2019-01-02 whitequarkFix typographical and grammatical errors and inconsiste... tree | commitdiff
2019-01-02 whitequarkopt_lut: reflect changes in sigmap. tree | commitdiff
2019-01-02 whitequarkopt_lut: use a worklist, and revisit cells affected... tree | commitdiff
2019-01-02 whitequarkopt_lut: count eliminated cells, and set opt.did_someth... tree | commitdiff
2019-01-02 whitequarkopt_expr: refactor simplification of unsigned X<onehot... tree | commitdiff
2019-01-02 whitequarkopt_expr: refactor simplification of signed X>=0 and... tree | commitdiff
2019-01-02 whitequarkopt_expr: simplify any unsigned comparisons with all... tree | commitdiff
2019-01-01 Clifford WolfMerge pull request #768 from whitequark/opt_lut_elim tree | commitdiff
2018-12-31 whitequarkopt_lut: eliminate LUTs evaluating to constants or... tree | commitdiff
2018-12-31 Clifford WolfFix handling of (* keep *) wires in wreduce tree | commitdiff
2018-12-31 Clifford WolfMerge pull request #766 from Icenowy/anlogic-latches tree | commitdiff
2018-12-23 Clifford WolfMerge pull request #761 from whitequark/proc_clean_partial tree | commitdiff
2018-12-23 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2018-12-23 whitequarkproc_clean: remove any empty cases if all cases use... tree | commitdiff
2018-12-22 Clifford WolfMerge pull request #757 from whitequark/manual_mem tree | commitdiff
2018-12-22 whitequarkproc_clean: remove any empty cases at the end of the... tree | commitdiff
2018-12-21 Clifford WolfMerge pull request #758 from whitequark/tcl_script_args tree | commitdiff
2018-12-21 Clifford WolfMerge pull request #759 from whitequark/memory_collect_... tree | commitdiff
2018-12-21 whitequarkmemory_collect: do not truncate 'x from \INIT. tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #752 from Icenowy/anlogic-lut-cost tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #753 from Icenowy/anlogic-makefile-fix tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #749 from Icenowy/anlogic-dram-fix tree | commitdiff
2018-12-18 Clifford WolfMerge pull request #748 from makaimann/add-btor-ops tree | commitdiff
2018-12-18 Clifford WolfMerge pull request #751 from daveshah1/fix_589 tree | commitdiff
2018-12-18 David Shahmemory_dff: Fix typo when checking init value tree | commitdiff
2018-12-18 Icenowy ZhengAdd "dffinit -noreinit" parameter tree | commitdiff
2018-12-18 Icenowy ZhengAdd "dffinit -strinit high low" tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #742 from whitequark/changelog tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #741 from whitequark/ilang_slice_sigspec tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #744 from whitequark/write_verilog_... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #745 from YosysHQ/revert-714-abc_pre... tree | commitdiff
2018-12-16 Clifford WolfRevert "Proof-of-concept: preserve naming through ABC... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #736 from whitequark/select_assert_list tree | commitdiff
2018-12-16 whitequarkselect: print selection if a -assert-* flag causes... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #738 from smunaut/issue_737 tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #735 from daveshah1/trifixes tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #739 from whitequark/patch-1 tree | commitdiff
2018-12-16 Clifford WolfFix equiv_opt indenting tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #724 from whitequark/equiv_opt tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #734 from grahamedgecombe/fix-shuffl... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #730 from smunaut/ffssr_dont_touch tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #729 from whitequark/write_verilog_i... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #725 from olofk/ram4k-init tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #714 from daveshah1/abc_preserve_naming tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #723 from whitequark/synth_ice40_map... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #722 from whitequark/rename_src tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #720 from whitequark/master tree | commitdiff
2018-12-12 David Shahdeminout: Consider $tribuf cells tree | commitdiff
2018-12-12 David Shahdeminout: Don't demote constant-driven inouts to inputs tree | commitdiff
2018-12-11 Graham Edgecombememory_bram: Fix initdata bit order after shuffling tree | commitdiff
2018-12-07 whitequarkequiv_opt: pass -D EQUIV when techmapping. tree | commitdiff
2018-12-07 whitequarkequiv_opt: new command, for verifying optimization... tree | commitdiff
2018-12-07 David ShahMerge pull request #727 from whitequark/opt_lut tree | commitdiff
2018-12-07 whitequarkopt_lut: leave intact LUTs with cascade feeding module... tree | commitdiff
2018-12-07 whitequarkopt_lut: show original truth table for both cells. tree | commitdiff
2018-12-07 whitequarkopt_lut: add -limit option, for debugging misoptimizations. tree | commitdiff
2018-12-06 David Shahabc: Preserve naming through ABC using 'dress' command tree | commitdiff
2018-12-06 Clifford WolfBugfix in opt_expr handling of a<0 and a>=0 tree | commitdiff
2018-12-05 whitequarkrename: add -src, for inferring names from source locat... tree | commitdiff
2018-12-05 whitequarklut2mux: handle 1-bit INIT constant in $lut cells. tree | commitdiff
2018-12-05 whitequarkopt_lut: simplify type conversion. NFC. tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #709 from smunaut/issue_708 tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #713 from Diego-HR/master tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #712 from mmicko/anlogic-support tree | commitdiff
2018-12-05 Clifford WolfRename opt_lut.cpp to opt_lut.cc tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #717 from whitequark/opt_lut tree | commitdiff
2018-12-05 whitequarkopt_lut: add -dlogic, to avoid disturbing logic such... tree | commitdiff
2018-12-05 whitequarkopt_lut: always prefer to eliminate 1-LUTs. tree | commitdiff
next