projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #776 from mmicko/unify_noflatten
2019-01-04 Clifford WolfMerge pull request #776 from mmicko/unify_noflatten
 commit | commitdiff | tree
2019-01-04 Clifford WolfUpdate Verific default path
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-03 Clifford WolfMerge pull request #775 from whitequark/opt_flowmap
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut
 commit | commitdiff | tree
2019-01-02 Clifford WolfImprove VerificImporter support for writes to asymmetric...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-02 Clifford WolfFix VerificImporter asymmetric memories error message
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos
 commit | commitdiff | tree
2019-01-01 Clifford WolfMerge pull request #768 from whitequark/opt_lut_elim
 commit | commitdiff | tree
2018-12-31 Clifford WolfFix handling of (* keep *) wires in wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-31 Clifford WolfMerge pull request #766 from Icenowy/anlogic-latches
 commit | commitdiff | tree
2018-12-23 Clifford WolfMerge pull request #761 from whitequark/proc_clean_partial
 commit | commitdiff | tree
2018-12-23 Clifford WolfAdd "read_ilang -[no]overwrite"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-23 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys
 commit | commitdiff | tree
2018-12-22 Clifford WolfMerge pull request #757 from whitequark/manual_mem
 commit | commitdiff | tree
2018-12-21 Clifford WolfMerge pull request #758 from whitequark/tcl_script_args
 commit | commitdiff | tree
2018-12-21 Clifford WolfMerge pull request #759 from whitequark/memory_collect_init_x
 commit | commitdiff | tree
2018-12-19 Clifford WolfMerge pull request #752 from Icenowy/anlogic-lut-cost
 commit | commitdiff | tree
2018-12-19 Clifford WolfMerge pull request #753 from Icenowy/anlogic-makefile-fix
 commit | commitdiff | tree
2018-12-19 Clifford WolfMerge pull request #749 from Icenowy/anlogic-dram-fix
 commit | commitdiff | tree
2018-12-18 Clifford WolfMinor style fixes
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-18 Clifford WolfMerge pull request #748 from makaimann/add-btor-ops
 commit | commitdiff | tree
2018-12-18 Clifford WolfMerge pull request #751 from daveshah1/fix_589
 commit | commitdiff | tree
2018-12-18 Clifford WolfFix segfault in AST simplify
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-18 Clifford WolfImprove src tagging (using names and attrs) of cells...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-17 Clifford WolfMerge pull request #746 from Icenowy/anlogic-dram
 commit | commitdiff | tree
2018-12-17 Clifford WolfMerge pull request #742 from whitequark/changelog
 commit | commitdiff | tree
2018-12-17 Clifford WolfMerge pull request #741 from whitequark/ilang_slice_sigspec
 commit | commitdiff | tree
2018-12-17 Clifford WolfMerge pull request #744 from whitequark/write_verilog_...
commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #745 from YosysHQ/revert-714-abc_preserve...
commit | commitdiff | tree
2018-12-16 Clifford WolfRevert "Proof-of-concept: preserve naming through ABC...
commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #736 from whitequark/select_assert_list
 commit | commitdiff | tree
2018-12-16 Clifford WolfRename "fine:" label to "map:" in "synth_ice40"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #738 from smunaut/issue_737
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #735 from daveshah1/trifixes
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #739 from whitequark/patch-1
 commit | commitdiff | tree
2018-12-16 Clifford WolfFix equiv_opt indenting
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #724 from whitequark/equiv_opt
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #734 from grahamedgecombe/fix-shuffled...
commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #730 from smunaut/ffssr_dont_touch
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #729 from whitequark/write_verilog_initial
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #725 from olofk/ram4k-init
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #714 from daveshah1/abc_preserve_naming
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #723 from whitequark/synth_ice40_map_gates
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #722 from whitequark/rename_src
 commit | commitdiff | tree
2018-12-16 Clifford WolfMerge pull request #720 from whitequark/master
 commit | commitdiff | tree
