projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/master' into xaig
[yosys.git] / backends /
2019-02-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-02-21 Eddie Hungwrite_xaiger to use original bit for co, not sigmap... tree | commitdiff
2019-02-21 Clifford WolfMerge pull request #786 from YosysHQ/pmgen tree | commitdiff
2019-02-21 Eddie HungMerge branch 'clifford/dffsrfix' of https://github... tree | commitdiff
2019-02-21 Eddie HungRemove swap file tree | commitdiff
2019-02-20 Eddie Hungwrite_aiger: fix CI/CO and symbols tree | commitdiff
2019-02-20 Eddie Hungwrite_xaiger to not write latches, CO/PO fixes tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-02-19 Eddie HungMerge pull request #805 from eddiehung/dff_init tree | commitdiff
2019-02-17 Eddie HungInstead of INIT param on cells, use initial statement... tree | commitdiff
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into dff_init tree | commitdiff
2019-02-17 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-02-17 Clifford WolfMerge pull request #811 from ucb-bar/firrtlfixes tree | commitdiff
2019-02-17 Eddie HungCleanup tree | commitdiff
2019-02-17 Eddie HungCleanup tree | commitdiff
2019-02-17 Eddie Hungwrite_xaiger to support non-bit cell connections, and... tree | commitdiff
2019-02-17 Eddie Hungwrite_aiger -O to write dummy output as __dummy_o__ tree | commitdiff
2019-02-16 Eddie HungTidy up write_xaiger tree | commitdiff
2019-02-16 Eddie Hungwrite_aiger() to perform CI/CO post-processing and... tree | commitdiff
2019-02-15 Eddie HungFixes needed for DFF circuits tree | commitdiff
2019-02-15 Jim LawsonRemoved unused variables, functions. tree | commitdiff
2019-02-15 Eddie Hungwrite_xaiger to cope with unknown cells by transforming... tree | commitdiff
2019-02-15 Jim LawsonUpdate cells supported for verilog to FIRRTL conversion. tree | commitdiff
2019-02-14 Eddie HungMore cleanup tree | commitdiff
2019-02-14 Eddie HungMore cleanup of write_xaiger tree | commitdiff
2019-02-14 Eddie HungGet rid of formal stuff from xaiger backend tree | commitdiff
2019-02-13 Eddie HungMerge remote-tracking branch 'origin/read_aiger' into... tree | commitdiff
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig tree | commitdiff
2019-02-12 Clifford WolfMerge pull request #802 from whitequark/write_verilog_a... tree | commitdiff
2019-02-11 Eddie HungAdd write_xaiger tree | commitdiff
2019-02-08 Eddie HungCopy backends/aiger/aiger.cc to xaiger.cc tree | commitdiff
2019-02-08 Eddie HungMerge remote-tracking branch 'origin/dff_init' into... tree | commitdiff
2019-02-06 Eddie HungRemove check for cell->name[0] == '$' tree | commitdiff
2019-02-06 Eddie HungMerge branch 'dff_init' of https://github.com/eddiehung... tree | commitdiff
2019-02-06 Eddie HungRefactor tree | commitdiff
2019-02-06 Eddie Hungwrite_verilog to cope with init attr on q when -noexpr tree | commitdiff
2019-02-06 Clifford WolfAdd missing blackslash-to-slash convertion to smtio... tree | commitdiff
2019-01-29 whitequarkwrite_verilog: correctly emit asynchronous transparent... tree | commitdiff
2019-01-27 Clifford WolfMerge pull request #798 from mmicko/master tree | commitdiff
2019-01-27 Clifford WolfMerge pull request #800 from whitequark/write_verilog_t... tree | commitdiff
2019-01-27 Clifford WolfMerge branch 'whitequark-write_verilog_keyword' tree | commitdiff
2019-01-27 whitequarkwrite_verilog: write $tribuf cell as ternary. tree | commitdiff
2019-01-27 whitequarkwrite_verilog: escape names that match SystemVerilog... tree | commitdiff
2019-01-17 Clifford WolfAdd "write_edif -gndvccy" tree | commitdiff
2019-01-15 Clifford WolfFix handling of $shiftx in Verilog back-end tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init 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
2018-12-31 Clifford WolfMerge pull request #766 from Icenowy/anlogic-latches tree | commitdiff
2018-12-29 Larry DoolittleSquelch a little more trailing whitespace 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-22 Clifford WolfMerge pull request #757 from whitequark/manual_mem 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 WolfMinor style fixes tree | commitdiff
2018-12-18 Clifford WolfMerge pull request #748 from makaimann/add-btor-ops tree | commitdiff
2018-12-17 makaimannAdd btor ops for $mul, $div, $mod and $concat tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #746 from Icenowy/anlogic-dram 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 whitequarkwrite_verilog: handle the $shift cell. tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #736 from whitequark/select_assert_list tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk tree | commitdiff
2018-12-16 whitequarkwrite_verilog: add a missing newline. 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 #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-10 Clifford WolfAdd yosys-smtbmc support for btor witness tree | commitdiff
2018-12-08 Clifford WolfAdd "yosys-smtbmc --btorwit" skeleton tree | commitdiff
2018-12-08 Clifford WolfFix btor init value handling tree | commitdiff
2018-12-07 whitequarkwrite_verilog: correctly map RTLIL `sync init`. tree | commitdiff
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master tree | commitdiff
2018-11-12 Clifford WolfAdd "write_aiger -I -O -B" tree | commitdiff
2018-11-12 Clifford WolfMerge pull request #695 from daveshah1/ecp5_bb tree | commitdiff
2018-11-07 Clifford WolfMerge pull request #693 from YosysHQ/rlimit tree | commitdiff
2018-11-07 Clifford WolfLimit stack size to 16 MB on Darwin tree | commitdiff
2018-11-06 Clifford WolfRun solver in non-incremental mode whem smtio.py is... tree | commitdiff
2018-11-06 Clifford WolfFix for improved smtio.py rlimit code tree | commitdiff
2018-11-06 Clifford WolfImprove stack rlimit code in smtio.py tree | commitdiff
2018-11-05 Clifford WolfMerge pull request #691 from arjenroodselaar/stacksize tree | commitdiff
2018-11-05 Arjen RoodselaarUse conservative stack size for SMT2 on MacOS tree | commitdiff
2018-11-04 Clifford WolfAdd proper error message for when smtbmc "append" fails tree | commitdiff
2018-11-01 Clifford WolfAdd support for signed $shift/$shiftx in smt2 back-end tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #672 from daveshah1/fix_bram tree | commitdiff
next