yosys.git
2020-05-19 Alberto Gonzalezsmtbmc: Fix typo in error message.
2020-05-14 Alberto Gonzalezsmtbmc: Fix return status handling.
2020-05-14 Eddie HungMerge pull request #2045 from YosysHQ/eddie/fix2042
2020-05-14 Claire WolfMerge pull request #2052 from YosysHQ/claire/verific_memfix
2020-05-14 Claire WolfMerge pull request #2050 from YosysHQ/eddie/opt_clean_fixes
2020-05-14 Claire WolfMerge pull request #2027 from YosysHQ/eddie/verilog_neg...
2020-05-14 Eddie Hungtest: add another testcase as per @nakengelhardt
2020-05-14 Claire WolfAdd support for non-power-of-two mem chunks in verific...
2020-05-14 Eddie Hungopt_clean: improve warning message
2020-05-14 Eddie Hungopt_clean: add init test
2020-05-14 Eddie Hungopt_clean: rminit without -purge; also remove if consis...
2020-05-14 Eddie Hungopt_clean: really make 'clean' identical to 'opt_clean...
2020-05-13 Eddie Hungverilog: default to input in sv mode if task/func has...
2020-05-13 Eddie Hungtests: update/extend task argument tests
2020-05-12 Eddie Hungice40: fix ICESTORM_LC process sensitivity
2020-05-12 Eddie Hungice40: fix whitespace
2020-05-12 David Shahecp5: Add missing SERDES parameters
2020-05-11 Eddie Hungverilog: error out when non-ANSI task/func arguments
2020-05-11 Eddie Hungtests: add #2042 testcase
2020-05-11 Eddie HungSetup tests/verilog properly
2020-05-08 Claire WolfMerge pull request #2038 from nakengelhardt/no-libdir...
2020-05-08 Claire WolfFix clang compiler warning
2020-05-08 whitequarkMerge pull request #2022 from Xiretza/fallthroughs
2020-05-07 Dan Ravensloftintel_alm: direct LUTRAM cell instantiation
2020-05-07 N. EngelhardtRemove yosys libdir from LDFLAGS (and fix a typo)
2020-05-07 Claire WolfMerge pull request #2005 from YosysHQ/claire/fix1990
2020-05-07 Eddie HungMerge pull request #2034 from YosysHQ/eddie/abc_remote
2020-05-07 XiretzaReorder cases to avoid fall-through warning
2020-05-07 XiretzaAdd YS_FALLTHROUGH macro to mark case fall-through
2020-05-06 Eddie HungMakefile: git fetch all commits from $(ABCURL) repo
2020-05-06 Eddie HungMerge pull request #2028 from zachjs/master
2020-05-06 Zachary Snowverilog: allow null gen-if then block
2020-05-05 Eddie Hungtechlibs/common: more robustness when *_WIDTH = 0
2020-05-05 Eddie HungMerge pull request #2025 from YosysHQ/eddie/frontend_cl...
2020-05-05 whitequarkMerge pull request #2012 from whitequark/fix-wasi-abc...
2020-05-05 Eddie HungMerge pull request #2026 from YosysHQ/eddie/scratchpad_...
2020-05-05 Eddie HungMerge pull request #2024 from YosysHQ/eddie/primitive_src
2020-05-05 Eddie HungMerge pull request #2023 from YosysHQ/eddie/specify_src
2020-05-04 Eddie Hungast: swap range regardless of range_left >= 0
2020-05-04 Eddie Hungtest: add failing test
2020-05-04 Eddie Hungsynth_ice40/ecp5/xilinx: allow abc9.W to be overridden...
2020-05-04 Eddie Hungverilog: fix specify src attribute
2020-05-04 Eddie Hungfrontend: cleanup to use more ID::*, more dict<> instea...
2020-05-04 Eddie Hungverilog: set src attribute for primitives
2020-05-04 Eddie Hungtests: add tests for primitives' src
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 whitequarkkernel: Trap in `log_error()` when a debugger is attached.
2020-05-03 Claire WolfMerge pull request #2014 from YosysHQ/claire/fixoptalu
2020-05-02 Eddie Hungtest: add test for #2014
2020-05-02 Eddie HungMerge pull request #2013 from YosysHQ/eddie/aiger_fixes
2020-05-02 Claire WolfFix the other "opt_expr -fine" bug introduced in 213a89558
2020-05-02 Claire WolfFix the other "opt_expr -fine" bug introduced in 213a89558
2020-05-02 Eddie Hungabc9_ops: -reintegrate to be sensitive to start_offset too
2020-05-02 Eddie Hungtests: aiger test for wire->start_offset != 0
2020-05-02 Eddie Hungaiger: fixes for ports that have start_offset != 0
2020-05-02 Claire WolfAdd plusargs for output files in test_autotb output
2020-05-02 Claire WolfBugfix in partsel.v signed indices test cases
2020-05-02 Claire WolfFix handling of signed indices in bit slices
2020-05-02 Claire WolfAdd tests based on the test case from #1990
2020-05-02 Claire WolfAdd AST_SELFSZ and improve handling of bit slices
2020-05-02 Claire WolfAdd "nowrshmsk" attribute, fix shift-and-mask bit slice...
2020-05-02 Claire WolfMerge pull request #2010 from YosysHQ/claire/fixopt
2020-05-02 whitequarkUpdate ABC to include WASI support fixes.
2020-05-01 whitequarkFix WASI builds with abc enabled.
2020-05-01 whitequarkMerge pull request #2001 from whitequark/wasi
2020-05-01 Eddie HungAdd testcase for #2010
2020-05-01 Claire WolfFix "opt_expr -fine" bug introduced in 213a89558
2020-05-01 Claire WolfMerge pull request #1997 from whitequark/document-ootb
2020-05-01 Claire WolfMerge pull request #1981 from YosysHQ/claire/fix1837
2020-05-01 Alberto Gonzalezfrontend: Include complete source location instead...
2020-04-30 whitequarkAdd WASI platform support.
2020-04-30 Eddie HungMerge pull request #1999 from YosysHQ/eddie/verific_enu...
2020-04-30 whitequarkMerge pull request #2008 from whitequark/editorconfig-abc
2020-04-30 Eddie Hungverific: ignore anonymous enums
2020-04-30 whitequarkFix .editorconfig to not break abc.
2020-04-27 Eddie Hungverific: support VHDL enums too
2020-04-27 Eddie HungMerge pull request #1946 from YosysHQ/eddie/yosyshq_abc
2020-04-27 Eddie HungUpdate CHANGELOG and manual for departure from upstream
2020-04-27 Eddie Hungabc: use YosysHQ/abc instead of upstream berkeley-abc/abc
2020-04-27 Eddie HungMerge pull request #1992 from YosysHQ/eddie/bugpoint_help
2020-04-27 Eddie Hungverific: recover wiretype/enum attr as part of import_a...
2020-04-25 whitequarkMerge pull request #2002 from YosysHQ/dave/cxxrtl-width
2020-04-25 David Shahcxxrtl: Round up constant width
2020-04-24 whitequarkREADME: explain how to do out-of-tree builds.
2020-04-24 whitequarkFix out-of-tree builds configured as `SMALL := 1`.
2020-04-24 whitequarkgowin,ecp5: remove generated files in `make clean`.
2020-04-24 whitequarkMerge pull request #1998 from whitequark/cxxrtl-fixes
2020-04-24 Eddie Hungbugpoint: improve messaging
2020-04-24 Eddie Hungbugpoint: (* keep *) to (* bugpoint_keep *); also apply...
2020-04-24 Eddie HungRevert "verific: import enum attributes from verific"
2020-04-24 whitequarkcxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.`
2020-04-24 Eddie Hungbugpoint: skip ports with (* keep *) on; add header
2020-04-24 Claire WolfMerge pull request #1995 from YosysHQ/eddie/fix_verific...
2020-04-24 Dan Ravensloftintel_alm: cleanup duplication
2020-04-24 whitequarkcxxrtl: improve printing of narrow memories.
2020-04-24 whitequarkcxxrtl: fix handling of parametric modules with large...
2020-04-23 Eddie Hungverific: do not assert if wire not found; warn instead
2020-04-23 Eddie Hungbugpoint: improve help text
2020-04-23 Eddie HungMerge pull request #1974 from YosysHQ/eddie/abc9_disabl...
next