projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'koriakin/xc7nocarrymux' into xaig
[yosys.git] / tests / aiger /
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... tree | commitdiff
2019-06-21 Eddie HungMerge branch 'master' into eddie/muxpack tree | commitdiff
2019-06-21 Eddie HungMerge pull request #1085 from YosysHQ/eddie/shregmap_im... tree | commitdiff
2019-06-21 Clifford WolfMerge pull request #1117 from bwidawsk/more-home tree | commitdiff
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-20 Clifford WolfUpdate some .gitignore files tree | commitdiff
2019-06-20 Clifford WolfMerge branch 'unpacked_arrays' of https://github.com... tree | commitdiff
2019-06-19 Clifford WolfMerge pull request #1105 from YosysHQ/clifford/fixlogicinit tree | commitdiff
2019-06-19 Clifford WolfMake tests/aiger less chatty tree | commitdiff
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master tree | commitdiff
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-10 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-10 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-06-10 Eddie HungAdd some more comments tree | commitdiff
2019-06-08 Clifford WolfMerge pull request #1078 from YosysHQ/eddie/muxcover_costs tree | commitdiff
2019-06-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-07 Eddie HungMerge branch 'master' into eddie/muxpack tree | commitdiff
2019-06-07 Clifford WolfMerge pull request #1079 from YosysHQ/eddie/fix_read_aiger tree | commitdiff
2019-06-07 Eddie HungTest *.aag too, by using *.aig as reference tree | commitdiff
2019-06-07 Eddie HungUse ABC to convert AIGER to Verilog, then sat against... tree | commitdiff
2019-06-07 Eddie HungAdd symbols to AIGER test inputs for ABC tree | commitdiff
2019-04-30 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-04-30 Benedikt TutzerMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/xc7srl' into xc7mux tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #905 from christian-krieg/feature... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #941 from Wren6991/sim_lib_io_clke tree | commitdiff
2019-04-22 Clifford WolfMerge branch 'master' of https://github.com/dh73/yosys_... tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #911 from mmicko/gowin-nobram tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #909 from zachjs/master tree | commitdiff
2019-04-21 Eddie HungMerge branch 'master' into map_cells_before_map_luts tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-20 Clifford WolfMerge pull request #943 from YosysHQ/clifford/whitebox tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin' into xc7srl tree | commitdiff
2019-04-20 Clifford WolfMerge pull request #942 from YosysHQ/clifford/fix931 tree | commitdiff
2019-04-19 Clifford WolfAdd tests/aiger/.gitignore tree | commitdiff
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-03-19 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-19 Eddie HungMerge pull request #808 from eddiehung/read_aiger tree | commitdiff
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-02-26 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-02-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-02-21 Eddie HungMerge branch 'clifford/dffsrfix' of https://github... tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into read_aiger tree | commitdiff
2019-02-19 Eddie HungMerge branch 'master' into read_aiger tree | commitdiff
2019-02-18 Eddie HungMerge branch 'dff_init' into read_aiger tree | commitdiff
2019-02-17 Eddie HungMerge branch 'dff_init' into read_aiger tree | commitdiff
2019-02-17 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-02-13 Eddie HungMerge https://github.com/YosysHQ/yosys into xaig tree | commitdiff
2019-02-08 Eddie HungMerge remote-tracking branch 'origin/dff_init' into... tree | commitdiff
2019-02-08 Eddie HungSupport and differentiate between ASCII and binary... tree | commitdiff
2019-02-08 Eddie HungAdd binary AIGs converted from AAG tree | commitdiff
2019-02-06 Eddie HungMerge branch 'dff_init' of https://github.com/eddiehung... tree | commitdiff
2019-02-06 Eddie HungRename ASCII tests tree | commitdiff