projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
abc9: suppress warnings when no compatible + used flop boxes formed
[yosys.git] / tests / aiger /
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990 tree | commitdiff
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc... tree | commitdiff
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations tree | commitdiff
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... tree | commitdiff
2020-05-03 Claire WolfMerge pull request #2014 from YosysHQ/claire/fixoptalu tree | commitdiff
2020-05-02 Eddie HungMerge pull request #2013 from YosysHQ/eddie/aiger_fixes tree | commitdiff
2020-05-02 Eddie Hungtests: aiger test for wire->start_offset != 0 tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile tree | commitdiff
2020-03-03 N. EngelhardtMerge pull request #1691 from ZirconiumX/use-flowmap... tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1681 from YosysHQ/eddie/fix1663 tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1519 from YosysHQ/eddie/submod_po tree | commitdiff
2020-02-26 Miodrag MilanovićMerge pull request #1705 from YosysHQ/logger_pass tree | commitdiff
2020-02-21 Eddie HungMerge pull request #1703 from YosysHQ/eddie/specify_improve tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-15 Marcin Kościelnickitests/aiger: Add missing .gitignore tree | commitdiff
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master tree | commitdiff
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix tree | commitdiff
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa... tree | commitdiff
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate tree | commitdiff
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx tree | commitdiff
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version... tree | commitdiff
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init... tree | commitdiff
2020-01-09 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-07 Eddie HungMerge pull request #1618 from YosysHQ/eddie/aiger_fixes tree | commitdiff
2020-01-07 Eddie Hungtests/aiger: write Yosys output tree | commitdiff
2020-01-07 Eddie HungAdd testcases tree | commitdiff
2020-01-07 Eddie Hungtests/aiger: write Yosys output tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue tree | commitdiff
2019-07-24 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-07-09 Clifford WolfMerge pull request #1146 from gsomlo/gls-test-abc-ext tree | commitdiff
2019-07-03 Clifford WolfMerge pull request #1147 from YosysHQ/clifford/fix1144 tree | commitdiff
2019-07-01 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-06-28 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-28 Eddie HungMerge pull request #1098 from YosysHQ/xaig tree | commitdiff
2019-06-28 Clifford WolfMerge pull request #1146 from gsomlo/gls-test-abc-ext tree | commitdiff
2019-06-28 Gabriel L. Somlotests: use optional ABCEXTERNAL when specified tree | commitdiff
2019-06-27 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... tree | commitdiff
2019-06-21 Eddie HungMerge remote-tracking branch 'origin/eddie/muxpack... 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 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-20 Clifford WolfUpdate some .gitignore files tree | commitdiff
2019-06-20 Clifford WolfMerge branch 'master' of https://github.com/bogdanvuk... 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-14 Bogdan VukobratovicMerge remote-tracking branch 'upstream/master' 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
next