projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #1085 from YosysHQ/eddie/shregmap_improve
[yosys.git] / passes / sat /
2019-06-21 Eddie HungMerge pull request #1085 from YosysHQ/eddie/shregmap_im... tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1117 from bwidawsk/more-home tree | commitdiff
2019-06-20 Ben WidawskyAdd a few more filename rewrites tree | commitdiff
2019-06-20 Clifford WolfMerge branch 'unpacked_arrays' of https://github.com... tree | commitdiff
2019-06-19 Eddie HungMerge pull request #1111 from acw1251/help_summary_fixes tree | commitdiff
2019-06-19 acw1251Fixed the help summary line for a few commands tree | commitdiff
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master tree | commitdiff
2019-06-07 Clifford WolfMerge branch 'pr_elab_sys_tasks' of https://github... tree | commitdiff
2019-06-07 Clifford WolfMerge branch 'implicit_named_connection' of https:... tree | commitdiff
2019-06-06 Clifford WolfMerge pull request #1060 from antmicro/parsing_attr_on_... tree | commitdiff
2019-06-06 David ShahMerge pull request #1073 from whitequark/ecp5-diamond-iob tree | commitdiff
2019-06-06 Clifford WolfMerge pull request #1071 from YosysHQ/eddie/fix_1070 tree | commitdiff
2019-06-06 Clifford WolfMerge pull request #1072 from YosysHQ/eddie/fix_1069 tree | commitdiff
2019-06-05 Eddie HungError out if no top module given before 'sim' tree | commitdiff
2019-06-05 Eddie HungMerge pull request #1067 from YosysHQ/clifford/fix1065 tree | commitdiff
2019-06-05 Clifford WolfMerge pull request #1066 from YosysHQ/clifford/fix1056 tree | commitdiff
2019-06-05 Clifford WolfMerge pull request #999 from jakobwenzel/setundefInitFix tree | commitdiff
2019-06-05 Clifford WolfFix typo in fmcombine log message, fixes #1063 tree | commitdiff
2019-05-21 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-05-11 Clifford WolfMerge pull request #1003 from makaimann/zinit-all tree | commitdiff
2019-05-11 Clifford WolfAdd "fmcombine -initeq -anyeq" tree | commitdiff
2019-05-08 Clifford WolfMerge pull request #991 from kristofferkoch/gcc9-warnings tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #946 from YosysHQ/clifford/specify tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #871 from YosysHQ/verific_import tree | commitdiff
2019-05-06 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #992 from bwidawsk/bison-fix tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #989 from YosysHQ/dave/abc_name_improve tree | commitdiff
2019-05-06 Clifford WolfFix bug in "expose -input" tree | commitdiff
2019-05-03 Eddie HungMerge remote-tracking branch 'origin/master' into cliff... tree | commitdiff
2019-05-03 Clifford WolfMerge pull request #969 from YosysHQ/clifford/pmgenstuff tree | commitdiff
2019-05-03 Clifford WolfMerge pull request #976 from YosysHQ/clifford/fix974 tree | commitdiff
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-05-01 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-05-01 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-05-01 Clifford WolfMerge branch 'clifford/fix883' tree | commitdiff
2019-05-01 Clifford WolfAdd missing enable_undef to "sat -tempinduct-def",... 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 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-20 Clifford WolfAdd "techmap -wb", use in formal flows tree | commitdiff
2019-04-09 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-04-05 Eddie HungMerge branch 'eddie/fix_retime' into xc7srl tree | commitdiff
2019-04-04 Clifford WolfAdded missing argument checking to "mutate" command tree | commitdiff
2019-04-03 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-04-02 Eddie HungMerge pull request #895 from YosysHQ/pmux2shiftx tree | commitdiff
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-03-28 Clifford WolfMerge pull request #903 from YosysHQ/bram_reset_transp tree | commitdiff
2019-03-26 Clifford WolfAdd "cutpoint -undef" tree | commitdiff
2019-03-25 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-25 Clifford WolfAdd "cutpoint" pass tree | commitdiff
2019-03-23 Clifford WolfAdd "mutate -none -mode", "mutate -mode none" tree | commitdiff
2019-03-23 Clifford WolfAdd "mutate -s <filename>" tree | commitdiff
2019-03-19 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-03-15 Clifford WolfImprove mix of src/wire/wirebit coverage in "mutate... tree | commitdiff
2019-03-15 Clifford WolfMerge pull request #876 from YosysHQ/clifford/fmcombine tree | commitdiff
2019-03-15 Clifford WolfAdd "fmcombine -fwd -bwd -nop" tree | commitdiff
2019-03-15 Clifford WolfAdd fmcombine pass tree | commitdiff
2019-03-14 Clifford WolfMerge pull request #875 from YosysHQ/clifford/mutate tree | commitdiff
2019-03-14 Clifford WolfImprovements in "mutate" list-reduce algorithm tree | commitdiff
2019-03-14 Clifford WolfAdd "mutate -cfg", improve pick_cover behavior tree | commitdiff
2019-03-14 Clifford WolfAdd a strictly coverage-driven mutation selection strategy tree | commitdiff
2019-03-14 Clifford WolfImprove "mutate" wire coverage metric tree | commitdiff
2019-03-14 Clifford WolfAdd more mutation types, improve mutation src cover tree | commitdiff
2019-03-14 Clifford WolfAdd "mutate" command DB reduce functionality tree | commitdiff
2019-03-14 Clifford WolfAdd "mutate -mode inv", various other mutate improvements tree | commitdiff
2019-03-14 Clifford WolfAdd basic "mutate -list N" framework tree | commitdiff
2019-03-14 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit tree | commitdiff
2019-03-09 Clifford WolfAdd $dffsr support to async2sync tree | commitdiff
2019-03-01 Jim LawsonMerge remote-tracking branch 'upstream/master' 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 #832 from YosysHQ/supercover tree | commitdiff
2019-02-27 Clifford WolfImprovements in "supercover" pass tree | commitdiff
2019-02-27 Clifford WolfAdd "supercover" skeleton tree | commitdiff
2018-10-02 Clifford WolfMerge pull request #645 from daveshah1/ecp5_dram_fix tree | commitdiff
2018-10-01 Aman GoelMerge pull request #4 from YosysHQ/master tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-09-17 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2018-09-14 Clifford WolfMerge pull request #625 from aman-goel/master tree | commitdiff
2018-09-14 Clifford WolfMerge pull request #627 from acw1251/master tree | commitdiff
2018-09-12 acw1251Fixed minor typo in "sim" help message 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-08-15 Clifford WolfMerge pull request #576 from cr1901/no-resource tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #562 from udif/pr_fix_illegal_port_decl tree | commitdiff
next