projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #818 from YosysHQ/clifford/dffsrfix
2019-02-21
Clifford Wolf
Merge pull request #818 from YosysHQ/clifford/dffsrfix
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Merge pull request #786 from YosysHQ/pmgen
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix typo in passes/pmgen/README.md
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Merge pull request #821 from eddiehung/dff_init
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Bugfix in ice40_dsp
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Add ice40 test_dsp_map test case generator
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Add "synth_ice40 -dsp"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Add FF support to wreduce
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Improve iCE40 SB_MAC16 model
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-20
Clifford Wolf
Detect 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 Wolf
Add first draft of functional SB_MAC16 model
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-17
Clifford Wolf
Add actual DSP inference to ice40_dsp pass
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-17
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-02-17
Clifford Wolf
Merge pull request #811 from ucb-bar/firrtlfixes
commit
|
commitdiff
|
tree
2019-02-13
Clifford Wolf
Fix sign handling of real constants
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-02-12
Clifford Wolf
Merge pull request #802 from whitequark/write_verilog_async_...
commit
|
commitdiff
|
tree
2019-02-12
Clifford Wolf
Merge pull request #806 from daveshah1/fsm_opt_no_reset
commit
|
commitdiff
|
tree
2019-02-06
Clifford Wolf
Add missing blackslash-to-slash convertion to smtio...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-27
Clifford Wolf
Merge pull request #798 from mmicko/master
commit
|
commitdiff
|
tree
2019-01-27
Clifford Wolf
Merge pull request #800 from whitequark/write_verilog_tribuf
commit
|
commitdiff
|
tree
2019-01-27
Clifford Wolf
Merge branch 'whitequark-write_verilog_keyword'
commit
|
commitdiff
|
tree
2019-01-27
Clifford Wolf
Remove asicworld tests for (unsupported) switch-level...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-19
Clifford Wolf
Merge pull request #793 from whitequark/proc_clean_fix_fully_def
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Cleanups in igloo2 example design
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Add SF2 IO buffer insertion
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Improve Igloo2 example
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Add "synth_sf2 -vlog", fix "synth_sf2 -edif"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-17
Clifford Wolf
Add "write_edif -gndvccy"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen, add pmgen README
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Fix pmgen "reject" statement
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Progress in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Add mockup .pmg (pattern matcher generator) file
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Add optional nullstr argument to log_id()
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Fix handling of $shiftx in Verilog back-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Merge pull request #788 from whitequark/master
commit
|
commitdiff
|
tree
2019-01-15
Clifford Wolf
Merge pull request #787 from whitequark/flowmap_relax
commit
|
commitdiff
|
tree
2019-01-08
Clifford Wolf
Improve igloo2 example
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Fix typo in manual
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Bugfix in $memrd sharing
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Merge pull request #782 from whitequark/flowmap_dfs
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Switch "bugpoint" from system() to run_command()
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-07
Clifford Wolf
Merge pull request #783 from whitequark/bugpoint
commit
|
commitdiff
|
tree
2019-01-06
Clifford Wolf
Merge pull request #780 from phire/rename_from_wire
commit
|
commitdiff
|
tree
2019-01-05
Clifford Wolf
Add skeleton Yosys-Libero igloo2 example project
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-05
Clifford Wolf
Bugfix in Verilog string handling
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-04
Clifford Wolf
Merge pull request #777 from mmicko/achronix_cell_sim_fix
commit
|
commitdiff
|
tree
2019-01-04
Clifford Wolf
Remove -m32 Verific eval lib build instructions
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-04
Clifford Wolf
Merge pull request #776 from mmicko/unify_noflatten
commit
|
commitdiff
|
tree
2019-01-04
Clifford Wolf
Update Verific default path
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-03
Clifford Wolf
Merge pull request #775 from whitequark/opt_flowmap
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge pull request #770 from whitequark/opt_expr_cmp
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge pull request #755 from Icenowy/anlogic-dram-init
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge pull request #750 from Icenowy/anlogic-ff-init
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge pull request #773 from whitequark/opt_lut_elim_fixes
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge pull request #772 from whitequark/synth_lut
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge pull request #771 from whitequark/techmap_cmp2lut
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Improve VerificImporter support for writes to asymmetric...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Fix VerificImporter asymmetric memories error message
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-01-02
Clifford Wolf
Merge pull request #769 from whitequark/typos
commit
|
commitdiff
|
tree
2019-01-01
Clifford Wolf
Merge pull request #768 from whitequark/opt_lut_elim
commit
|
commitdiff
|
tree
2018-12-31
Clifford Wolf
Fix handling of (* keep *) wires in wreduce
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-31
Clifford Wolf
Merge pull request #766 from Icenowy/anlogic-latches
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Merge pull request #761 from whitequark/proc_clean_partial
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Add "read_ilang -[no]overwrite"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-23
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2018-12-22
Clifford Wolf
Merge pull request #757 from whitequark/manual_mem
commit
|
commitdiff
|
tree
2018-12-21
Clifford Wolf
Merge pull request #758 from whitequark/tcl_script_args
commit
|
commitdiff
|
tree
2018-12-21
Clifford Wolf
Merge pull request #759 from whitequark/memory_collect_init_x
commit
|
commitdiff
|
tree
2018-12-19
Clifford Wolf
Merge pull request #752 from Icenowy/anlogic-lut-cost
commit
|
commitdiff
|
tree
2018-12-19
Clifford Wolf
Merge pull request #753 from Icenowy/anlogic-makefile-fix
commit
|
commitdiff
|
tree
2018-12-19
Clifford Wolf
Merge pull request #749 from Icenowy/anlogic-dram-fix
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Minor style fixes
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Merge pull request #748 from makaimann/add-btor-ops
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Merge pull request #751 from daveshah1/fix_589
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Fix segfault in AST simplify
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-18
Clifford Wolf
Improve src tagging (using names and attrs) of cells...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #746 from Icenowy/anlogic-dram
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #742 from whitequark/changelog
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #741 from whitequark/ilang_slice_sigspec
commit
|
commitdiff
|
tree
2018-12-17
Clifford Wolf
Merge pull request #744 from whitequark/write_verilog_...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #745 from YosysHQ/revert-714-abc_preserve...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Revert "Proof-of-concept: preserve naming through ABC...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #736 from whitequark/select_assert_list
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Rename "fine:" label to "map:" in "synth_ice40"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #704 from webhat/feature/fix-awk
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #738 from smunaut/issue_737
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #735 from daveshah1/trifixes
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #739 from whitequark/patch-1
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Fix equiv_opt indenting
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #724 from whitequark/equiv_opt
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #734 from grahamedgecombe/fix-shuffled...
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #730 from smunaut/ffssr_dont_touch
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #729 from whitequark/write_verilog_initial
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #725 from olofk/ram4k-init
commit
|
commitdiff
|
tree
2018-12-16
Clifford Wolf
Merge pull request #714 from daveshah1/abc_preserve_naming
commit
|
commitdiff
|
tree
next