projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #897 from trcwm/libertyfixes
[yosys.git] / frontends /
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 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 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
2019-02-11 Eddie HungDo not break for constraints tree | commitdiff
2019-02-11 Eddie HungNo increment line_count for binary ANDs tree | commitdiff
2019-02-11 Eddie HungDo not ignore newline after AND in binary AIG tree | commitdiff
2019-02-08 Eddie HungMerge remote-tracking branch 'origin/dff_init' into... tree | commitdiff
2019-02-08 Eddie HungaddDff -> addDffGate as per @daveshah1 tree | commitdiff
2019-02-08 Eddie HungFix tabulation tree | commitdiff
2019-02-08 Eddie Hung-module_name arg to go before -clk_name tree | commitdiff
2019-02-08 Eddie HungAdd missing "[options]" to read_blif help tree | commitdiff
2019-02-08 Eddie HungAllow module name to be determined by argument too tree | commitdiff
2019-02-08 Eddie HungRefactor into AigerReader class tree | commitdiff
2019-02-08 Eddie HungParse binary AIG files tree | commitdiff
2019-02-08 Eddie HungRefactor to parse_aiger_header() tree | commitdiff
2019-02-08 Eddie HungAdd comment tree | commitdiff
2019-02-08 Eddie HungHandle reset logic in latches tree | commitdiff
2019-02-08 Eddie HungChange literal vars from int to unsigned tree | commitdiff
2019-02-08 Eddie HungCreate clk outside of latch loop tree | commitdiff
2019-02-08 Eddie HungHandle latch symbols too tree | commitdiff
2019-02-08 Eddie HungRemove return after log_error tree | commitdiff
2019-02-08 Eddie HungAdd support for symbol tables tree | commitdiff
2019-02-08 Eddie HungStub for binary AIGER tree | commitdiff
2019-02-06 Eddie HungRefactor tree | commitdiff
2019-02-06 Eddie HungMerge branch 'dff_init' of https://github.com/eddiehung... tree | commitdiff
2019-02-06 Eddie HungWIP tree | commitdiff
2019-01-07 Clifford WolfMerge pull request #782 from whitequark/flowmap_dfs tree | commitdiff
2019-01-06 Clifford WolfMerge pull request #780 from phire/rename_from_wire tree | commitdiff
2019-01-05 Clifford WolfBugfix in Verilog string handling tree | commitdiff
2019-01-04 Clifford WolfMerge pull request #777 from mmicko/achronix_cell_sim_fix tree | commitdiff
2019-01-04 Clifford WolfRemove -m32 Verific eval lib build instructions 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 branch 'master' of github.com:YosysHQ/yosys 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
next