projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/pmux2shiftx' into xc7mux
[yosys.git] / backends /
2019-04-11 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-11 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-11 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-11 Eddie HungAdd non-input bits driven by unrecognised cells as... tree | commitdiff
2019-04-08 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-04-03 Clifford WolfMerge pull request #912 from YosysHQ/bram_addr_en tree | commitdiff
2019-04-03 Clifford WolfMerge pull request #910 from ucb-bar/memupdates tree | commitdiff
2019-04-01 Jim LawsonRefine memory support to deal with general Verilog... tree | commitdiff
2019-03-23 Clifford WolfMerge pull request #893 from YosysHQ/clifford/btormeminit tree | commitdiff
2019-03-23 Clifford WolfAdd support for memory initialization to write_btor tree | commitdiff
2019-03-23 Clifford WolfFix BTOR output tags syntax in writye_btor tree | commitdiff
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-03-14 Clifford WolfMerge pull request #875 from YosysHQ/clifford/mutate tree | commitdiff
2019-03-14 Clifford WolfFix smtbmc.py handling of zero appended steps tree | commitdiff
2019-03-14 Clifford WolfMerge pull request #872 from YosysHQ/clifford/pmuxfix tree | commitdiff
2019-03-14 Clifford WolfFix a syntax bug in ilang backend related to process... tree | commitdiff
2019-03-14 Clifford WolfMerge pull request #869 from cr1901/win-shell tree | commitdiff
2019-03-13 William D. JonesInstall launcher executable when running yosys-smtbmc... tree | commitdiff
2019-03-13 Clifford WolfMerge pull request #868 from YosysHQ/clifford/fixmem tree | commitdiff
2019-03-12 Clifford WolfMerge pull request #866 from YosysHQ/clifford/idstuff tree | commitdiff
2019-03-11 Clifford WolfImprove determinism of IdString DB for similar scripts tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit tree | commitdiff
2019-03-09 Clifford WolfFix signed $shift/$shiftx handling in write_smt2 tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #858 from YosysHQ/clifford/svalabels tree | commitdiff
2019-03-07 Clifford WolfUse SVA label in smt export if available tree | commitdiff
2019-03-05 Clifford WolfMerge pull request #842 from litghost/merge_upstream tree | commitdiff
2019-03-05 Clifford WolfMerge pull request #850 from daveshah1/ecp5_warn_conflict tree | commitdiff
2019-03-05 Clifford WolfMerge pull request #851 from kprasadvnsi/master tree | commitdiff
2019-03-05 Clifford WolfMerge pull request #852 from ucb-bar/firrtlfixes tree | commitdiff
2019-03-04 Jim LawsonEnsure fid() calls make_id() for consistency; tests... tree | commitdiff
2019-03-01 Clifford WolfFix "write_edif -gndvccy" tree | commitdiff
2019-03-01 Clifford WolfMerge pull request #836 from elmsfu/ice40_2bit_ram_rw_mode tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #834 from YosysHQ/clifford/siminit tree | commitdiff
2019-02-28 Clifford WolfAdd "write_verilog -siminit" tree | commitdiff
2019-02-28 Larry DoolittleReduce amount of trailing whitespace in code base tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #794 from daveshah1/ecp5improve tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #827 from ucb-bar/firrtlfixes tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #833 from YosysHQ/clifford/fix831 tree | commitdiff
2019-02-28 Clifford WolfFix smt2 code generation for partially initialized... tree | commitdiff
2019-02-26 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-02-26 Eddie Hungwrite_xaiger to behave for undriven/unused inouts tree | commitdiff
2019-02-26 Eddie Hungwrite_xaiger duplicate inout port into out port with... tree | commitdiff
2019-02-26 Jim LawsonFix FIRRTL to Verilog process instance subfield assignment. tree | commitdiff
2019-02-25 Eddie HungCleanup abc9 code tree | commitdiff
2019-02-24 Clifford WolfMerge pull request #812 from ucb-bar/arrayhierarchyfixes tree | commitdiff
2019-02-22 Eddie Hungwrite_xaiger to write __dummy_o__ for -symbols too tree | commitdiff
2019-02-22 Clifford WolfMerge pull request #740 from daveshah1/improve_dress tree | commitdiff
2019-02-21 Eddie HungAdd attribution tree | commitdiff
2019-02-21 Eddie HungMerge branch 'read_aiger' into xaig tree | commitdiff
2019-02-21 Eddie HungMerge branch 'read_aiger' into xaig tree | commitdiff
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 branch 'master' into read_aiger tree | commitdiff
2019-02-19 Eddie HungMerge pull request #805 from eddiehung/dff_init tree | commitdiff
2019-02-18 Eddie HungMerge branch 'dff_init' into read_aiger 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 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger 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
next