projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-03-16
Felix Vietmeyer
Add note about test requirements in README
commit
|
commitdiff
|
tree
2019-03-15
Clifford Wolf
Improve mix of src/wire/wirebit coverage in "mutate...
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"
commit
|
commitdiff
|
tree
2019-03-15
Clifford Wolf
Add fmcombine pass
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
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Improvements in "mutate" list-reduce algorithm
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add "mutate -cfg", improve pick_cover behavior
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add a strictly coverage-driven mutation selection strategy
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Improve "mutate" wire coverage metric
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add more mutation types, improve mutation src cover
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Fix smtbmc.py handling of zero appended steps
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add "mutate" command DB reduce functionality
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add hashlib "<container>::element(int n)" methods
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add "mutate -mode inv", various other mutate improvements
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Add basic "mutate -list N" framework
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_exp...
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
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Fix a syntax bug in ilang backend related to process...
commit
|
commitdiff
|
tree
2019-03-14
Clifford Wolf
Merge pull request #869 from cr1901/win-shell
commit
|
commitdiff
|
tree
2019-03-13
William D....
Install launcher executable when running yosys-smtbmc...
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...
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...
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Improve handling of memories used in mem index expressi...
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Remove outdated "blocking assignment to memory" warning
commit
|
commitdiff
|
tree
2019-03-12
Clifford Wolf
Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for...
commit
|
commitdiff
|
tree
2019-03-11
Clifford Wolf
Improve determinism of IdString DB for similar scripts
commit
|
commitdiff
|
tree
2019-03-11
Eddie Hung
Merge pull request #864 from YosysHQ/svalabelfix
commit
|
commitdiff
|
tree
2019-03-11
Clifford Wolf
Add ENABLE_GLOB Makefile switch
commit
|
commitdiff
|
tree
2019-03-10
Clifford Wolf
Fix handling of cases that look like sva labels, fixes...
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Fix typo in ice40_braminit help msg
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
commit
|
commitdiff
|
tree
2019-03-09
Clifford Wolf
Add $dffsr support to async2sync
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...
commit
|
commitdiff
|
tree
2019-03-09
Eddie Hung
Update help message for -chparam
commit
|
commitdiff
|
tree
2019-03-09
Eddie Hung
Add -chparam option to verific command
commit
|
commitdiff
|
tree
2019-03-09
Eddie Hung
Fix spelling
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...
commit
|
commitdiff
|
tree
2019-03-07
Sylvain Munaut
ice40: Run ice40_braminit pass by default
commit
|
commitdiff
|
tree
2019-03-07
Sylvain Munaut
ice40: Add ice40_braminit pass to allow initialization...
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
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Add support for SVA labels in read_verilog
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Add hack for handling SVA labels via Verific
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Add link to SF2 / igloo2 macro library guide
commit
|
commitdiff
|
tree
2019-03-07
Clifford Wolf
Improvements in sf2 cells_sim.v
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Add sf2 techmap rules for more FF types
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Refactor SF2 iobuf insertion, Add clkint insertion
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 example
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 example
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improvements in SF2 flow and demo
commit
|
commitdiff
|
tree
2019-03-06
Kali Prasad
examples/anlogic/ now also output the SVF file.
commit
|
commitdiff
|
tree
2019-03-06
Eddie Hung
Fix spelling in pmgen/README.md
commit
|
commitdiff
|
tree
2019-03-06
Clifford Wolf
Improve igloo2 exmaple
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
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
commit
|
commitdiff
|
tree
2019-03-04
Jim Lawson
Ensure fid() calls make_id() for consistency; tests...
commit
|
commitdiff
|
tree
2019-03-04
Kali Prasad
Added examples/anlogic/
commit
|
commitdiff
|
tree
2019-03-04
Keith Rothman
Revert BRAM WRITE_MODE changes.
commit
|
commitdiff
|
tree
2019-03-04
David Shah
ecp5: Demote conflicting FF init values to a warning
commit
|
commitdiff
|
tree
2019-03-04
Clifford Wolf
Improve igloo2 example
commit
|
commitdiff
|
tree
2019-03-04
Clifford Wolf
Update igloo2 example to Libero v12.0
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...
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix error for wire decl in always block, fixes #763
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Fix $global_clock handling vs autowire
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
commit
|
commitdiff
|
tree
2019-03-02
Clifford Wolf
Merge pull request #843 from YosysHQ/clifford/mem2regco...
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
commit
|
commitdiff
|
tree
2019-03-02
Larry Doolittle
Try again for passes/pmgen/ice40_dsp_pm.h rule
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Revert FF models to include IS_x_INVERTED parameters.
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Use singular for disabling of DRAM or BRAM inference.
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Minor improvements in README
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Use mem2reg on memories that only have constant-index...
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Fix "write_edif -gndvccy"
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Modify arguments to match existing style.
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Changes required for VPR place and route synth_xilinx.
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Merge pull request #841 from mmicko/master
commit
|
commitdiff
|
tree
2019-03-01
Miodrag Milanovic
Fix ECP5 cells_sim for iverilog
commit
|
commitdiff
|
tree
2019-03-01
Clifford Wolf
Improve "read" error msg
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"
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
commit
|
commitdiff
|
tree
next