projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
print cell name for properties in yosys-smtbmc
[yosys.git] / backends / table /
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head tree | commitdiff
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2 tree | commitdiff
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial tree | commitdiff
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11... tree | commitdiff
2020-06-18 whitequarkUse C++11 final/override keywords. tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master tree | commitdiff
2019-04-30 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-04-30 Benedikt TutzerMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/xc7srl' into xc7mux tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #905 from christian-krieg/feature... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #941 from Wren6991/sim_lib_io_clke tree | commitdiff
2019-04-22 Clifford WolfMerge branch 'master' of https://github.com/dh73/yosys_... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #911 from mmicko/gowin-nobram tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #909 from zachjs/master tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #944 from YosysHQ/clifford/pmux2shiftx tree | commitdiff
2019-04-21 Eddie HungMerge branch 'master' into map_cells_before_map_luts tree | commitdiff
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/clifford/pmux2shif... tree | commitdiff
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-04-20 Clifford WolfMerge pull request #943 from YosysHQ/clifford/whitebox tree | commitdiff
2019-04-18 Eddie HungMerge remote-tracking branch 'origin/clifford/whitebox... tree | commitdiff
2019-04-18 Clifford WolfAdd "whitebox" attribute, add "read_verilog -wb" tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-02-11 Jim LawsonMerge remote-tracking branch 'upstream/master' 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-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2017-07-05 Clifford WolfAdd write_table command tree | commitdiff