projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/master' into xaig
[yosys.git] / frontends /
2019-02-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-02-21 Eddie HungMerge branch 'clifford/dffsrfix' of https://github... tree | commitdiff
2019-02-21 Eddie Hungread_aiger to not do -purge for clean tree | commitdiff
2019-02-21 Eddie Hunglut/not/and suffix to be ${lut,not,and} tree | commitdiff
2019-02-21 Eddie Hungread_aiger to also rename 0 index lut when wideports tree | commitdiff
2019-02-20 Eddie Hungread_aiger: new naming fixes tree | commitdiff
2019-02-20 Eddie Hungread_aiger to name wires with internal name, less likel... tree | commitdiff
2019-02-19 Eddie HungSame for ascii AIGERs too tree | commitdiff
2019-02-19 Eddie Hungread_aiger to cope with non-unique POs tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-02-19 Eddie Hungread_aiger to create sane $lut names, and rename when... tree | commitdiff
2019-02-19 Eddie HungAdd comment tree | commitdiff
2019-02-19 Eddie HungGet rid of boost dep, fix the FIXMEs for Win32? tree | commitdiff
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into dff_init tree | commitdiff
2019-02-17 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-02-17 Eddie HungIn read_xaiger, do not construct ConstEval for every LUT tree | commitdiff
2019-02-17 Eddie Hungread_aiger to ignore output = input of same wire; also... tree | commitdiff
2019-02-16 Eddie Hungread_aiger to disable log_debug tree | commitdiff
2019-02-16 Eddie Hungread_xaiger() to use f.read() not readsome() tree | commitdiff
2019-02-16 Eddie Hungread_aiger() to cope with constant outputs, mixed widep... tree | commitdiff
2019-02-15 Eddie Hungread_aiger with more asserts, and call clean tree | commitdiff
2019-02-14 Eddie HungLeave FIXME for clean tree | commitdiff
2019-02-14 Eddie HungUse module->addLut() tree | commitdiff
2019-02-14 Eddie HungUse ConstEval to compute LUT masks 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-13 Clifford WolfFix sign handling of real constants tree | commitdiff
2019-02-12 Eddie HungAdd support for read_aiger -wideports tree | commitdiff
2019-02-12 Eddie HungAdd support for read_aiger -map tree | commitdiff
2019-02-12 Eddie HungParse 'm' in xaiger 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 HungAdd read_xaiger 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
2019-01-02 Clifford WolfImprove VerificImporter support for writes to asymmetri... tree | commitdiff
2019-01-02 Clifford WolfFix VerificImporter asymmetric memories error message 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-12-31 Clifford WolfMerge pull request #766 from Icenowy/anlogic-latches tree | commitdiff
2018-12-23 Clifford WolfMerge pull request #761 from whitequark/proc_clean_partial tree | commitdiff
2018-12-23 Clifford WolfAdd "read_ilang -[no]overwrite" tree | commitdiff
2018-12-22 Clifford WolfMerge pull request #757 from whitequark/manual_mem tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #752 from Icenowy/anlogic-lut-cost tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #753 from Icenowy/anlogic-makefile-fix tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #749 from Icenowy/anlogic-dram-fix tree | commitdiff
2018-12-18 Clifford WolfMerge pull request #748 from makaimann/add-btor-ops tree | commitdiff
2018-12-18 Clifford WolfFix segfault in AST simplify tree | commitdiff
2018-12-18 Clifford WolfImprove src tagging (using names and attrs) of cells... tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #746 from Icenowy/anlogic-dram tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #742 from whitequark/changelog tree | commitdiff
2018-12-17 Clifford WolfMerge pull request #741 from whitequark/ilang_slice_sigspec tree | commitdiff
2018-12-16 whitequarkread_ilang: allow slicing sigspecs. tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #736 from whitequark/select_assert_list tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #738 from smunaut/issue_737 tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #724 from whitequark/equiv_opt tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #723 from whitequark/synth_ice40_map... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #722 from whitequark/rename_src tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #720 from whitequark/master tree | commitdiff
2018-12-14 Sylvain Munautverilog_parser: Properly handle recursion when processi... tree | commitdiff
2018-12-06 Clifford WolfVerific updates tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #709 from smunaut/issue_708 tree | commitdiff
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master tree | commitdiff
2018-11-24 Sylvain MunautMake return value of $clog2 signed tree | commitdiff
2018-11-12 Clifford WolfMerge pull request #695 from daveshah1/ecp5_bb tree | commitdiff
2018-11-09 Clifford WolfSet Verific flag vhdl_support_variable_slice=1 tree | commitdiff
next