projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add support for non-power-of-two mem chunks in verific importer
2020-05-14
Claire Wolf
Add support for non-power-of-two mem chunks in verific...
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-08
Claire Wolf
Merge pull request #2038 from nakengelhardt/no-libdir...
commit
|
commitdiff
|
tree
2020-05-08
Claire Wolf
Fix clang compiler warning
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
commit
|
commitdiff
|
tree
2020-05-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Fix the other "opt_expr -fine" bug introduced in 213a89558
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Fix the other "opt_expr -fine" bug introduced in 213a89558
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Add plusargs for output files in test_autotb output
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Bugfix in partsel.v signed indices test cases
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Fix handling of signed indices in bit slices
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Add tests based on the test case from #1990
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Add AST_SELFSZ and improve handling of bit slices
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Add "nowrshmsk" attribute, fix shift-and-mask bit slice...
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Merge pull request #2010 from YosysHQ/claire/fixopt
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Fix "opt_expr -fine" bug introduced in 213a89558
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Merge pull request #1997 from whitequark/document-ootb
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Merge pull request #1981 from YosysHQ/claire/fix1837
commit
|
commitdiff
|
tree
2020-04-24
Claire Wolf
Merge pull request #1995 from YosysHQ/eddie/fix_verific_wiretype
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1988 from boqwxp/qbfsat
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1986 from YosysHQ/eddie/verific_enum
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Update passes/cmds/select.cc
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Merge pull request #1976 from YosysHQ/dave/fix-sim...
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Merge pull request #1979 from whitequark/cxxrtl-go...
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Clear current_scope when done with RTLIL generation...
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Merge pull request #1971 from YosysHQ/claire/edifkeep
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Merge pull request #1851 from YosysHQ/claire/bitselwrite
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Add '=' selection pattern prefix for non-blackbox only...
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Improve net priorities in EDIF back-end
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-20
Claire Wolf
Ignore conflicting keep attributes, unless asked not...
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-20
Claire Wolf
Merge pull request #1964 from YosysHQ/claire/sformatf
commit
|
commitdiff
|
tree
2020-04-18
Claire Wolf
Extend support for format strings in Verilog front-end
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-16
Claire Wolf
Merge pull request #1797 from epfl-vlsc/firrtl_backend_fileinfo
commit
|
commitdiff
|
tree
2020-04-16
Claire Wolf
Make mask-and-shift the default for bitselwrite
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-16
Claire Wolf
Add LookaheadRewriter for proper bitselwrite support
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-15
Claire Wolf
Improved rewrite code for writing to bit slice (disabled...
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-15
Claire Wolf
Merge pull request #1930 from YosysHQ/claire/fix1876
commit
|
commitdiff
|
tree
2020-04-14
Claire Wolf
Fix 5bba9c3, closes #1876
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-07
Claire Wolf
Merge pull request #1814 from YosysHQ/mmicko/pyosys_makefile
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1846 from dh73/ast_fe
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Bump YOSYS_VER
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1777 from YosysHQ/claire/manyhot
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Improve ezsat onehot encoding scheme
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Using LFSR counter for ezSAT::manyhot()
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
commit
|
commitdiff
|
tree
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simplify...
commit
|
commitdiff
|
tree
2020-03-27
Claire Wolf
Merge pull request #1815 from boqwxp/fix-ef-optimize
commit
|
commitdiff
|
tree
2020-03-26
Claire Wolf
Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fix
commit
|
commitdiff
|
tree
2020-03-24
Claire Wolf
Revert part of 0fda8308 from #1746 that broke other...
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-17
Claire Wolf
Add N:* to select language, fix some old code
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-16
Claire Wolf
Update Copyright
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-16
Claire Wolf
Merge pull request #1771 from waldyrious/license-update
commit
|
commitdiff
|
tree
2020-03-14
Claire Wolf
Improve write_btor symbol handling
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-13
Claire Wolf
Merge pull request #1764 from Xiretza/fix-abcrev-check
commit
|
commitdiff
|
tree
2020-03-13
Claire Wolf
Add info-file and cover features to write_btor
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-08
Claire Wolf
Fix partsel expr bit width handling and add test case
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-03
Claire Wolf
Fix bison warning for "pure-parser" option
Signed-off-by:
Claire Wolf
<claire@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-03
Claire Wolf
Merge pull request #1718 from boqwxp/precise_locations
commit
|
commitdiff
|
tree
2020-03-03
Claire Wolf
Merge pull request #1681 from YosysHQ/eddie/fix1663
commit
|
commitdiff
|
tree
2020-03-03
Claire Wolf
Merge pull request #1519 from YosysHQ/eddie/submod_po
commit
|
commitdiff
|
tree
2020-02-27
Claire Wolf
Merge pull request #1709 from rqou/coolrunner2_counter
commit
|
commitdiff
|
tree
2020-02-27
Claire Wolf
Merge pull request #1708 from rqou/coolrunner2-buf-fix
commit
|
commitdiff
|
tree
2020-02-20
Claire Wolf
Merge pull request #1642 from jjj11x/jjj11x/sv-enum
commit
|
commitdiff
|
tree
2020-02-13
Claire Wolf
Merge pull request #1694 from rqou/json_compat_fix
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Merge pull request #1667 from YosysHQ/clifford/verificnand
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Merge pull request #1503 from YosysHQ/eddie/verific_help
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Merge pull request #1654 from YosysHQ/eddie/sby_fix69
commit
|
commitdiff
|
tree
2020-01-30
Claire Wolf
Add Verific support for OPER_REDUCE_NAND
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge pull request #1662 from YosysHQ/dave/opt-reduce...
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge pull request #1665 from YosysHQ/clifford/edifkeep
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Merge pull request #1659 from YosysHQ/clifford/experimental
commit
|
commitdiff
|
tree
2020-01-29
Claire Wolf
Preserve wires with keep attribute in EDIF back-end
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-28
Claire Wolf
Improve logging use of experimental features
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-28
Claire Wolf
Merge pull request #1567 from YosysHQ/eddie/sat_init_warning
commit
|
commitdiff
|
tree
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Add log_experimental() and experimental() API and ...
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Merge pull request #1658 from YosysHQ/clifford/smtbmcsolvern...
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Improve yosys-smtbmc "solver not found" handling
Signed-off-by:
Claire Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2020-01-27
Claire Wolf
Merge pull request #1613 from porglezomp-misc/version...
commit
|
commitdiff
|
tree
2020-01-21
Claire Wolf
Merge pull request #1637 from YosysHQ/mwk/fix-1634
commit
|
commitdiff
|
tree
2020-01-21
Claire Wolf
Merge pull request #1629 from YosysHQ/mwk/edif-z
commit
|
commitdiff
|
tree
2020-01-20
Claire Wolf
Merge pull request #1621 from YosysHQ/clifford/fminit
commit
|
commitdiff
|
tree