projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add -undef option to equiv_opt, passed to equiv_induct
[yosys.git] / frontends /
2019-04-22 Eddie HungMerge pull request #914 from YosysHQ/xc7srl tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #952 from YosysHQ/clifford/fix370 tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #951 from YosysHQ/clifford/logdebug tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-04-22 Clifford WolfDetermine correct signedness and expression width in... tree | commitdiff
2019-04-22 Clifford WolfAdd log_debug() framework 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 #916 from YosysHQ/map_cells_before_m... 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-22 Clifford WolfMerge pull request #945 from YosysHQ/clifford/libwb tree | commitdiff
2019-04-21 Eddie HungMerge branch 'master' into map_cells_before_map_luts tree | commitdiff
2019-04-21 Clifford WolfAdd "noblackbox" attribute 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 WolfNew behavior for front-end handling of whiteboxes tree | commitdiff
2019-04-20 Clifford WolfMerge pull request #943 from YosysHQ/clifford/whitebox tree | commitdiff
2019-04-18 Clifford WolfAdd "whitebox" attribute, add "read_verilog -wb" tree | commitdiff
2019-04-09 Zachary Snowsupport repeat loops with constant repeat counts outsid... tree | commitdiff
2019-04-05 Eddie HungMerge branch 'eddie/fix_retime' into xc7srl tree | commitdiff
2019-04-05 Clifford WolfAdd "read_ilang -lib" 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-03-29 Clifford WolfMerge pull request #907 from YosysHQ/clifford/fix906 tree | commitdiff
2019-03-29 Clifford WolfBuild Verilog parser with -DYYMAXDEPTH=100000, fixes... 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-27 Clifford WolfAdd "read -verific" and "read -noverific" tree | commitdiff
2019-03-26 Clifford WolfFix "verific -extnets" for more complex situations tree | commitdiff
2019-03-22 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-22 Clifford WolfMerge pull request #889 from YosysHQ/clifford/fix888 tree | commitdiff
2019-03-21 Clifford WolfFix mem2reg handling of memories with upto data ports... tree | commitdiff
2019-03-21 Clifford WolfImprove "read_verilog -dump_vlog[12]" handling of upto... tree | commitdiff
2019-03-21 Clifford WolfImprove read_verilog debug output capabilities tree | commitdiff
2019-03-19 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-19 Eddie HungMerge pull request #808 from eddiehung/read_aiger tree | commitdiff
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-03-19 Eddie HungAdd author name tree | commitdiff
2019-03-19 Clifford WolfMerge pull request #884 from zachjs/master tree | commitdiff
2019-03-19 Zachary Snowfix local name resolution in prefix constructs tree | commitdiff
2019-03-14 Clifford WolfMerge pull request #872 from YosysHQ/clifford/pmuxfix tree | commitdiff
2019-03-14 Clifford WolfImprove handling of "full_case" attributes tree | commitdiff
2019-03-14 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-14 Clifford WolfMerge pull request #869 from cr1901/win-shell 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-12 Clifford WolfImprove handling of memories used in mem index expressi... tree | commitdiff
2019-03-12 Clifford WolfRemove outdated "blocking assignment to memory" warning tree | commitdiff
2019-03-12 Clifford WolfOnly set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for... tree | commitdiff
2019-03-11 Eddie HungMerge pull request #864 from YosysHQ/svalabelfix tree | commitdiff
2019-03-10 Clifford WolfFix handling of cases that look like sva labels, fixes... tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #858 from YosysHQ/clifford/svalabels tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #861 from YosysHQ/verific_chparam tree | commitdiff
2019-03-09 Clifford WolfAlso add support for labels on sva module items, fixes... tree | commitdiff
2019-03-09 Eddie HungUpdate help message for -chparam tree | commitdiff
2019-03-09 Eddie HungAdd -chparam option to verific command tree | commitdiff
2019-03-09 Eddie HungFix spelling tree | commitdiff
2019-03-08 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-03-08 Clifford WolfFix handling of task output ports in clocked always... tree | commitdiff
2019-03-07 Clifford WolfAdd support for SVA labels in read_verilog tree | commitdiff
2019-03-07 Clifford WolfAdd hack for handling SVA labels via Verific 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-03 Clifford WolfMerge pull request #848 from YosysHQ/clifford/fix763 tree | commitdiff
2019-03-03 Clifford WolfMerge pull request #849 from YosysHQ/clifford/dynports tree | commitdiff
2019-03-02 Clifford WolfOnly run derive on blackbox modules when ports have... tree | commitdiff
2019-03-02 Clifford WolfFix error for wire decl in always block, fixes #763 tree | commitdiff
2019-03-02 Clifford WolfFix $global_clock handling vs autowire tree | commitdiff
2019-03-02 Clifford WolfMerge pull request #847 from YosysHQ/clifford/fix785 tree | commitdiff
2019-03-02 Clifford WolfFix $readmem[hb] for mem2reg memories, fixes #785 tree | commitdiff
2019-03-02 Clifford WolfMerge pull request #843 from YosysHQ/clifford/mem2regco... tree | commitdiff
2019-03-01 Clifford WolfUse mem2reg on memories that only have constant-index... tree | commitdiff
2019-03-01 Clifford WolfImprove "read" error msg tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #794 from daveshah1/ecp5improve tree | commitdiff
2019-02-24 Clifford WolfMerge pull request #812 from ucb-bar/arrayhierarchyfixes tree | commitdiff
2019-02-24 Clifford WolfMerge pull request #824 from litghost/fix_reduce_on_ff tree | commitdiff
2019-02-24 Clifford WolfFix handling of defparam for when default_nettype is... tree | commitdiff
2019-02-24 Clifford WolfCheck if Verific was built with DB_PRESERVE_INITIAL_VALUE tree | commitdiff
2019-02-22 Clifford WolfMerge pull request #819 from YosysHQ/clifford/optd tree | commitdiff
2019-02-22 Clifford WolfMerge pull request #820 from YosysHQ/clifford/fix810 tree | commitdiff
2019-02-22 Clifford WolfMerge pull request #740 from daveshah1/improve_dress tree | commitdiff
2019-02-21 Clifford WolfFixes related to handling of autowires and upto-ranges... tree | commitdiff
2019-02-21 Clifford WolfFix handling of expression width in $past, fixes #810 tree | commitdiff
2019-02-21 Clifford WolfFix segfault in printing of some internal error messages tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into read_aiger tree | commitdiff
2019-02-19 Eddie HungFix for using POSIX basename tree | commitdiff
2019-02-18 Eddie HungMissing OSX headers? tree | commitdiff
2019-02-18 Eddie HungMerge branch 'dff_init' into read_aiger tree | commitdiff
2019-02-17 Eddie Hungread_aiger to ignore line after ands for ascii, not... tree | commitdiff
2019-02-17 Eddie HungMerge branch 'dff_init' into read_aiger 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-13 Clifford WolfFix sign handling of real constants tree | commitdiff
2019-02-12 Eddie HungMerge branch 'read_aiger' of github.com:eddiehung/yosys... tree | commitdiff
2019-02-12 Eddie HungUse module->add{Not,And}Gate() functions tree | commitdiff
next