projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove outdated "blocking assignment to memory" warning
2019-03-12
Clifford Wolf
Remove outdated "blocking assignment to memory" warning
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-11
Clifford Wolf
Add ENABLE_GLOB Makefile switch
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-10
Clifford Wolf
Fix handling of cases that look like sva labels, fixes...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Fix typo in ice40_braminit help msg
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Merge pull request #859 from smunaut/ice40_braminit
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Fix signed $shift/$shiftx handling in write_smt2
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Add $dffsr support to async2sync
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Merge pull request #858 from YosysHQ/clifford/svalabels
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Merge pull request #861 from YosysHQ/verific_chparam
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Also add support for labels on sva module items, fixes...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-08
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2019-03-08
Clifford Wolf
Fix handling of task output ports in clocked always...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Merge pull request #856 from kprasadvnsi/master
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Use SVA label in smt export if available
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Add support for SVA labels in read_verilog
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Add hack for handling SVA labels via Verific
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Add link to SF2 / igloo2 macro library guide
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Improvements in sf2 cells_sim.v
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Add sf2 techmap rules for more FF types
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Refactor SF2 iobuf insertion, Add clkint insertion
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 example
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 example
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improvements in SF2 flow and demo
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 exmaple
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Merge pull request #842 from litghost/merge_upstream
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Merge pull request #850 from daveshah1/ecp5_warn_conflict
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Add missing newline
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Merge pull request #851 from kprasadvnsi/master
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Merge pull request #852 from ucb-bar/firrtlfixes
commit
|
commitdiff
|
tree
2019-03-05
Clifford Wolf
Use "write_edif -pvector bra" for Xilinx EDIF files
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-04
Clifford Wolf
Improve igloo2 example
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-04
Clifford Wolf
Update igloo2 example to Libero v12.0
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-03
Clifford Wolf
Merge pull request #848 from YosysHQ/clifford/fix763
commit
|
commitdiff
|
tree
2019-03-03
Clifford Wolf
Merge pull request #849 from YosysHQ/clifford/dynports
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Only run derive on blackbox modules when ports have...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix error for wire decl in always block, fixes #763
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix $global_clock handling vs autowire
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Merge pull request #847 from YosysHQ/clifford/fix785
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix $readmem[hb] for mem2reg memories, fixes #785
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Merge pull request #843 from YosysHQ/clifford/mem2regconstidx
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Merge pull request #845 from YosysHQ/clifford/travisnomacos
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Disable macOS builds in Travis
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Minor improvements in README
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Use mem2reg on memories that only have constant-index...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Fix "write_edif -gndvccy"
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Merge pull request #841 from mmicko/master
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Improve "read" error msg
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Merge pull request #836 from elmsfu/ice40_2bit_ram_rw_mode
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Hotfix for "make test"
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Merge pull request #837 from YosysHQ/clifford/fix835
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Fix multiple issues in wreduce FF handling, fixes #835
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Merge pull request #834 from YosysHQ/clifford/siminit
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Add "write_verilog -siminit"
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Fix pmgen for in-tree builds
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Merge pull request #794 from daveshah1/ecp5improve
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Merge pull request #827 from ucb-bar/firrtlfixes
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Fix pmgen for out-of-tree build
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Merge pull request #833 from YosysHQ/clifford/fix831
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Fix smt2 code generation for partially initialized...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-28
Clifford Wolf
Merge pull request #832 from YosysHQ/supercover
commit
|
commitdiff
|
tree
2019-02-27
Clifford Wolf
Improvements in "supercover" pass
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-27
Clifford Wolf
Add "supercover" skeleton
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Minor changes ontop of 71bcc4c: Remove hierarchy warning...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Merge pull request #812 from ucb-bar/arrayhierarchyfixes
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Cleanups in ARST handling in wreduce
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Merge pull request #824 from litghost/fix_reduce_on_ff
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Fix handling of defparam for when default_nettype is...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-24
Clifford Wolf
Check if Verific was built with DB_PRESERVE_INITIAL_VALUE
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-22
Clifford Wolf
Merge pull request #819 from YosysHQ/clifford/optd
commit
|
commitdiff
|
tree
2019-02-22
Clifford Wolf
Merge pull request #820 from YosysHQ/clifford/fix810
commit
|
commitdiff
|
tree
2019-02-22
Clifford Wolf
Merge pull request #740 from daveshah1/improve_dress
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix Travis
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Hotfix for 4c82ddf
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Merge pull request #822 from litghost/expand_setundef
commit
|
commitdiff
|
tree
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
Fixes related to handling of autowires and upto-ranges...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix handling of expression width in $past, fixes #810
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Fix segfault in printing of some internal error messages
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Rename "yosys -U" to "yosys -P" to avoid confusion...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
commit
|
commitdiff
|
tree
2019-02-21
Clifford Wolf
Rename "yosys -D" to "yosys -U", add "yosys -D" with...
Signed-off-by: Clifford Wolf <
clifford@clifford.at
>
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
next