projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-10-04
Eddie Hung
Add Const::{begin,end,empty}()
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Panic over. Model was elsewhere. Re-arrange for consistency
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Oops
commit
|
commitdiff
|
tree
2019-10-04
Eddie Hung
Ohmilord this wasn't added all this time!?!
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Change smtbmc "Warmup failed" status to "PREUNSAT"
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Update ABC to git rev 623b5e8
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Bump version
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Merge pull request #1419 from YosysHQ/eddie/lazy_derive
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Merge pull request #1422 from YosysHQ/eddie/aigmap_select
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Merge pull request #1429 from YosysHQ/clifford/checkmapped
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Add "check -allow-tbuf"
commit
|
commitdiff
|
tree
2019-10-03
David Shah
Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
Merge pull request #1423 from YosysHQ/eddie/techmap_rep...
commit
|
commitdiff
|
tree
2019-10-03
Eddie Hung
log_dump() to support State enum
commit
|
commitdiff
|
tree
2019-10-02
Eddie Hung
Also rename cells with _TECHMAP_REPLACE_. prefix, as...
commit
|
commitdiff
|
tree
2019-10-02
Eddie Hung
Extend test with renaming cells with prefix too
commit
|
commitdiff
|
tree
2019-10-02
Clifford Wolf
Merge pull request #1428 from YosysHQ/clifford/fixbtor
commit
|
commitdiff
|
tree
2019-10-02
Clifford Wolf
Add "check -mapped"
commit
|
commitdiff
|
tree
2019-10-02
Clifford Wolf
Fix btor back-end to use "state" instead of "input...
commit
|
commitdiff
|
tree
2019-10-01
Miodrag Milanović
Merge pull request #1426 from YosysHQ/mmicko/fix_environ
commit
|
commitdiff
|
tree
2019-10-01
Miodrag Milanovic
Define environ, fixes #1424
commit
|
commitdiff
|
tree
2019-10-01
David Shah
ecp5: Fix shuffle_enable port
commit
|
commitdiff
|
tree
2019-10-01
David Shah
ecp5: Add support for mapping 36-bit wide PDP BRAMs
commit
|
commitdiff
|
tree
2019-10-01
Eddie Hung
Add test
commit
|
commitdiff
|
tree
2019-10-01
Eddie Hung
techmap wires named _TECHMAP_REPLACE_.<identifier>...
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Add quick test
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Add -select option to aigmap
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Fix typo
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Fix for svinterfaces
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
module->derive() to be lazy and not touch ast if alread...
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Update doc for equiv_opt
commit
|
commitdiff
|
tree
2019-09-30
whitequark
Merge pull request #1406 from whitequark/connect_rpc
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Merge pull request #1397 from btut/fix/python_wrappers_...
commit
|
commitdiff
|
tree
2019-09-30
whitequark
rpc: new frontend.
commit
|
commitdiff
|
tree
2019-09-30
whitequark
libs: import json11.
commit
|
commitdiff
|
tree
2019-09-30
Miodrag Milanović
Merge pull request #1416 from YosysHQ/mmicko/frontend_b...
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Bump version
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Merge pull request #1417 from YosysHQ/clifford/fixasync...
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Fix $dlatch handling in async2sync
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Add latch test modified from #1363
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Add LDCE/LDPE sim library, remove from *cells_xtra...
commit
|
commitdiff
|
tree
2019-09-30
Marcin Kościelnicki
synth_xilinx: Support latches, remove used-up FF init...
commit
|
commitdiff
|
tree
2019-09-30
Eddie Hung
Merge pull request #1414 from hzeller/improve-replace...
commit
|
commitdiff
|
tree
2019-09-29
Eddie Hung
Merge pull request #1359 from YosysHQ/xc7dsp
commit
|
commitdiff
|
tree
2019-09-29
Miodrag Milanovic
Fix reading aig files on windows
commit
|
commitdiff
|
tree
2019-09-29
Miodrag Milanovic
Open aig frontend as binary file
commit
|
commitdiff
|
tree
2019-09-29
Miodrag Milanović
Merge pull request #1413 from YosysHQ/mmicko/backend_bi...
commit
|
commitdiff
|
tree
2019-09-29
Clifford Wolf
Merge pull request #1411 from aman-goel/YosysHQ-master
commit
|
commitdiff
|
tree
2019-09-29
Henner Zeller
Avoid work in replace() if rules empty.
commit
|
commitdiff
|
tree
2019-09-28
Miodrag Milanovic
Add aiger and protobuf backends binary support
commit
|
commitdiff
|
tree
2019-09-28
Miodrag Milanovic
Support binary files for backends, fixes #1407
commit
|
commitdiff
|
tree
2019-09-28
Eddie Hung
Fix box name
commit
|
commitdiff
|
tree
2019-09-27
Eddie Hung
Re-order
commit
|
commitdiff
|
tree
2019-09-27
Eddie Hung
Missing (* mul2dsp *) for sliceB
commit
|
commitdiff
|
tree
2019-09-27
Eddie Hung
equiv_opt to call async2sync when not -multiclock like...
commit
|
commitdiff
|
tree
2019-09-27
Eddie Hung
Ooops AREG and BREG to default to -1
commit
|
commitdiff
|
tree
2019-09-27
Aman Goel
Corrects btor2 backend
commit
|
commitdiff
|
tree
2019-09-27
Marcin Kościelnicki
Fix _TECHMAP_REMOVEINIT_ handling.
commit
|
commitdiff
|
tree
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
commit
|
commitdiff
|
tree
2019-09-27
Miodrag Milanović
Merge pull request #1409 from YosysHQ/mmicko/fix_getopt...
commit
|
commitdiff
|
tree
2019-09-27
Miodrag Milanovic
Change order of parameters, to work on other os
commit
|
commitdiff
|
tree
2019-09-27
Clifford Wolf
Merge pull request #1404 from YosysHQ/fix_gzip_macos
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Update doc with max cascade chain of 20
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Do not always zero out C (e.g. during cascade breaks)
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Update doc
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Zero out ports
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
xilinx_dsp_cascade to also cascade AREG and BREG
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Try recursive pmgen for P cascade
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Missing an '&'
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Combine 'flatten' & 'coarse' labels in synth_ecp5 so...
commit
|
commitdiff
|
tree
2019-09-26
Miodrag Milanovic
Make read/write gzip files on macos works, fixes #1357
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Typo
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
CREG to check for \keep
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Remove newline
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
select once
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Stop trying to be too smart by prematurely optimising
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
mul2dsp.v slice names
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Do not die if DSP48E1.P has no users (would otherwise...
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Reject if (* init *) present
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Remove unnecessary check for A_SIGNED != B_SIGNED;...
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Revert "Remove _TECHMAP_CELLTYPE_ check since all ...
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Revert "No need for $__mul anymore?"
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Rework xilinx_dsp postAdd for new wreduce call
commit
|
commitdiff
|
tree
2019-09-26
Eddie Hung
Only wreduce on t:$add
commit
|
commitdiff
|
tree
2019-09-25
Eddie Hung
Remove _TECHMAP_CELLTYPE_ check since all $mul
commit
|
commitdiff
|
tree
2019-09-25
Eddie Hung
Fix memory issue since SigSpec& could be invalidated
commit
|
commitdiff
|
tree
2019-09-25
Eddie Hung
Merge pull request #1401 from SergeyDegtyar/SergeyDegty...
commit
|
commitdiff
|
tree
2019-09-25
Eddie Hung
No need for $__mul anymore?
commit
|
commitdiff
|
tree
2019-09-25
Eddie Hung
unextend only used in init
commit
|
commitdiff
|
tree
2019-09-25
Eddie Hung
Call 'wreduce' after mul2dsp to avoid unextend()
commit
|
commitdiff
|
tree
2019-09-25
Eddie Hung
Oops. Actually use __NAME__ in ABC_DSP48E1 macro
commit
|
commitdiff
|
tree
2019-09-25
SergeyDegtyar
Change sync controls to async.
commit
|
commitdiff
|
tree
2019-09-25
Clifford Wolf
Merge pull request #1402 from YosysHQ/clifford/portlist
commit
|
commitdiff
|
tree
2019-09-25
Clifford Wolf
Improve "portlist" command
commit
|
commitdiff
|
tree
2019-09-24
Clifford Wolf
Add "portlist" command
commit
|
commitdiff
|
tree
2019-09-24
SergeyDegtyar
adffs test update (equiv_opt -multiclock).
commit
|
commitdiff
|
tree
2019-09-24
Eddie Hung
Add (* techmap_autopurge *) to abc_unmap.v too
commit
|
commitdiff
|
tree
2019-09-24
Eddie Hung
"abc_padding" attr for blackbox outputs that were padde...
commit
|
commitdiff
|
tree
2019-09-24
Eddie Hung
Force $inout.out ports to begin with '$' to indicate...
commit
|
commitdiff
|
tree
next