projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #1450 from YosysHQ/clifford/fixdffmux
2019-10-16 Clifford WolfMerge pull request #1450 from YosysHQ/clifford/fixdffmux
 commit | commitdiff | tree
2019-10-16 Clifford WolfFix dffmux peepopt init handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-16 Clifford WolfMove GENERATE_PATTERN macro to separate utility header
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-16 Clifford WolfDisable left-over log_debug in peepopt_dffmux.pmg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-16 Clifford WolfFix parsing of .cname BLIF statements
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-15 Clifford WolfAdd .blackbox support to blif front-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-14 Clifford WolfMerge pull request #1448 from YosysHQ/daveshah1-sv...
commit | commitdiff | tree
2019-10-14 Clifford WolfUse "(id)" instead of "id" for types as temporary hack
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-06 Clifford WolfMerge pull request #1439 from YosysHQ/eddie/fix_ice40_wrapcarry
 commit | commitdiff | tree
2019-10-05 Clifford WolfUpdate README.md
 commit | commitdiff | tree
2019-10-03 Clifford WolfChange smtbmc "Warmup failed" status to "PREUNSAT"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-03 Clifford WolfUpdate ABC to git rev 623b5e8
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-03 Clifford WolfBump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-03 Clifford WolfMerge pull request #1419 from YosysHQ/eddie/lazy_derive
 commit | commitdiff | tree
2019-10-03 Clifford WolfMerge pull request #1422 from YosysHQ/eddie/aigmap_select
 commit | commitdiff | tree
2019-10-03 Clifford WolfMerge pull request #1429 from YosysHQ/clifford/checkmapped
 commit | commitdiff | tree
2019-10-03 Clifford WolfAdd "check -allow-tbuf"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-02 Clifford WolfMerge pull request #1428 from YosysHQ/clifford/fixbtor
 commit | commitdiff | tree
2019-10-02 Clifford WolfAdd "check -mapped"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-10-02 Clifford WolfFix btor back-end to use "state" instead of "input...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-30 Clifford WolfBump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-30 Clifford WolfMerge pull request #1412 from YosysHQ/eddie/equiv_opt_async2sync
 commit | commitdiff | tree
2019-09-30 Clifford WolfMerge pull request #1417 from YosysHQ/clifford/fixasync2sync
 commit | commitdiff | tree
2019-09-30 Clifford WolfFix $dlatch handling in async2sync
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-29 Clifford WolfMerge pull request #1411 from aman-goel/YosysHQ-master
 commit | commitdiff | tree
2019-09-27 Clifford WolfMerge pull request #1404 from YosysHQ/fix_gzip_macos
 commit | commitdiff | tree
2019-09-25 Clifford WolfMerge pull request #1402 from YosysHQ/clifford/portlist
 commit | commitdiff | tree
2019-09-25 Clifford WolfImprove "portlist" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-24 Clifford WolfAdd "portlist" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-21 Clifford WolfMerge pull request #1392 from YosysHQ/eddie/fix1391
 commit | commitdiff | tree
2019-09-20 Clifford WolfMerge pull request #1386 from YosysHQ/clifford/fix1360
 commit | commitdiff | tree
2019-09-20 Clifford WolfFix handling of read_verilog config in AstModule::reprocess_...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-20 Clifford WolfUpdate CHANGELOG
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-20 Clifford WolfAdd "add -mod"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-20 Clifford WolfMerge pull request #1384 from YosysHQ/clifford/fix1381
 commit | commitdiff | tree
2019-09-19 Clifford WolfAdd techmap_autopurge attribute, fixes #1381
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-18 Clifford WolfAdd "write_aiger -L"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-18 Clifford WolfFix stupid bug in btor back-end
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-16 Clifford WolfBump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-16 Clifford WolfMerge pull request #1380 from YosysHQ/clifford/fix1372
 commit | commitdiff | tree
2019-09-16 Clifford WolfFix handling of range selects on loop variables, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-15 Clifford WolfMerge pull request #1377 from YosysHQ/clifford/fixzdigit
 commit | commitdiff | tree
2019-09-13 Clifford WolfFix handling of z_digit "?" and fix optimization of...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-13 Clifford WolfMerge pull request #1373 from YosysHQ/clifford/fix1364
 commit | commitdiff | tree
2019-09-13 Clifford WolfFix lexing of integer literals without radix
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-12 Clifford WolfFix lexing of integer literals, fixes #1364
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-10 Clifford WolfBump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-05 Clifford WolfBump version
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-05 Clifford WolfMerge pull request #1350 from YosysHQ/clifford/fixsby59
 commit | commitdiff | tree
