projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
abc9: fix help message, found by @nakengelhardt
2020-01-09
Clifford Wolf
Add Pass::on_register() and Pass::on_shutdown()
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-02
Clifford Wolf
Merge pull request #1609 from YosysHQ/clifford/fix1596
commit
|
commitdiff
|
tree
2020-01-02
Clifford Wolf
Always create $shl, $shr, $sshl, $sshr cells with unsigned...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-12-18
Clifford Wolf
Send people to symbioticeda.com instead of verific.com
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-12-17
Clifford Wolf
Fix sim for assignments with lhs<rhs size, fixes #1565
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-12-05
Clifford Wolf
Merge pull request #1551 from whitequark/manual-cell...
commit
|
commitdiff
|
tree
2019-12-03
Clifford Wolf
Merge pull request #1524 from pepijndevos/gowindffinit
commit
|
commitdiff
|
tree
2019-12-02
Clifford Wolf
Merge pull request #1539 from YosysHQ/mwk/ilang-bounds...
commit
|
commitdiff
|
tree
2019-11-27
Clifford Wolf
Merge pull request #1501 from YosysHQ/dave/mem_copy_attr
commit
|
commitdiff
|
tree
2019-11-27
Clifford Wolf
Merge pull request #1534 from YosysHQ/mwk/opt_share-fix
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
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Add Verific support for SVA nexttime properties
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Improve handling of verific primitives in "verific...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Add Verific SVA support for "always" properties
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-22
Clifford Wolf
Merge pull request #1511 from YosysHQ/dave/always
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
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-20
Clifford Wolf
Do not rename VHDL entities to "entity(impl)" when...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-19
Clifford Wolf
Merge pull request #1449 from pepijndevos/gowin
commit
|
commitdiff
|
tree
2019-11-18
Clifford Wolf
Merge pull request #1497 from YosysHQ/mwk/extract-fa-fix
commit
|
commitdiff
|
tree
2019-11-17
Clifford Wolf
Merge pull request #1492 from YosysHQ/dave/wreduce...
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_wrappers...
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...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
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"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
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
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-12
Clifford Wolf
Bugfix in fsm_detect
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-12
Clifford Wolf
Merge pull request #1484 from YosysHQ/clifford/cmp2luteqne
commit
|
commitdiff
|
tree
2019-11-11
Clifford Wolf
Do not map $eq and $ne in cmp2lut, only proper arithmetic cmp
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
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
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-11-04
Clifford Wolf
Fix write_aiger bug added in 524af21
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-31
Clifford Wolf
Add CodingReadme section on script passes
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-27
Clifford Wolf
Merge pull request #1393 from whitequark/write_verilog...
commit
|
commitdiff
|
tree
2019-10-24
Clifford Wolf
Improve naming scheme for (VHDL) modules imported from...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-24
Clifford Wolf
Add "verific -L"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-22
Clifford Wolf
Bugfix in smtio vcd handling of $-identifiers
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-22
Clifford Wolf
Merge pull request #1452 from nakengelhardt/fix_dsp_mem_reg
commit
|
commitdiff
|
tree
2019-10-21
Clifford Wolf
Add "verilog_defines -list" and "verilog_defines -reset"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-21
Clifford Wolf
Fix handling of "restrict" in Verific front-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Merge pull request #1450 from YosysHQ/clifford/fixdffmux
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Fix dffmux peepopt init handling
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Move GENERATE_PATTERN macro to separate utility header
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Disable left-over log_debug in peepopt_dffmux.pmg
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-16
Clifford Wolf
Fix parsing of .cname BLIF statements
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-15
Clifford Wolf
Add .blackbox support to blif front-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-14
Clifford Wolf
Merge pull request #1448 from YosysHQ/daveshah1-sv...
commit
|
commitdiff
|
tree
2019-10-14
Clifford Wolf
Use "(id)" instead of "id" for types as temporary hack
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-06
Clifford Wolf
Merge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarry
commit
|
commitdiff
|
tree
2019-10-05
Clifford Wolf
Update README.md
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Change smtbmc "Warmup failed" status to "PREUNSAT"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Update ABC to git rev 623b5e8
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-03
Clifford Wolf
Bump version
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
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"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
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"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-10-02
Clifford Wolf
Fix btor back-end to use "state" instead of "input...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Bump version
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Merge pull request #1412 from YosysHQ/eddie/equiv_opt_async2sync
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Merge pull request #1417 from YosysHQ/clifford/fixasync2sync
commit
|
commitdiff
|
tree
2019-09-30
Clifford Wolf
Fix $dlatch handling in async2sync
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-29
Clifford Wolf
Merge pull request #1411 from aman-goel/YosysHQ-master
commit
|
commitdiff
|
tree
2019-09-27
Clifford Wolf
Merge pull request #1404 from YosysHQ/fix_gzip_macos
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
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-24
Clifford Wolf
Add "portlist" command
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-21
Clifford Wolf
Merge pull request #1392 from YosysHQ/eddie/fix1391
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Merge pull request #1386 from YosysHQ/clifford/fix1360
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Fix handling of read_verilog config in AstModule::reprocess_...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Update CHANGELOG
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Add "add -mod"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Merge pull request #1384 from YosysHQ/clifford/fix1381
commit
|
commitdiff
|
tree
2019-09-19
Clifford Wolf
Add techmap_autopurge attribute, fixes #1381
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-18
Clifford Wolf
Add "write_aiger -L"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-18
Clifford Wolf
Fix stupid bug in btor back-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-16
Clifford Wolf
Bump version
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-16
Clifford Wolf
Merge pull request #1380 from YosysHQ/clifford/fix1372
commit
|
commitdiff
|
tree
2019-09-16
Clifford Wolf
Fix handling of range selects on loop variables, fixes...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-15
Clifford Wolf
Merge pull request #1377 from YosysHQ/clifford/fixzdigit
commit
|
commitdiff
|
tree
2019-09-13
Clifford Wolf
Fix handling of z_digit "?" and fix optimization of...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-13
Clifford Wolf
Merge pull request #1373 from YosysHQ/clifford/fix1364
commit
|
commitdiff
|
tree
2019-09-13
Clifford Wolf
Fix lexing of integer literals without radix
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-12
Clifford Wolf
Fix lexing of integer literals, fixes #1364
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-10
Clifford Wolf
Bump version
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Bump version
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Merge pull request #1350 from YosysHQ/clifford/fixsby59
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Merge pull request #1330 from YosysHQ/clifford/fix1145
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Update README.md
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Rename conflicting wires on flatten/techmap, add "hierconn...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Add flatten handling of pre-existing wires as created...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-03
Clifford Wolf
Merge pull request #1351 from emilazy/remove-which-use
commit
|
commitdiff
|
tree
next