projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/clkpart...
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
Only action if there is more than one clock domain
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
Replace TODO
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
Add testcase for signal used as part input part output
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
write_xaiger back to working with whole modules only
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/submod_po...
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
Cleanup spacing
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
sigmap(wire) should inherit port_output status of POs
commit
|
commitdiff
|
tree
2019-11-23
Eddie Hung
Add testcase
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Merge branch 'eddie/clkpart' into xaig_dff
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Brackets
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Entry in Makefile.inc
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Merge branch 'eddie/clkpart' into xaig_dff
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Add to CHANGELOG
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
New 'clkpart' to {,un}partition design according to...
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Revert "write_xaiger to not use module POs but only...
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Missing endmodule
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Merge pull request #1517 from YosysHQ/clifford/optmem
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Merge pull request #1515 from YosysHQ/clifford/svastuff
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Add "opt_mem" pass
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Add Verific support for SVA nexttime properties
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Improve handling of verific primitives in "verific...
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Add Verific SVA support for "always" properties
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Merge pull request #1511 from YosysHQ/dave/always
commit
|
commitdiff
|
tree
2019-11-22
Marcin Kościelnicki
gowin: Remove show command from tests.
commit
|
commitdiff
|
tree
2019-11-22
Marcin Kościelnicki
gowin: Add missing .gitignore entries
commit
|
commitdiff
|
tree
2019-11-22
David Shah
Update CHANGELOG and README
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
write_xaiger to not use module POs but only write outpu...
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
When expanding upwards, do not capture $__ABC9_{FF...
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Merge branch 'eddie/xaig_dff_adff' into xaig_dff
commit
|
commitdiff
|
tree
2019-11-22
Eddie Hung
Add test
commit
|
commitdiff
|
tree
2019-11-21
David Shah
sv: Add tests for SV always types
commit
|
commitdiff
|
tree
2019-11-21
David Shah
proc_dlatch: Add error handling for incorrect always_...
commit
|
commitdiff
|
tree
2019-11-21
David Shah
sv: Correct parsing of always_comb, always_ff and alway...
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
Consistent log message, ignore 's' extension
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
endomain -> ctrldomain
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
Add blackbox model for $__ABC9_FF_ so that clock partit...
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
Add multi clock test
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
Fix INIT values
commit
|
commitdiff
|
tree
2019-11-20
Clifford Wolf
Merge pull request #1507 from YosysHQ/clifford/verificfixes
commit
|
commitdiff
|
tree
2019-11-20
Clifford Wolf
Correctly treat empty modules as blackboxes in Verific
commit
|
commitdiff
|
tree
2019-11-20
Clifford Wolf
Do not rename VHDL entities to "entity(impl)" when...
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
Add a equiv test too
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
Add two tests
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
abc9 to support async flops $_DFF_[NP][NP][01]_
commit
|
commitdiff
|
tree
2019-11-20
Eddie Hung
Do not drop async control signals in abc_map.v
commit
|
commitdiff
|
tree
2019-11-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
commit
|
commitdiff
|
tree
2019-11-19
Clifford Wolf
Merge pull request #1449 from pepijndevos/gowin
commit
|
commitdiff
|
tree
2019-11-19
Pepijn de Vos
Remove dff init altogether
commit
|
commitdiff
|
tree
2019-11-19
Marcin Kościelnicki
Fix #1462, #1480.
commit
|
commitdiff
|
tree
2019-11-19
Marcin Kościelnicki
xilinx: Add simulation models for MULT18X18* and DSP48A*.
commit
|
commitdiff
|
tree
2019-11-18
Pepijn de Vos
add help for nowidelut and abc9 options
commit
|
commitdiff
|
tree
2019-11-18
Clifford Wolf
Merge pull request #1497 from YosysHQ/mwk/extract-fa-fix
commit
|
commitdiff
|
tree
2019-11-18
whitequark
Merge pull request #1494 from whitequark/write_verilog...
commit
|
commitdiff
|
tree
2019-11-18
Marcin Kościelnicki
Fix #1496.
commit
|
commitdiff
|
tree
2019-11-18
whitequark
write_verilog: add -extmem option, to write split memor...
commit
|
commitdiff
|
tree
2019-11-17
Clifford Wolf
Merge pull request #1492 from YosysHQ/dave/wreduce...
commit
|
commitdiff
|
tree
2019-11-16
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
commit
|
commitdiff
|
tree
2019-11-15
David Shah
ecp5: Use new autoname pass for better cell/net names
commit
|
commitdiff
|
tree
2019-11-14
David Shah
wreduce: Don't trim zeros or sext when not matching...
commit
|
commitdiff
|
tree
2019-11-14
Clifford Wolf
Merge pull request #1490 from YosysHQ/clifford/autoname
commit
|
commitdiff
|
tree
2019-11-14
Clifford Wolf
Merge pull request #1444 from btut/feature/python_wrapp...
commit
|
commitdiff
|
tree
2019-11-14
Clifford Wolf
Merge pull request #1465 from YosysHQ/dave/ice40_timing_sim
commit
|
commitdiff
|
tree
2019-11-14
Clifford Wolf
Merge branch 'makaimann-label-bads-btor'
commit
|
commitdiff
|
tree
2019-11-14
Clifford Wolf
Use cell name for btor bad state props when it is a...
commit
|
commitdiff
|
tree
2019-11-14
Clifford Wolf
Merge branch 'label-bads-btor' of https://github.com...
commit
|
commitdiff
|
tree
2019-11-13
Clifford Wolf
Add "autoname" pass and use it in "synth_ice40"
commit
|
commitdiff
|
tree
2019-11-13
whitequark
Merge pull request #1488 from whitequark/flowmap-fixes
commit
|
commitdiff
|
tree
2019-11-13
Clifford Wolf
Merge pull request #1486 from YosysHQ/clifford/fsmdetectfix
commit
|
commitdiff
|
tree
2019-11-12
Clifford Wolf
Update fsm_detect bugfix
commit
|
commitdiff
|
tree
2019-11-12
Clifford Wolf
Bugfix in fsm_detect
commit
|
commitdiff
|
tree
2019-11-12
Clifford Wolf
Merge pull request #1484 from YosysHQ/clifford/cmp2luteqne
commit
|
commitdiff
|
tree
2019-11-12
Makai Mann
Add an info string symbol for bad states in btor backend
commit
|
commitdiff
|
tree
2019-11-12
whitequark
flowmap: when doing mincut, ensure source is always...
commit
|
commitdiff
|
tree
2019-11-11
whitequark
flowmap: don't break if that creates a k+2 (and larger...
commit
|
commitdiff
|
tree
2019-11-11
Pepijn de Vos
fix fsm test with proper clock enable polarity
commit
|
commitdiff
|
tree
2019-11-11
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
commit
|
commitdiff
|
tree
2019-11-11
Miodrag Milanovic
Fixed tests
commit
|
commitdiff
|
tree
2019-11-11
Clifford Wolf
Do not map $eq and $ne in cmp2lut, only proper arithmet...
commit
|
commitdiff
|
tree
2019-11-10
Clifford Wolf
Merge pull request #1470 from YosysHQ/clifford/subpassdoc
commit
|
commitdiff
|
tree
2019-11-07
Clifford Wolf
Add check for valid macro names in macro definitions
commit
|
commitdiff
|
tree
2019-11-06
Pepijn de Vos
fix wide luts
commit
|
commitdiff
|
tree
2019-11-06
Marcin Kościelnicki
synth_xilinx: Merge blackbox primitive libraries.
commit
|
commitdiff
|
tree
2019-11-04
Clifford Wolf
Fix write_aiger bug added in 524af21
commit
|
commitdiff
|
tree
2019-10-31
Clifford Wolf
Add CodingReadme section on script passes
commit
|
commitdiff
|
tree
2019-10-30
Pepijn de Vos
don't cound exact luts in big muxes; futile and fragile
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
add IOBUF
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
add tristate buffer and test
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
do not use wide luts in testcase
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
actually run the gowin tests
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
More formatting
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
really really fix formatting maybe
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
undo formatting fuckup
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
add wide luts
commit
|
commitdiff
|
tree
2019-10-28
Pepijn de Vos
add 32-bit BRAM and byte-enables
commit
|
commitdiff
|
tree
2019-10-27
Clifford Wolf
Merge pull request #1393 from whitequark/write_verilog...
commit
|
commitdiff
|
tree
2019-10-24
Pepijn de Vos
ALU sim tweaks
commit
|
commitdiff
|
tree
2019-10-24
Clifford Wolf
Improve naming scheme for (VHDL) modules imported from...
commit
|
commitdiff
|
tree
2019-10-24
David Shah
Merge pull request #1455 from YosysHQ/dave/ultrascaleplus
commit
|
commitdiff
|
tree
2019-10-24
Clifford Wolf
Add "verific -L"
commit
|
commitdiff
|
tree
next