projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix 5bba9c3, closes #1876
[yosys.git] / frontends / aiger /
2020-04-14 whitequarkMerge pull request #1879 from jjj11x/jjj11x/package_decl tree | commitdiff
2020-04-14 whitequarkMerge pull request #1880 from jjj11x/duplicate_enum tree | commitdiff
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-04-09 whitequarkMerge pull request #1857 from whitequark/splitnets... tree | commitdiff
2020-04-09 whitequarkMerge pull request #1875 from whitequark/read_ilang... tree | commitdiff
2020-04-07 Eddie HungMerge pull request #1881 from hzeller/only-define-stdc... tree | commitdiff
2020-04-07 Henner Zelleraigerparse: only define __STDC_FORMAT_MACROS it not... tree | commitdiff
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... tree | commitdiff
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate tree | commitdiff
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings tree | commitdiff
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise... tree | commitdiff
2020-04-02 Eddie Hungkernel: use more ID::* tree | commitdiff
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols tree | commitdiff
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s... tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor tree | commitdiff
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu tree | commitdiff
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice tree | commitdiff
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s... tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1783 from boqwxp/astcc_cleanup tree | commitdiff
2020-03-30 Eddie HungMerge pull request #1786 from boqwxp/hierarchycc_cleanup tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762 tree | commitdiff
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup tree | commitdiff
2020-03-19 Eddie HungMerge pull request #1788 from YosysHQ/eddie/fix_ndebug tree | commitdiff
2020-03-19 Eddie HungFix NDEBUG warnings tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum 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 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 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/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
next