projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add abc9_ops -check, -prep_times, -write_box for required times
[yosys.git] / frontends /
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 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
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
2019-11-28 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Marcin Kościelnickiread_ilang: do bounds checking on bit indices tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... 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 HungMerge branch 'master' into xaig_dff 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 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 HungMerge remote-tracking branch 'origin/eddie/submod_po... 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-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 #1517 from YosysHQ/clifford/optmem tree | commitdiff
2019-11-22 Clifford WolfMerge pull request #1515 from YosysHQ/clifford/svastuff tree | commitdiff
2019-11-22 Clifford WolfAdd Verific support for SVA nexttime properties tree | commitdiff
2019-11-22 Clifford WolfImprove handling of verific primitives in "verific... tree | commitdiff
2019-11-22 Clifford WolfAdd Verific SVA support for "always" properties tree | commitdiff
2019-11-22 Clifford WolfMerge pull request #1511 from YosysHQ/dave/always tree | commitdiff
2019-11-22 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/xaig_dff_adff' into xaig_dff tree | commitdiff
2019-11-21 David Shahsv: Correct parsing of always_comb, always_ff and alway... tree | commitdiff
2019-11-20 Eddie HungConsistent log message, ignore 's' extension tree | commitdiff
next