2018-12-10 Clifford WolfAdd yosys-smtbmc support for btor witness
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-08 Clifford WolfAdd "yosys-smtbmc --btorwit" skeleton
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-08 Clifford WolfFix btor init value handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-06 Clifford WolfAdd missing .gitignore
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-06 Clifford WolfBugfix in opt_expr handling of a<0 and a>=0
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-06 Clifford WolfVerific updates
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-05 Clifford WolfMerge pull request #709 from smunaut/issue_708
 commit | commitdiff | tree
2018-12-05 Clifford WolfMerge pull request #718 from whitequark/gate2lut
 commit | commitdiff | tree
2018-12-05 Clifford WolfMerge pull request #713 from Diego-HR/master
 commit | commitdiff | tree
2018-12-05 Clifford WolfMerge pull request #712 from mmicko/anlogic-support
 commit | commitdiff | tree
2018-12-05 Clifford WolfRename opt_lut.cpp to opt_lut.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-05 Clifford WolfMerge pull request #717 from whitequark/opt_lut
 commit | commitdiff | tree
2018-12-05 Clifford WolfMerge pull request #716 from whitequark/ice40_unlut
 commit | commitdiff | tree
2018-12-04 Clifford WolfFix typo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-12-04 Clifford WolfMerge pull request #702 from smunaut/min_ce_use
 commit | commitdiff | tree
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master
 commit | commitdiff | tree
2018-11-29 Clifford WolfImprove ConstEval error handling for non-eval cell...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-20 Clifford WolfAdd iteration limit to "opt_muxtree"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-13 Clifford WolfUpdate ABC to git rev 2ddc57d
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-12 Clifford WolfAdd "write_aiger -I -O -B"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-12 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys
 commit | commitdiff | tree
2018-11-12 Clifford WolfMerge pull request #697 from eddiehung/xilinx_ps7
 commit | commitdiff | tree
2018-11-12 Clifford WolfMerge pull request #695 from daveshah1/ecp5_bb
 commit | commitdiff | tree
2018-11-11 Clifford WolfUpdate ABC to git rev 68da3cf
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-09 Clifford WolfSet Verific flag vhdl_support_variable_slice=1
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-09 Clifford WolfMerge pull request #696 from arjenroodselaar/verific_darwin
 commit | commitdiff | tree
2018-11-08 Clifford WolfFix "make ystests" to use correct Yosys binary
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-07 Clifford WolfMerge pull request #693 from YosysHQ/rlimit
 commit | commitdiff | tree
2018-11-07 Clifford WolfLimit stack size to 16 MB on Darwin
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-06 Clifford WolfMerge pull request #694 from trcwm/dffmap_expr_fix
 commit | commitdiff | tree
2018-11-06 Clifford WolfRun solver in non-incremental mode whem smtio.py is...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-06 Clifford WolfUpdate ABC rev to 4d56acf
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-06 Clifford WolfFix for improved smtio.py rlimit code
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-06 Clifford WolfImprove stack rlimit code in smtio.py
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-05 Clifford WolfAllow square brackets in liberty identifiers
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-05 Clifford WolfMerge pull request #691 from arjenroodselaar/stacksize
 commit | commitdiff | tree
2018-11-04 Clifford WolfAdd warning for SV "restrict" without "property"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-04 Clifford WolfAdd proper error message for when smtbmc "append" fails
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-04 Clifford WolfVarious indenting fixes in AST front-end (mostly space...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-04 Clifford WolfMerge pull request #687 from trcwm/master
 commit | commitdiff | tree
2018-11-04 Clifford WolfMerge pull request #688 from ZipCPU/rosenfell
 commit | commitdiff | tree
2018-11-01 Clifford WolfDo not generate "reg assigned in a continuous assignment...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-11-01 Clifford WolfAdd support for signed $shift/$shiftx in smt2 back-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-10-31 Clifford WolfMerge branch 'igloo2'
 commit | commitdiff | tree
2018-10-31 Clifford WolfFix sf2 LUT interface
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-10-31 Clifford WolfBasic SmartFusion2 and IGLOO2 synthesis support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2018-10-30 Clifford WolfMerge pull request #680 from jburgess777/fix-empty...
commit | commitdiff | tree
2018-10-25 Clifford WolfMerge pull request #678 from whentze/master
 commit | commitdiff | tree
next