projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge remote-tracking branch 'origin/master' into xc7mux
[yosys.git] / tests / aiger / run-test.sh
2019-06-10 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux blob | commitdiff | raw
2019-06-10 Eddie HungAdd some more comments blob | commitdiff | raw
2019-06-08 Clifford WolfMerge pull request #1078 from YosysHQ/eddie/muxcover_costs blob | commitdiff | raw | diff to current
2019-06-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux blob | commitdiff | raw | diff to current
2019-06-07 Clifford WolfMerge pull request #1079 from YosysHQ/eddie/fix_read_aiger blob | commitdiff | raw | diff to current
2019-06-07 Eddie HungTest *.aag too, by using *.aig as reference blob | commitdiff | raw | diff to current
2019-06-07 Eddie HungUse ABC to convert AIGER to Verilog, then sat against... blob | commitdiff | raw | diff to current
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw | diff to current
2019-03-19 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl blob | commitdiff | raw | diff to current
2019-03-19 Eddie HungMerge pull request #808 from eddiehung/read_aiger blob | commitdiff | raw | diff to current
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger blob | commitdiff | raw | diff to current
2019-02-26 Eddie HungMerge remote-tracking branch 'origin/master' into xaig blob | commitdiff | raw | diff to current
2019-02-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig blob | commitdiff | raw | diff to current
2019-02-21 Eddie HungMerge branch 'clifford/dffsrfix' of https://github... blob | commitdiff | raw | diff to current
2019-02-19 Eddie HungMerge branch 'master' into xaig blob | commitdiff | raw | diff to current
2019-02-19 Eddie HungMerge branch 'master' into read_aiger blob | commitdiff | raw | diff to current
2019-02-19 Eddie HungMerge branch 'master' into read_aiger blob | commitdiff | raw | diff to current
2019-02-18 Eddie HungMerge branch 'dff_init' into read_aiger blob | commitdiff | raw | diff to current
2019-02-17 Eddie HungMerge branch 'dff_init' into read_aiger blob | commitdiff | raw | diff to current
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger blob | commitdiff | raw | diff to current
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig blob | commitdiff | raw | diff to current
2019-02-08 Eddie HungMerge remote-tracking branch 'origin/dff_init' into... blob | commitdiff | raw | diff to current
2019-02-08 Eddie HungSupport and differentiate between ASCII and binary... blob | commitdiff | raw | diff to current
2019-02-06 Eddie HungMerge branch 'dff_init' of https://github.com/eddiehung... blob | commitdiff | raw | diff to current
2019-02-06 Eddie HungRename ASCII tests blob | commitdiff | raw | diff to current