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 / aiger / or_.aag
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-07-24 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... blob | commitdiff | raw
2019-06-14 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master blob | commitdiff | raw
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig blob | commitdiff | raw
2019-06-08 Clifford WolfMerge pull request #1078 from YosysHQ/eddie/muxcover_costs blob | commitdiff | raw
2019-06-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux blob | commitdiff | raw
2019-06-07 Eddie HungMerge branch 'master' into eddie/muxpack blob | commitdiff | raw
2019-06-07 Clifford WolfMerge pull request #1079 from YosysHQ/eddie/fix_read_aiger blob | commitdiff | raw
2019-06-07 Eddie HungAdd symbols to AIGER test inputs for ABC blob | commitdiff | raw