projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #1559 from YosysHQ/efinix_test_fix
[yosys.git] / frontends /
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix tree | commitdiff
2020-01-28 Eddie HungMerge pull request #1660 from YosysHQ/eddie/abc9_unperm... tree | commitdiff
2020-01-28 Eddie HungAdd and use SigSpec::reverse() 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 Hungxilinx/ice40/ecp5: undo permuting LUT masks in lut_map tree | commitdiff
2020-01-27 Eddie HungMerge pull request #1619 from YosysHQ/eddie/abc9_refactor tree | commitdiff
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version... tree | commitdiff
2020-01-24 Eddie Hungread_aiger: set abc9_box_seq attr tree | commitdiff
2020-01-22 Eddie Hungread_aiger: also parse abc9_mergeability tree | commitdiff
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 Hungread_aiger: discard LUT inputs with nodeID == 0; not < 2 tree | commitdiff
2020-01-21 Eddie Hungread_aiger: ignore constant inputs on LUTs 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 David ShahMerge pull request #1602 from niklasnisbeth/ice40-init... tree | commitdiff
2020-01-16 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-16 Eddie HungMerge pull request #1639 from YosysHQ/eddie/fix_read_xaiger tree | commitdiff
2020-01-15 Eddie Hungread_aiger: $lut prefix in front tree | commitdiff
2020-01-15 Miodrag MilanovićMerge pull request #1636 from YosysHQ/eddie/fix_synth_x... tree | commitdiff
2020-01-14 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... 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 HungMerge pull request #1632 from YosysHQ/eddie/fix1630 tree | commitdiff
2020-01-14 Eddie Hungread_aiger: also rename "$0" tree | commitdiff
2020-01-14 Eddie Hungabc9: break SCC by setting (* keep *) on output wires tree | commitdiff
2020-01-14 Eddie Hungread_aiger: uniquify wires with $aiger<autoidx> prefix tree | commitdiff
2020-01-14 Eddie Hungread_aiger: make $and/$not/$lut the prefix not suffix tree | commitdiff
2020-01-13 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-11 Eddie HungMerge branch 'eddie/abc9_refactor' of github.com:YosysH... tree | commitdiff
2020-01-09 Eddie Hungread_aiger: more accurate debug message tree | commitdiff
2020-01-09 Eddie Hungread_aiger: do not double-count outputs for flops tree | commitdiff
2020-01-08 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 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 Hungread_aiger: consistency between ascii and binary; also... tree | commitdiff
2020-01-07 Eddie Hungread_aiger fixes tree | commitdiff
2020-01-07 Eddie Hungread_aiger: connect identical signals together tree | commitdiff
2020-01-07 Eddie Hungread_aiger: cope with latches and POs with same name tree | commitdiff
2020-01-07 Eddie Hungread_aiger: default -clk_name to be empty tree | commitdiff
2020-01-07 Eddie Hungread_aiger: do not process box connections, work standalone tree | commitdiff
2020-01-07 Eddie Hungread_aiger: consistency between ascii and binary tree | commitdiff
2020-01-07 Eddie HungMerge branch 'master' into eddie/abc9_refactor 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/xaig_dff' into... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie Hungread_aiger: add -xaiger option 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/xaig_dff' into... 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
2020-01-01 Eddie Hungparse_xaiger to not take box_lookup tree | commitdiff
2020-01-01 Eddie Hungparse_xaiger to reorder ports too tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... 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-18 Clifford WolfSend people to symbioticeda.com instead of verific.com tree | commitdiff
2019-12-17 Eddie Hungaiger frontend to user shorter, $-prefixed, names tree | commitdiff
2019-12-17 Eddie HungCleanup xaiger, remove unnecessary complexity with... tree | commitdiff
2019-12-17 Eddie Hungread_xaiger to cope with optional '\n' after 'c' tree | commitdiff
2019-12-17 Eddie HungMerge pull request #1574 from YosysHQ/eddie/xilinx_lutram tree | commitdiff
2019-12-16 Eddie HungMerge branch 'diego/memattr' of https://github.com... tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1575 from rodrigomelo9/master tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-12-14 Eddie HungName inputs/outputs of aiger 'i%d' and 'o%d' tree | commitdiff
2019-12-13 Rodrigo Alejandro... Fixed some missing "verilog_" in documentation tree | commitdiff
2019-12-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-12 Diego HMerge https://github.com/YosysHQ/yosys into bram_xilinx tree | commitdiff
2019-12-12 Eddie HungStray log_dump tree | commitdiff
2019-12-12 Eddie HungPreserve size of $genval$-s in for loops tree | commitdiff
2019-12-11 David ShahMerge pull request #1564 from ZirconiumX/intel_housekeeping tree | commitdiff
2019-12-10 Eddie HungMerge pull request #1545 from YosysHQ/eddie/ice40_wrapc... tree | commitdiff
2019-12-07 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-07 Eddie HungCall abc9 with "&write -n", and parse_xaiger() to cope tree | commitdiff
2019-12-07 Eddie HungDo not connect undriven POs to 1'bx tree | commitdiff
2019-12-05 Clifford WolfMerge pull request #1551 from whitequark/manual-cell... tree | commitdiff
2019-12-04 whitequarkkernel: require \B_SIGNED=0 on $shl, $sshl, $shr, ... tree | commitdiff
2019-12-03 Clifford WolfMerge pull request #1524 from pepijndevos/gowindffinit tree | commitdiff
2019-12-02 David ShahMerge pull request #1542 from YosysHQ/dave/abc9-loop-fix tree | commitdiff
2019-12-02 Clifford WolfMerge pull request #1539 from YosysHQ/mwk/ilang-bounds... tree | commitdiff
next