projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-05-23
Alberto Gonzalez
qbfsat: Remove cruft inadvertently left untouched in...
commit
|
commitdiff
|
tree
2020-05-23
Alberto Gonzalez
qbfsat: Add bisection mode and make it the default.
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2025 from YosysHQ/eddie/frontend_cl...
commit
|
commitdiff
|
tree
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2026 from YosysHQ/eddie/scratchpad_...
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2024 from YosysHQ/eddie/primitive_src
commit
|
commitdiff
|
tree
2020-05-05
Eddie Hung
Merge pull request #2023 from YosysHQ/eddie/specify_src
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
synth_ice40/ecp5/xilinx: allow abc9.W to be overridden...
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
verilog: fix specify src attribute
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
frontend: cleanup to use more ID::*, more dict<> instea...
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
verilog: set src attribute for primitives
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
tests: add tests for primitives' src
commit
|
commitdiff
|
tree
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
commit
|
commitdiff
|
tree
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
commit
|
commitdiff
|
tree
2020-05-03
whitequark
kernel: Trap in `log_error()` when a debugger is attached.
commit
|
commitdiff
|
tree
2020-05-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
test: add test for #2014
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Fix the other "opt_expr -fine" bug introduced in 213a89558
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
abc9_ops: -reintegrate to be sensitive to start_offset too
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
tests: aiger test for wire->start_offset != 0
commit
|
commitdiff
|
tree
2020-05-02
Eddie Hung
aiger: fixes for ports that have start_offset != 0
commit
|
commitdiff
|
tree
2020-05-02
Claire Wolf
Merge pull request #2010 from YosysHQ/claire/fixopt
commit
|
commitdiff
|
tree
2020-05-02
whitequark
Update ABC to include WASI support fixes.
commit
|
commitdiff
|
tree
2020-05-01
whitequark
Fix WASI builds with abc enabled.
commit
|
commitdiff
|
tree
2020-05-01
whitequark
Merge pull request #2001 from whitequark/wasi
commit
|
commitdiff
|
tree
2020-05-01
Eddie Hung
Add testcase for #2010
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Fix "opt_expr -fine" bug introduced in 213a89558
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Merge pull request #1997 from whitequark/document-ootb
commit
|
commitdiff
|
tree
2020-05-01
Claire Wolf
Merge pull request #1981 from YosysHQ/claire/fix1837
commit
|
commitdiff
|
tree
2020-05-01
Alberto Gonzalez
frontend: Include complete source location instead...
commit
|
commitdiff
|
tree
2020-04-30
whitequark
Add WASI platform support.
commit
|
commitdiff
|
tree
2020-04-30
Eddie Hung
Merge pull request #1999 from YosysHQ/eddie/verific_enu...
commit
|
commitdiff
|
tree
2020-04-30
whitequark
Merge pull request #2008 from whitequark/editorconfig-abc
commit
|
commitdiff
|
tree
2020-04-30
Eddie Hung
verific: ignore anonymous enums
commit
|
commitdiff
|
tree
2020-04-30
whitequark
Fix .editorconfig to not break abc.
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
verific: support VHDL enums too
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Merge pull request #1946 from YosysHQ/eddie/yosyshq_abc
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Update CHANGELOG and manual for departure from upstream
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
abc: use YosysHQ/abc instead of upstream berkeley-abc/abc
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
Merge pull request #1992 from YosysHQ/eddie/bugpoint_help
commit
|
commitdiff
|
tree
2020-04-27
Eddie Hung
verific: recover wiretype/enum attr as part of import_a...
commit
|
commitdiff
|
tree
2020-04-25
whitequark
Merge pull request #2002 from YosysHQ/dave/cxxrtl-width
commit
|
commitdiff
|
tree
2020-04-25
David Shah
cxxrtl: Round up constant width
commit
|
commitdiff
|
tree
2020-04-24
whitequark
README: explain how to do out-of-tree builds.
commit
|
commitdiff
|
tree
2020-04-24
whitequark
Fix out-of-tree builds configured as `SMALL := 1`.
commit
|
commitdiff
|
tree
2020-04-24
whitequark
gowin,ecp5: remove generated files in `make clean`.
commit
|
commitdiff
|
tree
2020-04-24
whitequark
Merge pull request #1998 from whitequark/cxxrtl-fixes
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
bugpoint: improve messaging
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
bugpoint: (* keep *) to (* bugpoint_keep *); also apply...
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
Revert "verific: import enum attributes from verific"
commit
|
commitdiff
|
tree
2020-04-24
whitequark
cxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.`
commit
|
commitdiff
|
tree
2020-04-24
Eddie Hung
bugpoint: skip ports with (* keep *) on; add header
commit
|
commitdiff
|
tree
2020-04-24
Claire Wolf
Merge pull request #1995 from YosysHQ/eddie/fix_verific...
commit
|
commitdiff
|
tree
2020-04-24
Dan Ravensloft
intel_alm: cleanup duplication
commit
|
commitdiff
|
tree
2020-04-24
whitequark
cxxrtl: improve printing of narrow memories.
commit
|
commitdiff
|
tree
2020-04-24
whitequark
cxxrtl: fix handling of parametric modules with large...
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
verific: do not assert if wire not found; warn instead
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
bugpoint: improve help text
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
Merge pull request #1974 from YosysHQ/eddie/abc9_disabl...
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1989 from boqwxp/qbfsat_anyconst_so...
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1988 from boqwxp/qbfsat
commit
|
commitdiff
|
tree
2020-04-23
Claire Wolf
Merge pull request #1986 from YosysHQ/eddie/verific_enum
commit
|
commitdiff
|
tree
2020-04-23
Dan Ravensloft
intel_alm: work around a Quartus ICE
commit
|
commitdiff
|
tree
2020-04-23
Alberto Gonzalez
qbfsat: Make hole name recovery more robust. Allow...
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
Merge pull request #1984 from YosysHQ/eddie/getParam_ex...
commit
|
commitdiff
|
tree
2020-04-23
Alberto Gonzalez
qbfsat: Add `-assume-negative-polarity` option.
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
ecp5: ecp5_gsr to skip cells that don't have GSR parame...
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
tests: read +/xilinx/cell_sim.v before xilinx_dsp test
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
xilinx: xilinx_dsp_cascade to check CREG for DSP48E1...
commit
|
commitdiff
|
tree
2020-04-23
Eddie Hung
verific: import enum attributes from verific
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
test: ice40_dsp test to read +/ice40/cells_sim.v for...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
xilinx: improve xilinx_dffopt message
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
xilinx: xilinx_dffopt to read cells_sim.v; fix test
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
kernel: Cell::getParam() to throw exception again if...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1949 from YosysHQ/eddie/select_blackbox
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1983 from YosysHQ/eddie/use_default...
commit
|
commitdiff
|
tree
2020-04-22
whitequark
Merge pull request #1982 from AsuMagic/asu/cxxrtl-memor...
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Update passes/cmds/select.cc
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1969 from boqwxp/pool_emplace
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Cleanup use of hard-coded default parameters in light...
commit
|
commitdiff
|
tree
2020-04-22
Asu
cxxrtl: keep the memory write queue sorted on insertion.
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1973 from YosysHQ/eddie/fix1966
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
tests: update select black/white-box tests
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
select: do not select black/white boxes by default...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
Merge pull request #1950 from YosysHQ/eddie/design_import
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
yosys-config: spelling
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
tests: use `yosys-config --datdir` instead of hard...
commit
|
commitdiff
|
tree
2020-04-22
Eddie Hung
pool: add emplace() function
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Merge pull request #1976 from YosysHQ/dave/fix-sim...
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Merge pull request #1979 from whitequark/cxxrtl-go...
commit
|
commitdiff
|
tree
2020-04-22
Claire Wolf
Clear current_scope when done with RTLIL generation...
commit
|
commitdiff
|
tree
2020-04-22
whitequark
cxxrtl: run edge detectors only once in eval().
commit
|
commitdiff
|
tree
2020-04-22
whitequark
cxxrtl: add an unsupported knob for manipulating clock...
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: use log_id() where appropriate. NFC.
commit
|
commitdiff
|
tree
2020-04-21
Marcelina KoĆcielnicka
bugpoint: Don't remove modules or cells while iterating...
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black...
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC.
commit
|
commitdiff
|
tree
2020-04-21
Dan Ravensloft
intel_alm: Documentation improvements
commit
|
commitdiff
|
tree
2020-04-21
Alberto Gonzalez
kernel: Rename arguments to rvalue-reference-accepting...
commit
|
commitdiff
|
tree
next