projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add ability to override verilog mode for verific -f command
[yosys.git] / tests / opt / opt_expr_cmp.v
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... blob | commitdiff | raw
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master blob | commitdiff | raw
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw
2019-02-11 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw
2019-01-03 Clifford WolfMerge pull request #775 from whitequark/opt_flowmap blob | commitdiff | raw
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp blob | commitdiff | raw
2019-01-02 whitequarkopt_expr: improve simplification of comparisons with... blob | commitdiff | raw
2019-01-02 whitequarkopt_expr: refactor simplification of unsigned X<onehot... blob | commitdiff | raw | diff to current
2019-01-02 whitequarkopt_expr: refactor simplification of signed X>=0 and... blob | commitdiff | raw | diff to current
2019-01-02 whitequarkopt_expr: simplify any unsigned comparisons with all... blob | commitdiff | raw | diff to current