projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Extend `add` command to allow adding cells for verification like $assert, $assume...
[yosys.git] / kernel /
2020-03-09 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix tree | commitdiff
2020-03-04 Eddie HungMerge pull request #1735 from YosysHQ/eddie/abc9_dsp48e1 tree | commitdiff
2020-03-03 N. EngelhardtMerge pull request #1691 from ZirconiumX/use-flowmap... tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1718 from boqwxp/precise_locations 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-03-02 Eddie HungMerge pull request #1724 from YosysHQ/eddie/abc9_specify tree | commitdiff
2020-02-27 Eddie HungSmall fixes tree | commitdiff
2020-02-27 Eddie HungFixes for older compilers tree | commitdiff
2020-02-27 Eddie HungMake TimingInfo::TimingInfo(SigBit) constructor explicit tree | commitdiff
2020-02-27 Eddie HungTimingInfo: index by (port_name,offset) tree | commitdiff
2020-02-27 Eddie HungFix spacing tree | commitdiff
2020-02-27 Eddie HungGet rid of (* abc9_{arrival,required} *) entirely tree | commitdiff
2020-02-27 Eddie Hungabc9_ops: use TimingInfo for -prep_{lut,box} too tree | commitdiff
2020-02-27 Eddie Hungabc9_ops: use TimingInfo for -prep_{lut,box} too tree | commitdiff
2020-02-27 Eddie Hungabc9_ops: add and use new TimingInfo struct tree | commitdiff
2020-02-27 Claire WolfMerge pull request #1709 from rqou/coolrunner2_counter tree | commitdiff
2020-02-27 Claire WolfMerge pull request #1708 from rqou/coolrunner2-buf-fix tree | commitdiff
2020-02-26 Miodrag MilanovićMerge pull request #1705 from YosysHQ/logger_pass tree | commitdiff
2020-02-23 Miodrag MilanovicRemove duplicate warning detection tree | commitdiff
2020-02-23 Alberto GonzalezCloses #1717. Add more precise Verilog source location... tree | commitdiff
2020-02-22 Miodrag MilanovicHandle expect no warnings together with expected 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-17 Miodrag MilanovicPrevent double error message tree | commitdiff
2020-02-17 Miodrag MilanovicOption to expect no warnings tree | commitdiff
2020-02-17 Miodrag MilanovicNo new error if already failing tree | commitdiff
2020-02-14 Miodrag Milanovicremove whitespace tree | commitdiff
2020-02-14 Miodrag MilanovicAdd expect option to logger command tree | commitdiff
2020-02-13 Eddie Hungspecify: system timing checks to accept min:typ:max... 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-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 Eddie HungMerge branch 'master' into eddie/submod_po 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-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 WolfImprove logging use of experimental features 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 pull request #1619 from YosysHQ/eddie/abc9_refactor tree | commitdiff
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-27 Eddie HungMerge pull request #1656 from YosysHQ/eddie/ice40_abc9_... tree | commitdiff
2020-01-27 Claire WolfAdd log_experimental() and experimental() API and ... tree | commitdiff
2020-01-27 Claire WolfMerge pull request #1613 from porglezomp-misc/version... 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-15 Miodrag MilanovićMerge pull request #1636 from YosysHQ/eddie/fix_synth_x... tree | commitdiff
2020-01-15 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 #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 HungAs before, only display MEM if Linux or FreeBSD tree | commitdiff
2020-01-14 Eddie Hungprint_stats footer to return peak memory, option for... tree | commitdiff
2020-01-14 Miodrag MilanovićMerge pull request #1623 from YosysHQ/mmicko/edif_attr tree | commitdiff
2020-01-13 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-13 Eddie HungMerge pull request #1620 from YosysHQ/eddie/abc9_scratchpad tree | commitdiff
2020-01-12 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... 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 remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-11 Eddie HungMerge pull request #1622 from YosysHQ/clifford/onpassreg tree | commitdiff
2020-01-10 Eddie HungMove abc9.* constpad entries to Abc9Pass::on_register() tree | commitdiff
2020-01-10 Eddie HungMerge remote-tracking branch 'origin/clifford/onpassreg... tree | commitdiff
2020-01-09 Clifford WolfAdd Pass::on_register() and Pass::on_shutdown() tree | commitdiff
2020-01-08 Eddie HungAdd abc9.if.script.flow{,2} to constpad tree | commitdiff
2020-01-08 Eddie HungAdd RTLIL::constpad, init by yosys_setup(); use for... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-05 Cassie JonesAdd --version and -version as aliases for -V 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 whitequarkMerge pull request #1604 from whitequark/unify-ram... 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-02 Clifford WolfMerge pull request #1609 from YosysHQ/clifford/fix1596 tree | commitdiff
2020-01-02 Clifford WolfAlways create $shl, $shr, $sshl, $sshr cells with unsig... tree | commitdiff
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys tree | commitdiff
2019-12-12 Diego HMerge https://github.com/YosysHQ/yosys into bram_xilinx 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-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-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys 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
next