projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix wire numbering
2019-04-12
Clifford Wolf
Merge pull request #933 from dh73/master
commit
|
commitdiff
|
tree
2019-04-12
Clifford Wolf
Merge pull request #932 from YosysHQ/eddie/fixdlatch
commit
|
commitdiff
|
tree
2019-04-08
Clifford Wolf
Merge pull request #919 from YosysHQ/multiport_transp
commit
|
commitdiff
|
tree
2019-04-05
Clifford Wolf
Add "read_ilang -lib"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-04
Clifford Wolf
Added missing argument checking to "mutate" command
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-04-03
Clifford Wolf
Merge pull request #912 from YosysHQ/bram_addr_en
commit
|
commitdiff
|
tree
2019-04-03
Clifford Wolf
Merge pull request #910 from ucb-bar/memupdates
commit
|
commitdiff
|
tree
2019-03-29
Clifford Wolf
Merge pull request #907 from YosysHQ/clifford/fix906
commit
|
commitdiff
|
tree
2019-03-29
Clifford Wolf
Build Verilog parser with -DYYMAXDEPTH=100000, fixes...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-28
Clifford Wolf
Merge pull request #901 from trcwm/libertyfixes
commit
|
commitdiff
|
tree
2019-03-28
Clifford Wolf
Merge pull request #903 from YosysHQ/bram_reset_transp
commit
|
commitdiff
|
tree
2019-03-27
Clifford Wolf
Add "read -verific" and "read -noverific"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-27
Clifford Wolf
Add "rename -output"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-27
Clifford Wolf
Improve "rename" help message
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-26
Clifford Wolf
Add "cutpoint -undef"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-26
Clifford Wolf
Add "hdlname" attribute
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-26
Clifford Wolf
Fix "verific -extnets" for more complex situations
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-25
Clifford Wolf
Add "cutpoint" pass
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-25
Clifford Wolf
Merge pull request #896 from YosysHQ/transp_fixes
commit
|
commitdiff
|
tree
2019-03-25
Clifford Wolf
Merge pull request #897 from trcwm/libertyfixes
commit
|
commitdiff
|
tree
2019-03-23
Clifford Wolf
Add "mutate -none -mode", "mutate -mode none"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-23
Clifford Wolf
Add "mutate -s <filename>"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-23
Clifford Wolf
Merge pull request #893 from YosysHQ/clifford/btormeminit
commit
|
commitdiff
|
tree
2019-03-23
Clifford Wolf
Add support for memory initialization to write_btor
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-23
Clifford Wolf
Fix BTOR output tags syntax in writye_btor
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-23
Clifford Wolf
Add RTLIL::Const::ext[su](), fix RTLIL::SigSpec::extend_u0...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-22
Clifford Wolf
Merge pull request #889 from YosysHQ/clifford/fix888
commit
|
commitdiff
|
tree
2019-03-22
Clifford Wolf
Merge pull request #890 from YosysHQ/clifford/fix887
commit
|
commitdiff
|
tree
2019-03-22
Clifford Wolf
Trim init attributes when resizing FFs in "wreduce...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-21
Clifford Wolf
Fix mem2reg handling of memories with upto data ports...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-21
Clifford Wolf
Improve "read_verilog -dump_vlog[12]" handling of upto...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-21
Clifford Wolf
Improve read_verilog debug output capabilities
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-19
Clifford Wolf
Merge pull request #885 from YosysHQ/clifford/fix873
commit
|
commitdiff
|
tree
2019-03-19
Clifford Wolf
Add Xilinx negedge FFs to synth_xilinx dffinit call...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-19
Clifford Wolf
Merge pull request #884 from zachjs/master
commit
|
commitdiff
|
tree
2019-03-17
Clifford Wolf
Update issue template
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-17
Clifford Wolf
Update issue template
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-16
Clifford Wolf
Merge pull request #877 from FelixVi/master
commit
|
commitdiff
|
tree
2019-03-15
Clifford Wolf
Improve mix of src/wire/wirebit coverage in "mutate...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-15
Clifford Wolf
Merge pull request #876 from YosysHQ/clifford/fmcombine
commit
|
commitdiff
|
tree
2019-03-15
Clifford Wolf
Add "fmcombine -fwd -bwd -nop"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-15
Clifford Wolf
Add fmcombine pass
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Merge pull request #875 from YosysHQ/clifford/mutate
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Disable realmath tests
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Improvements in "mutate" list-reduce algorithm
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add "mutate -cfg", improve pick_cover behavior
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add a strictly coverage-driven mutation selection strategy
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Improve "mutate" wire coverage metric
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add more mutation types, improve mutation src cover
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Fix smtbmc.py handling of zero appended steps
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add "mutate" command DB reduce functionality
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add hashlib "<container>::element(int n)" methods
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add "mutate -mode inv", various other mutate improvements
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add basic "mutate -list N" framework
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Merge pull request #874 from YosysHQ/clifford/andopt
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Improve handling of and-with-1 and or-with-0 in opt_expr...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Merge pull request #872 from YosysHQ/clifford/pmuxfix
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Improve handling of "full_case" attributes
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Fix a syntax bug in ilang backend related to process...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Merge pull request #869 from cr1901/win-shell
commit
|
commitdiff
|
tree
2019-03-13
Clifford Wolf
Merge pull request #868 from YosysHQ/clifford/fixmem
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Fix a bug in handling quotes in multi-cmd lines in...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Merge pull request #866 from YosysHQ/clifford/idstuff
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Remove ice40/cells_sim.v hack to avoid warning for...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Improve handling of memories used in mem index expressions...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
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
Improve determinism of IdString DB for similar scripts
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
next