projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge remote-tracking branch 'origin/master' into xaig_dff
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
2019-09-02
Clifford Wolf
Properly construct $live and $fair cells from "if ...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-09-01
Clifford Wolf
Merge pull request #1347 from mmicko/fix_select_error_msg
commit
|
commitdiff
|
tree
2019-08-29
Clifford Wolf
Bump YOSYS_VER
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-28
Clifford Wolf
Merge pull request #1335 from YosysHQ/clifford/paramap
commit
|
commitdiff
|
tree
2019-08-28
Clifford Wolf
Fix typo
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-28
Clifford Wolf
Add "paramap" pass
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-28
Clifford Wolf
Add $dlatch support to async2sync
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-27
Clifford Wolf
Merge pull request #1325 from YosysHQ/eddie/sat_init
commit
|
commitdiff
|
tree
2019-08-27
Clifford Wolf
Add "make bumpversion"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-26
Clifford Wolf
Merge tag 'yosys-0.9'
commit
|
commitdiff
|
tree
2019-08-26
Clifford Wolf
Yosys 0.9
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
commit
|
commitdiff
|
tree
2019-08-24
Clifford Wolf
Merge pull request #1327 from YosysHQ/clifford/pmgen
commit
|
commitdiff
|
tree
2019-08-23
Clifford Wolf
Fix port hanlding in pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-23
Clifford Wolf
Add pmgen slices and choices
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-22
Clifford Wolf
Bump year in copyright notice
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-22
Clifford Wolf
Bump year in copyright notice
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-22
Clifford Wolf
Fix missing newline at end of file
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-22
Clifford Wolf
Merge pull request #1289 from mmicko/anlogic_fixes
commit
|
commitdiff
|
tree
2019-08-22
Clifford Wolf
Fix missing newline at end of file
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
next