projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
aiger: -xaiger to return $_FF_ flops
[yosys.git] / frontends /
2020-05-14 Eddie Hungaiger: -xaiger to return $_FF_ flops tree | commitdiff
2020-05-14 Eddie Hungaiger/xaiger: use odd for negedge clk, even for posedge tree | commitdiff
2020-05-14 Eddie Hungaiger: -xaiger to parse initial state back into (*... tree | commitdiff
2020-05-14 Eddie Hungaiger: -xaiger to read $_DFF_[NP]_ back with new clocks... tree | commitdiff
2020-05-14 Eddie HungMerge pull request #2045 from YosysHQ/eddie/fix2042 tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2052 from YosysHQ/claire/verific_memfix tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2050 from YosysHQ/eddie/opt_clean_fixes tree | commitdiff
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg... tree | commitdiff
2020-05-14 Claire WolfAdd support for non-power-of-two mem chunks in verific... tree | commitdiff
2020-05-13 Eddie Hungverilog: default to input in sv mode if task/func has... tree | commitdiff
2020-05-11 Eddie Hungverilog: error out when non-ANSI task/func arguments tree | commitdiff
2020-05-08 Claire WolfMerge pull request #2038 from nakengelhardt/no-libdir... tree | commitdiff
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs tree | commitdiff
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990 tree | commitdiff
2020-05-07 Eddie HungMerge pull request #2034 from YosysHQ/eddie/abc_remote tree | commitdiff
2020-05-07 XiretzaAdd YS_FALLTHROUGH macro to mark case fall-through tree | commitdiff
2020-05-06 Eddie HungMerge pull request #2028 from zachjs/master tree | commitdiff
2020-05-06 Zachary Snowverilog: allow null gen-if then block tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2025 from YosysHQ/eddie/frontend_cl... tree | commitdiff
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc... tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2026 from YosysHQ/eddie/scratchpad_... tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2024 from YosysHQ/eddie/primitive_src tree | commitdiff
2020-05-05 Eddie HungMerge pull request #2023 from YosysHQ/eddie/specify_src tree | commitdiff
2020-05-04 Eddie Hungast: swap range regardless of range_left >= 0 tree | commitdiff
2020-05-04 Eddie Hungverilog: fix specify src attribute tree | commitdiff
2020-05-04 Eddie Hungfrontend: cleanup to use more ID::*, more dict<> instea... tree | commitdiff
2020-05-04 Eddie Hungverilog: set src attribute for primitives tree | commitdiff
2020-05-04 Eddie HungMerge pull request #1996 from boqwxp/rtlil_source_locations tree | commitdiff
2020-05-03 whitequarkMerge pull request #2000 from whitequark/log_error... tree | commitdiff
2020-05-03 Claire WolfMerge pull request #2014 from YosysHQ/claire/fixoptalu tree | commitdiff
2020-05-02 Eddie HungMerge pull request #2013 from YosysHQ/eddie/aiger_fixes tree | commitdiff
2020-05-02 Eddie Hungaiger: fixes for ports that have start_offset != 0 tree | commitdiff
2020-05-02 Claire WolfFix handling of signed indices in bit slices tree | commitdiff
2020-05-02 Claire WolfAdd AST_SELFSZ and improve handling of bit slices tree | commitdiff
2020-05-02 Claire WolfAdd "nowrshmsk" attribute, fix shift-and-mask bit slice... tree | commitdiff
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt tree | commitdiff
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1997 from whitequark/document-ootb tree | commitdiff
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837 tree | commitdiff
2020-05-01 Alberto Gonzalezfrontend: Include complete source location instead... tree | commitdiff
2020-04-30 whitequarkAdd WASI platform support. tree | commitdiff
2020-04-30 Eddie HungMerge pull request #1999 from YosysHQ/eddie/verific_enu... tree | commitdiff
2020-04-30 Eddie Hungverific: ignore anonymous enums tree | commitdiff
2020-04-27 Eddie Hungverific: support VHDL enums too tree | commitdiff
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help tree | commitdiff
2020-04-27 Eddie Hungverific: recover wiretype/enum attr as part of import_a... tree | commitdiff
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes tree | commitdiff
2020-04-24 Eddie HungRevert "verific: import enum attributes from verific" tree | commitdiff
2020-04-24 Claire WolfMerge pull request #1995 from YosysHQ/eddie/fix_verific... tree | commitdiff
2020-04-23 Eddie Hungverific: do not assert if wire not found; warn instead tree | commitdiff
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1989 from boqwxp/qbfsat_anyconst_so... tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1988 from boqwxp/qbfsat tree | commitdiff
2020-04-23 Claire WolfMerge pull request #1986 from YosysHQ/eddie/verific_enum tree | commitdiff
2020-04-23 Eddie Hungverific: import enum attributes from verific tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1949 from YosysHQ/eddie/select_blackbox tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1969 from boqwxp/pool_emplace tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1973 from YosysHQ/eddie/fix1966 tree | commitdiff
2020-04-22 Eddie HungMerge pull request #1950 from YosysHQ/eddie/design_import tree | commitdiff
2020-04-22 Claire WolfMerge pull request #1976 from YosysHQ/dave/fix-sim... tree | commitdiff
2020-04-22 Claire WolfMerge pull request #1979 from whitequark/cxxrtl-go... tree | commitdiff
2020-04-22 Claire WolfClear current_scope when done with RTLIL generation... tree | commitdiff
2020-04-21 Marcelina Kościelnickailang, ast: Store parameter order and default value... tree | commitdiff
2020-04-21 Claire WolfMerge pull request #1971 from YosysHQ/claire/edifkeep tree | commitdiff
2020-04-21 Claire WolfMerge pull request #1851 from YosysHQ/claire/bitselwrite tree | commitdiff
2020-04-21 whitequarkMerge pull request #1961 from whitequark/paramod-origin... tree | commitdiff
2020-04-20 Claire WolfMerge pull request #1964 from YosysHQ/claire/sformatf tree | commitdiff
2020-04-18 Claire WolfExtend support for format strings in Verilog front-end tree | commitdiff
2020-04-18 whitequarkast, rpc: record original name of $paramod\* as \hdlnam... tree | commitdiff
2020-04-17 whitequarkMerge pull request #1955 from whitequark/cxxrtl-sync_always tree | commitdiff
2020-04-17 whitequarkMerge pull request #1952 from boqwxp/add_edge_location tree | commitdiff
2020-04-17 whitequarkMerge pull request #1951 from whitequark/rtlil-string_a... tree | commitdiff
2020-04-17 Alberto GonzalezSet Verilog source location for explicit blocks (`begin... tree | commitdiff
2020-04-17 Alberto GonzalezAdd Verilog source location information to `AST_POSEDGE... tree | commitdiff
2020-04-17 whitequarkMerge pull request #1898 from boqwxp/locations tree | commitdiff
2020-04-17 whitequarkMerge pull request #1864 from boqwxp/cleanup_techmap_abc tree | commitdiff
2020-04-16 whitequarkMerge pull request #1947 from whitequark/cxxrtl-usability tree | commitdiff
2020-04-16 Alberto GonzalezAdd location information to `AST_CONSTANT` nodes. tree | commitdiff
2020-04-16 whitequarkMerge pull request #1896 from boqwxp/read_stdin_repl tree | commitdiff
2020-04-16 Claire WolfMerge pull request #1797 from epfl-vlsc/firrtl_backend_... tree | commitdiff
2020-04-16 Eddie HungMerge pull request #1927 from YosysHQ/eddie/design_remo... tree | commitdiff
2020-04-16 whitequarkMerge pull request #1915 from boqwxp/dict_move_semantics tree | commitdiff
2020-04-16 whitequarkMerge pull request #1900 from Xiretza/suppress-makefile... tree | commitdiff
2020-04-16 whitequarkMerge pull request #1937 from hzeller/consexpr-opportunity tree | commitdiff
2020-04-16 David ShahMerge pull request #1943 from YosysHQ/dave/fix-1919 tree | commitdiff
2020-04-16 Claire WolfMake mask-and-shift the default for bitselwrite tree | commitdiff
2020-04-16 Claire WolfAdd LookaheadRewriter for proper bitselwrite support tree | commitdiff
2020-04-16 David Shahast: Fix handling of identifiers in the global scope tree | commitdiff
2020-04-15 Claire WolfImproved rewrite code for writing to bit slice (disable... tree | commitdiff
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix tree | commitdiff
2020-04-15 Eddie HungMerge pull request #1916 from YosysHQ/eddie/kernel_make... tree | commitdiff
2020-04-15 Eddie HungMerge pull request #1933 from YosysHQ/eddie/zinit_more tree | commitdiff
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat tree | commitdiff
2020-04-15 David ShahMerge pull request #1897 from YosysHQ/dave/bram-rejecti... tree | commitdiff
2020-04-15 whitequarkMerge pull request #1918 from whitequark/simplify-impro... tree | commitdiff
2020-04-15 whitequarkast/simplify: improve enum handling. tree | commitdiff
2020-04-15 Claire WolfMerge pull request #1930 from YosysHQ/claire/fix1876 tree | commitdiff
2020-04-14 Claire WolfFix 5bba9c3, closes #1876 tree | commitdiff
2020-04-14 whitequarkMerge pull request #1922 from whitequark/write_cxxrtl... tree | commitdiff
2020-04-14 whitequarkMerge pull request #1921 from whitequark/write_cxxrtl... tree | commitdiff
next