projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #827 from ucb-bar/firrtlfixes
2019-02-28 Clifford WolfMerge pull request #827 from ucb-bar/firrtlfixes
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix pmgen for out-of-tree build
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #833 from YosysHQ/clifford/fix831
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix smt2 code generation for partially initialized...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #832 from YosysHQ/supercover
 commit | commitdiff | tree
2019-02-27 Clifford WolfImprovements in "supercover" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-27 Clifford WolfAdd "supercover" skeleton
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMinor changes ontop of 71bcc4c: Remove hierarchy warning...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMerge pull request #812 from ucb-bar/arrayhierarchyfixes
 commit | commitdiff | tree
2019-02-24 Clifford WolfCleanups in ARST handling in wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMerge pull request #824 from litghost/fix_reduce_on_ff
 commit | commitdiff | tree
2019-02-24 Clifford WolfFix handling of defparam for when default_nettype is...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfCheck if Verific was built with DB_PRESERVE_INITIAL_VALUE
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #819 from YosysHQ/clifford/optd
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #820 from YosysHQ/clifford/fix810
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #740 from daveshah1/improve_dress
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix Travis
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfHotfix for 4c82ddf
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #822 from litghost/expand_setundef
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #818 from YosysHQ/clifford/dffsrfix
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #786 from YosysHQ/pmgen
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix typo in passes/pmgen/README.md
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #821 from eddiehung/dff_init
 commit | commitdiff | tree
2019-02-21 Clifford WolfFixes related to handling of autowires and upto-ranges...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix handling of expression width in $past, fixes #810
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix segfault in printing of some internal error messages
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfRename "yosys -U" to "yosys -P" to avoid confusion...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfRename "yosys -D" to "yosys -U", add "yosys -D" with...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfBugfix in ice40_dsp
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd ice40 test_dsp_map test case generator
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd "synth_ice40 -dsp"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd FF support to wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfImprove iCE40 SB_MAC16 model
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfDetect and reject cases that do not map well to iCE40...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-19 Clifford WolfAdd first draft of functional SB_MAC16 model
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-17 Clifford WolfAdd actual DSP inference to ice40_dsp pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-17 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into...
commit | commitdiff | tree
2019-02-17 Clifford WolfMerge pull request #811 from ucb-bar/firrtlfixes
 commit | commitdiff | tree
2019-02-13 Clifford WolfFix sign handling of real constants
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-12 Clifford WolfMerge pull request #802 from whitequark/write_verilog_async_...
commit | commitdiff | tree
2019-02-12 Clifford WolfMerge pull request #806 from daveshah1/fsm_opt_no_reset
 commit | commitdiff | tree
2019-02-06 Clifford WolfAdd missing blackslash-to-slash convertion to smtio...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-27 Clifford WolfMerge pull request #798 from mmicko/master
 commit | commitdiff | tree
2019-01-27 Clifford WolfMerge pull request #800 from whitequark/write_verilog_tribuf
 commit | commitdiff | tree
2019-01-27 Clifford WolfMerge branch 'whitequark-write_verilog_keyword'
 commit | commitdiff | tree
2019-01-27 Clifford WolfRemove asicworld tests for (unsupported) switch-level...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-19 Clifford WolfMerge pull request #793 from whitequark/proc_clean_fix_fully_def
 commit | commitdiff | tree
2019-01-17 Clifford WolfCleanups in igloo2 example design
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfAdd SF2 IO buffer insertion
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfImprove Igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfAdd "synth_sf2 -vlog", fix "synth_sf2 -edif"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-17 Clifford WolfAdd "write_edif -gndvccy"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen, add pmgen README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfFix pmgen "reject" statement
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfProgress in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfAdd mockup .pmg (pattern matcher generator) file
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfAdd optional nullstr argument to log_id()
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfFix handling of $shiftx in Verilog back-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-15 Clifford WolfMerge pull request #788 from whitequark/master
 commit | commitdiff | tree
2019-01-15 Clifford WolfMerge pull request #787 from whitequark/flowmap_relax
 commit | commitdiff | tree
2019-01-08 Clifford WolfImprove igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-07 Clifford WolfFix typo in manual
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-07 Clifford WolfBugfix in $memrd sharing
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-07 Clifford WolfMerge pull request #782 from whitequark/flowmap_dfs
 commit | commitdiff | tree
2019-01-07 Clifford WolfSwitch "bugpoint" from system() to run_command()
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-07 Clifford WolfMerge pull request #783 from whitequark/bugpoint
 commit | commitdiff | tree
2019-01-06 Clifford WolfMerge pull request #780 from phire/rename_from_wire
 commit | commitdiff | tree
2019-01-05 Clifford WolfAdd skeleton Yosys-Libero igloo2 example project
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-05 Clifford WolfBugfix in Verilog string handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-01-04 Clifford WolfMerge pull request #777 from mmicko/achronix_cell_sim_fix
 commit | commitdiff | tree
2019-01-04 Clifford WolfRemove -m32 Verific eval lib build instructions
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
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
next