Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
[yosys.git] / frontends /
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes
2020-04-24 Claire WolfMerge pull request #1995 from YosysHQ/eddie/fix_verific...
2020-04-23 Eddie Hungverific: do not assert if wire not found; warn instead
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl...
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so...
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat
2020-04-23 Claire WolfMerge pull request #1986 from YosysHQ/eddie/verific_enum
2020-04-23 Eddie Hungverific: import enum attributes from verific
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-22 Claire WolfMerge pull request #1979 from whitequark/cxxrtl-go...
2020-04-21 Marcelina Kościelnickailang, ast: Store parameter order and default value...
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 Claire WolfMerge pull request #1964 from YosysHQ/claire/sformatf
2020-04-18 Claire WolfExtend support for format strings in Verilog front-end
2020-04-18 whitequarkast, rpc: record original name of $paramod\* as \hdlnam...
2020-04-17 whitequarkMerge pull request #1955 from whitequark/cxxrtl-sync_always
2020-04-17 whitequarkMerge pull request #1952 from boqwxp/add_edge_location
2020-04-17 whitequarkMerge pull request #1951 from whitequark/rtlil-string_a...
2020-04-17 Alberto GonzalezSet Verilog source location for explicit blocks (`begin...
2020-04-17 Alberto GonzalezAdd Verilog source location information to `AST_POSEDGE...
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 #1947 from whitequark/cxxrtl-usability
2020-04-16 Alberto GonzalezAdd location information to `AST_CONSTANT` nodes.
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-16 David ShahMerge pull request #1943 from YosysHQ/dave/fix-1919
2020-04-16 Claire WolfMake mask-and-shift the default for bitselwrite
2020-04-16 Claire WolfAdd LookaheadRewriter for proper bitselwrite support
2020-04-16 David Shahast: Fix handling of identifiers in the global scope
2020-04-15 Claire WolfImproved rewrite code for writing to bit slice (disable...
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 whitequarkMerge pull request #1918 from whitequark/simplify-impro...
2020-04-15 whitequarkast/simplify: improve enum handling.
2020-04-15 Claire WolfMerge pull request #1930 from YosysHQ/claire/fix1876
2020-04-14 Claire WolfFix 5bba9c3, closes #1876
2020-04-14 whitequarkMerge pull request #1922 from whitequark/write_cxxrtl...
2020-04-14 whitequarkMerge pull request #1921 from whitequark/write_cxxrtl...
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-13 whitequarkMerge pull request #1910 from boqwxp/cleanup_ilang_parser
2020-04-13 Alberto GonzalezClean up pseudo-private member usage in `frontends...
2020-04-12 David ShahMerge pull request #1907 from YosysHQ/dave/fix-1906
2020-04-12 David Shahverilog: Fix write to deleted object
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style
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 Eddie HungMerge pull request #1881 from hzeller/only-define-stdc...
2020-04-07 Henner Zelleraigerparse: only define __STDC_FORMAT_MACROS it not...
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak...
2020-04-07 Jeff Wangduplicated enum item names should result in an error
2020-04-07 Jeff Wangsupport using previously declared types/localparams...
2020-04-06 whitequarkread_ilang: improve style. NFC.
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate
2020-04-06 whitequarkread_ilang: improve error message for overly long wires.
2020-04-06 whitequarkread_ilang: detect overflow of integer literals.
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 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
2020-04-02 Eddie Hungkernel: use more ID::*
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info
2020-04-01 Eddie HungMerge pull request #1828 from YosysHQ/eddie/celltypes_s...
2020-04-01 Eddie HungMerge pull request #1790 from YosysHQ/eddie/opt_expr_xor
2020-04-01 Eddie HungMerge pull request #1789 from YosysHQ/eddie/opt_expr_alu
2020-04-01 David ShahMerge pull request #1844 from YosysHQ/dave/gen-source-loc
2020-04-01 Eddie HungMerge pull request #1852 from boqwxp/cleanup_synth_ice40
2020-04-01 David Shahverilog: Add location info for generate constructs
2020-04-01 Eddie Hungast: cap dynamic range select to size of signal, suppre...
2020-04-01 Eddie HungMerge pull request #1849 from boqwxp/cleanup_kernel_yosys
2020-04-01 Eddie HungMerge pull request #1850 from boqwxp/cleanup_backends
2020-04-01 Claire WolfMerge pull request #1848 from YosysHQ/eddie/fix_dynslice
2020-03-31 Eddie HungMerge pull request #1761 from YosysHQ/eddie/opt_merge_s...
2020-03-31 Eddie Hungast: simplify to fully populate dynamic slicing case...
2020-03-31 Diego HReplacing log_error for log_file_error due consistency
2020-03-30 Diego HAdding error message for when size (width) of number...
2020-03-30 Eddie HungMerge pull request #1783 from boqwxp/astcc_cleanup
2020-03-30 Eddie HungMerge pull request #1835 from boqwxp/cleanup_sat_expose
2020-03-30 Eddie HungMerge pull request #1832 from boqwxp/cleanup_passes_cmd...
next