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-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
2019-08-22
Clifford Wolf
Merge pull request #1281 from mmicko/efinix
commit
|
commitdiff
|
tree
2019-08-22
Clifford Wolf
Merge pull request #1316 from YosysHQ/eddie/fix_mem2reg
commit
|
commitdiff
|
tree
2019-08-21
Clifford Wolf
Merge pull request #1314 from YosysHQ/eddie/fix_techmap
commit
|
commitdiff
|
tree
2019-08-20
Clifford Wolf
Merge pull request #1298 from YosysHQ/clifford/pmgen
commit
|
commitdiff
|
tree
2019-08-20
Clifford Wolf
Merge branch 'master' into clifford/pmgen
commit
|
commitdiff
|
tree
2019-08-20
Clifford Wolf
Add test case for real parameters
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-20
Clifford Wolf
Merge pull request #1308 from jakobwenzel/real_params
commit
|
commitdiff
|
tree
2019-08-19
Clifford Wolf
Merge pull request #1306 from mmicko/gitignore_fix
commit
|
commitdiff
|
tree
2019-08-19
Clifford Wolf
Add *.sv to tests/simple_abc9/.gitignore
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-19
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-08-19
Clifford Wolf
Merge pull request #1305 from YosysHQ/clifford/testfast
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Merge pull request #1283 from YosysHQ/clifford/fix1255
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Merge pull request #1303 from YosysHQ/bogdanvuk/opt_share
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Merge pull request #1300 from YosysHQ/eddie/cleanup2
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Fix erroneous ifndef-NDEBUG in verific.cc
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Speed up "make test" and related cleanups
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Add test for pmtest_test "reduce" demo pattern
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Refactor pmgen rollback mechanism
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Improvements in "test_pmgen -generate"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-17
Clifford Wolf
Add pmgen "fallthrough" statement
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Minor bugfix in "test_pmgen -generate"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Merge pull request #1302 from mmicko/dfflibmap_regression
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Do not use Verific in tests/various/write_gzip.ys
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Add pmgen finish statement, return number of matches
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Redesign pmgen backtracking for recursive matching
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Add pmgen "generate" feature
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Refactor demo_reduce into test_pmgen
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-16
Clifford Wolf
Add missing NMUX to "abc -g" handling
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-15
Clifford Wolf
Add doc for pmgen semioptional statement, Add pmgen...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-15
Clifford Wolf
Merge pull request #1299 from YosysHQ/eddie/cleanup2
commit
|
commitdiff
|
tree
2019-08-15
Clifford Wolf
Update pmgen documentation
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-15
Clifford Wolf
Change pmgen default rule to reject, switch peepopt...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2019-08-15
Clifford Wolf
Merge branch 'master' into clifford/fix1255
commit
|
commitdiff
|
tree
2019-08-15
Clifford Wolf
Add demo_reduce pass to demonstrace recursive pattern...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
next