2019-09-05 Clifford WolfMerge pull request #1330 from YosysHQ/clifford/fix1145
 commit | commitdiff | tree
2019-09-05 Clifford WolfUpdate README.md
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-05 Clifford WolfRename conflicting wires on flatten/techmap, add "hierconn...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-05 Clifford WolfAdd flatten handling of pre-existing wires as created...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-03 Clifford WolfMerge pull request #1351 from emilazy/remove-which-use
 commit | commitdiff | tree
2019-09-02 Clifford WolfProperly construct $live and $fair cells from "if ...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-09-01 Clifford WolfMerge pull request #1347 from mmicko/fix_select_error_msg
 commit | commitdiff | tree
2019-08-29 Clifford WolfBump YOSYS_VER
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-28 Clifford WolfMerge pull request #1335 from YosysHQ/clifford/paramap
 commit | commitdiff | tree
2019-08-28 Clifford WolfFix typo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-28 Clifford WolfAdd "paramap" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-28 Clifford WolfAdd $dlatch support to async2sync
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-27 Clifford WolfMerge pull request #1325 from YosysHQ/eddie/sat_init
 commit | commitdiff | tree
2019-08-27 Clifford WolfAdd "make bumpversion"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-26 Clifford WolfMerge tag 'yosys-0.9'
 commit | commitdiff | tree
2019-08-26 Clifford WolfYosys 0.9
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue
 commit | commitdiff | tree
2019-08-24 Clifford WolfMerge pull request #1327 from YosysHQ/clifford/pmgen
 commit | commitdiff | tree
2019-08-23 Clifford WolfFix port hanlding in pmgen
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-23 Clifford WolfAdd pmgen slices and choices
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-22 Clifford WolfBump year in copyright notice
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-22 Clifford WolfBump year in copyright notice
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-22 Clifford WolfFix missing newline at end of file
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-22 Clifford WolfMerge pull request #1289 from mmicko/anlogic_fixes
 commit | commitdiff | tree
2019-08-22 Clifford WolfFix missing newline at end of file
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix
 commit | commitdiff | tree
2019-08-22 Clifford WolfMerge pull request #1316 from YosysHQ/eddie/fix_mem2reg
 commit | commitdiff | tree
2019-08-21 Clifford WolfMerge pull request #1314 from YosysHQ/eddie/fix_techmap
 commit | commitdiff | tree
2019-08-20 Clifford WolfMerge pull request #1298 from YosysHQ/clifford/pmgen
 commit | commitdiff | tree
2019-08-20 Clifford WolfMerge branch 'master' into clifford/pmgen
 commit | commitdiff | tree
2019-08-20 Clifford WolfAdd test case for real parameters
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-20 Clifford WolfMerge pull request #1308 from jakobwenzel/real_params
 commit | commitdiff | tree
2019-08-19 Clifford WolfMerge pull request #1306 from mmicko/gitignore_fix
 commit | commitdiff | tree
2019-08-19 Clifford WolfAdd *.sv to tests/simple_abc9/.gitignore
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-19 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into...
commit | commitdiff | tree
2019-08-19 Clifford WolfMerge pull request #1305 from YosysHQ/clifford/testfast
 commit | commitdiff | tree
2019-08-17 Clifford WolfMerge pull request #1283 from YosysHQ/clifford/fix1255
 commit | commitdiff | tree
2019-08-17 Clifford WolfMerge pull request #1303 from YosysHQ/bogdanvuk/opt_share
 commit | commitdiff | tree
2019-08-17 Clifford WolfMerge pull request #1300 from YosysHQ/eddie/cleanup2
 commit | commitdiff | tree
2019-08-17 Clifford WolfFix erroneous ifndef-NDEBUG in verific.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-17 Clifford WolfSpeed up "make test" and related cleanups
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-17 Clifford WolfAdd test for pmtest_test "reduce" demo pattern
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-17 Clifford WolfRefactor pmgen rollback mechanism
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-17 Clifford WolfImprovements in "test_pmgen -generate"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-17 Clifford WolfAdd pmgen "fallthrough" statement
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-16 Clifford WolfMinor bugfix in "test_pmgen -generate"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-16 Clifford WolfMerge pull request #1302 from mmicko/dfflibmap_regression
 commit | commitdiff | tree
2019-08-16 Clifford WolfDo not use Verific in tests/various/write_gzip.ys
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-16 Clifford WolfAdd pmgen finish statement, return number of matches
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-16 Clifford WolfRedesign pmgen backtracking for recursive matching
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-08-16 Clifford WolfAdd pmgen "generate" feature
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
next