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
Fix clang compiler warning
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
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-01
Claire Wolf
Fix "opt_expr -fine" bug introduced in 213a89558
Signed-off-by: Claire Wolf <
claire@symbioticeda.com
>
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
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-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
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-14
Claire Wolf
Fix 5bba9c3, closes #1876
Signed-off-by: Claire Wolf <
claire@symbioticeda.com
>
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
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-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-14
Claire Wolf
Improve write_btor symbol handling
Signed-off-by: Claire Wolf <
claire@symbioticeda.com
>
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