xaiger: update help text
[yosys.git] / passes / techmap /
2020-05-14 Eddie Hungabc9_ops: -prep_dff_map to warn if no specify cells
2020-05-14 Eddie Hungabc9_ops: -prep_dff_map to cope with plain $_DFF_[NP...
2020-05-14 Eddie Hungabc9: cleanup
2020-05-14 Eddie Hungabc9_ops: do not use (* abc9_init *)
2020-05-14 Eddie Hungabc9_ops: add 'dff' label for auto handling of (* abc9_...
2020-05-14 Eddie Hungabc9: fix behaviour and help for -box option
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc...
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error...
2020-05-03 Claire WolfMerge pull request #2014 from YosysHQ/claire/fixoptalu
2020-05-02 Eddie HungMerge pull request #2013 from YosysHQ/eddie/aiger_fixes
2020-05-02 Eddie Hungabc9_ops: -reintegrate to be sensitive to start_offset too
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837
2020-04-30 whitequarkAdd WASI platform support.
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl...
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim...
2020-04-21 Claire WolfMerge pull request #1971 from YosysHQ/claire/edifkeep
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite
2020-04-21 whitequarkMerge pull request #1961 from whitequark/paramod-origin...
2020-04-20 Eddie HungMerge pull request #1972 from YosysHQ/eddie/bug1970
2020-04-20 Eddie Hungabc9: tolerate ABC nonzero exit code if output.aig...
2020-04-20 Eddie Hungxilinx/ecp5: disable abc9's "&mfs" optimisation
2020-04-20 Eddie Hungabc9: -prep_lut to be more robust
2020-04-17 whitequarkMerge pull request #1951 from whitequark/rtlil-string_a...
2020-04-17 whitequarkMerge pull request #1898 from boqwxp/locations
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_...
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo...
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile...
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix
2020-04-15 Eddie HungMerge pull request #1916 from YosysHQ/eddie/kernel_make...
2020-04-15 Eddie HungMerge pull request #1933 from YosysHQ/eddie/zinit_more
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat
2020-04-15 David ShahMerge pull request #1897 from YosysHQ/dave/bram-rejecti...
2020-04-15 Marcelina KościelnickaGet rid of dffsr2dff.
2020-04-15 whitequarkMerge pull request #1918 from whitequark/simplify-impro...
2020-04-15 Claire WolfMerge pull request #1930 from YosysHQ/claire/fix1876
2020-04-15 Marcelina Kościelnickaabc9_ops: Add a check ensuring that connected port...
2020-04-14 Eddie Hungzinit: handle $__DFFS?E?_[NP][NP][01] too
2020-04-14 Marcelina Kościelnickadffinit: Avoid setting init parameter to zero-length...
2020-04-14 Eddie Hungabc9_exe: verify -> &verify -s
2020-04-14 Eddie Hungtechmap: fix error message
2020-04-14 Eddie HungMerge pull request #1917 from YosysHQ/eddie/abc9_delay_...
2020-04-14 whitequarkMerge pull request #1879 from jjj11x/jjj11x/package_decl
2020-04-14 whitequarkMerge pull request #1880 from jjj11x/duplicate_enum
2020-04-14 Alberto GonzalezSimplify `passes/techmap/abc.cc` and remove superfluous...
2020-04-14 Eddie HungMerge pull request #1568 from YosysHQ/eddie/fix_zinit
2020-04-13 Eddie Hungzinit: resolve one more comment by @mwkmwkmwk
2020-04-13 Eddie Hungzinit: fix review comments from @mwkmwkmwk
2020-04-13 Eddie Hungzinit: operate on $adff, erase (* init *) entries on...
2020-04-13 Eddie HungFix S/R comment; thanks @mwkmwkmwk
2020-04-13 Eddie Hungzinit to transform set/reset value of $_DFF_[NP][NP...
2020-04-13 Eddie HungSupress error for unhandled \init if whole module selected
2020-04-13 whitequarkMerge pull request #1910 from boqwxp/cleanup_ilang_parser
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style
2020-04-10 Miodrag MilanovićMerge pull request #1893 from mmicko/program_prefix
2020-04-10 Miodrag MilanovicSupport custom PROGRAM_PREFIX
2020-04-10 whitequarkMerge pull request #1562 from whitequark/write_cxxrtl
2020-04-09 N. EngelhardtMerge pull request #1890 from boqwxp/cleanup_memory_collect
2020-04-09 N. EngelhardtMerge pull request #1889 from boqwxp/cleanup_memory_unpack
2020-04-09 N. EngelhardtMerge pull request #1887 from boqwxp/cleanup_hilomap
2020-04-09 Alberto GonzalezClean up `passes/techmap/hilomap.cc`.
2020-04-09 whitequarkMerge pull request #1857 from whitequark/splitnets...
2020-04-09 whitequarkMerge pull request #1875 from whitequark/read_ilang...
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into...
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
2020-04-06 whitequarkMerge pull request #1874 from boqwxp/cleanup_show
2020-04-06 whitequarkMerge pull request #1861 from boqwxp/cleanup_hierarchy_...
2020-04-06 whitequarkMerge pull request #1870 from boqwxp/cleanup_setattr
2020-04-06 whitequarkMerge pull request #1872 from boqwxp/cleanup_copy
2020-04-06 whitequarkMerge pull request #1871 from boqwxp/cleanup_splice
2020-04-06 whitequarkMerge pull request #1869 from boqwxp/cleanup_connwrappers
2020-04-06 whitequarkMerge pull request #1868 from boqwxp/cleanup_delete
2020-04-06 whitequarkMerge pull request #1867 from boqwxp/cleanup_stat
2020-04-06 whitequarkMerge pull request #1866 from boqwxp/cleanup_test_autotb
2020-04-06 whitequarkMerge pull request #1865 from boqwxp/cleanup_dfflibmap
2020-04-06 whitequarkMerge pull request #1863 from boqwxp/cleanup_techmap_ex...
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate
2020-04-06 Alberto GonzalezClean up `passes/techmap/dfflibmap.cc`.
2020-04-05 Alberto GonzalezClean up pseudo-private member usage and simplify ...
2020-04-05 Alberto GonzalezClean up `passes/techmap/extract.cc`.
2020-04-03 Eddie HungMerge pull request #1648 from YosysHQ/eddie/cmp2lcu
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice
2020-04-02 Eddie HungMerge pull request #1767 from YosysHQ/eddie/idstrings
2020-04-02 Eddie Hungkernel: big fat patch to use more ID::*, otherwise...
2020-04-02 Claire WolfMerge pull request #1846 from dh73/ast_fe
2020-04-02 Marcin Kościelnickiiopadmap: Fix z assignment to inout port
2020-04-02 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
2020-04-02 Eddie Hungkernel: use more ID::*
next