projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Test for (* keep *)-ed abc9_box_id
[yosys.git] / tests / various /
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_fixes... tree | commitdiff
2020-01-22 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-21 Eddie Hungwrite_xaiger: fix for (* keep *) on flop output tree | commitdiff
2020-01-21 Claire WolfMerge pull request #1637 from YosysHQ/mwk/fix-1634 tree | commitdiff
2020-01-21 Claire WolfMerge pull request #1629 from YosysHQ/mwk/edif-z tree | commitdiff
2020-01-20 Claire WolfMerge pull request #1621 from YosysHQ/clifford/fminit tree | commitdiff
2020-01-18 Eddie HungMerge pull request #1643 from YosysHQ/eddie/cleanup_ari... tree | commitdiff
2020-01-18 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init... tree | commitdiff
2020-01-18 Eddie HungMerge pull request #1645 from YosysHQ/eddie/fix1644 tree | commitdiff
2020-01-18 Eddie Hungxilinx_dsp: another typo; move xilinx specific test tree | commitdiff
2020-01-15 Miodrag MilanovićMerge pull request #1636 from YosysHQ/eddie/fix_synth_x... tree | commitdiff
2020-01-14 Eddie HungMerge pull request #1635 from YosysHQ/eddie/print_stats tree | commitdiff
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-14 Eddie HungMerge pull request #1633 from YosysHQ/eddie/fix_autoname tree | commitdiff
2020-01-14 Eddie Hungautoname: add testcase with $-prefix-ed port tree | commitdiff
2020-01-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-07 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2020-01-07 Eddie HungMerge pull request #1181 from YosysHQ/xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-03 N. EngelhardtMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-12-30 Eddie HungRemove submod changes tree | commitdiff
2019-12-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie HungMerge pull request #1585 from YosysHQ/eddie/fix_abc9_lut tree | commitdiff
2019-12-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1581 from YosysHQ/clifford/fix1565 tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1558 from YosysHQ/eddie/xaiger_cleanup tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1569 from YosysHQ/eddie/fix_1531 tree | commitdiff
2019-12-19 Eddie HungMerge pull request #1571 from YosysHQ/eddie/fix_1570 tree | commitdiff
2019-12-18 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-12-18 David ShahMerge pull request #1563 from YosysHQ/dave/async-prld tree | commitdiff
2019-12-18 Eddie HungMerge pull request #1572 from nakengelhardt/scratchpad_pass tree | commitdiff
2019-12-16 N. Engelhardtadd assert option to scratchpad command tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-12-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-12 N. Engelhardtadd test and make help message more verbose tree | commitdiff
2019-12-12 Eddie HungAdd testcase tree | commitdiff
2019-12-07 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-28 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungAdd multiple driver testcase tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Clifford WolfMerge pull request #1501 from YosysHQ/dave/mem_copy_attr tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/write_xaiger... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungRevert "submod to bitty rather bussy, for bussy wires... tree | commitdiff
2019-11-27 Eddie HungFix wire width tree | commitdiff
2019-11-27 Eddie HungMerge branch 'master' into xaig_dff tree | commitdiff
2019-11-26 Eddie HungAdd testcase where \init is copied tree | commitdiff
2019-11-25 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge branch 'xaig_dff' of github.com:YosysHQ/yosys... tree | commitdiff
2019-11-23 Eddie HungMerge pull request #1505 from YosysHQ/eddie/xaig_dff_adff tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungRemove redundant flatten tree | commitdiff
2019-11-23 Eddie HungStray dump tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungAdd another test with constant driver tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungCleanup spacing tree | commitdiff
2019-11-23 Eddie HungAdd testcase tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-11-22 Clifford WolfMerge pull request #1511 from YosysHQ/dave/always tree | commitdiff
2019-11-22 Eddie HungAnother sloppy mistake! tree | commitdiff
2019-11-22 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-11-22 Eddie Hungasync2sync -> clk2fflogic tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/xaig_dff_adff' into xaig_dff tree | commitdiff
2019-11-21 David Shahsv: Add tests for SV always types tree | commitdiff
2019-11-20 Eddie HungAdd a equiv test too tree | commitdiff
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-19 Clifford WolfMerge pull request #1449 from pepijndevos/gowin tree | commitdiff
2019-11-19 Marcin KościelnickiFix #1462, #1480. tree | commitdiff
2019-11-18 Clifford WolfMerge pull request #1497 from YosysHQ/mwk/extract-fa-fix tree | commitdiff
2019-11-18 Marcin KościelnickiFix #1496. tree | commitdiff
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into mmicko/efinix tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into mmicko/anlogic tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into eddie/pr1352 tree | commitdiff
2019-10-14 Clifford WolfUse "(id)" instead of "id" for types as temporary hack tree | commitdiff
2019-10-08 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-08 Eddie HungMerge pull request #1432 from YosysHQ/eddie/fix1427 tree | commitdiff
2019-10-03 Eddie HungUse `sat -tempinduct` and comments for why equiv_opt... tree | commitdiff
2019-10-03 Eddie HungFix broken CI, check reset even for constants, trim... tree | commitdiff
2019-10-03 Eddie HungFix test tree | commitdiff
next