projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Handle expect no warnings together with expected
[yosys.git] / frontends /
2020-02-10 Eddie HungMerge pull request #1670 from rodrigomelo9/master tree | commitdiff
2020-02-10 N. EngelhardtMerge pull request #1669 from thasti/pyosys-attrs tree | commitdiff
2020-02-06 Rodrigo Alejandro... Modified $readmem[hb] to use '\' or '/' according the OS tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1576 from YosysHQ/eddie/opt_merge_init tree | commitdiff
2020-02-05 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1638 from YosysHQ/eddie/fix1631 tree | commitdiff
2020-02-05 Eddie HungMerge pull request #1661 from YosysHQ/eddie/abc9_required tree | commitdiff
2020-02-03 Rodrigo A. MeloMerge branch 'master' into master tree | commitdiff
2020-02-03 Rodrigo Alejandro... Merge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-02-03 Rodrigo Alejandro... Replaced strlen by GetSize into simplify.cc tree | commitdiff
2020-02-02 David ShahMerge pull request #1516 from YosysHQ/dave/dotstar tree | commitdiff
2020-02-02 David Shahsv: Improve handling of wildcard port connections tree | commitdiff
2020-02-02 David Shahhierarchy: Resolve SV wildcard port connections tree | commitdiff
2020-02-02 David Shahsv: Add lexing and parsing of .* (wildcard port conns) tree | commitdiff
2020-02-02 David ShahMerge pull request #1647 from YosysHQ/dave/sprintf tree | commitdiff
2020-02-02 David ShahMerge pull request #1657 from YosysHQ/dave/xilinx-dsp... tree | commitdiff
2020-02-01 Rodrigo Alejandro... Fixed a bug in the new feature of $readmem[hb] when... tree | commitdiff
2020-02-01 Rodrigo Alejandro... Modified the new search for files of $readmem[hb] to... tree | commitdiff
2020-01-31 Rodrigo Alejandro... $readmem[hb] file inclusion is now relative to the... tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1667 from YosysHQ/clifford/verificnand tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1503 from YosysHQ/eddie/verific_help tree | commitdiff
2020-01-30 Claire WolfMerge pull request #1654 from YosysHQ/eddie/sby_fix69 tree | commitdiff
2020-01-30 Claire WolfAdd Verific support for OPER_REDUCE_NAND tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1662 from YosysHQ/dave/opt-reduce... tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1665 from YosysHQ/clifford/edifkeep tree | commitdiff
2020-01-29 Claire WolfMerge pull request #1659 from YosysHQ/clifford/experimental 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 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 Eddie HungMerge branch 'eddie/abc9_refactor' into eddie/abc9_required tree | commitdiff
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-27 Eddie Hungverific: no help() when no YOSYS_ENABLE_VERIFIC tree | commitdiff
2020-01-27 Eddie Hungverific: also unflatten for 'hierarchy' flow as per... 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-24 Eddie Hungverific: unflatten struct ports 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-19 David Shahast: Add support for $sformatf system function 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/eddie/abc9_refacto... 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/eddie/abc9_refacto... 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 HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... 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-09 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... 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/eddie/abc9_refacto... 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
next