projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
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-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-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
2020-04-21
Marcelina Kościelnicka
write_json: dump default parameter values
commit
|
commitdiff
|
tree
2020-04-21
Marcelina Kościelnicka
Use default parameter value in getParam
commit
|
commitdiff
|
tree
2020-04-21
Marcelina Kościelnicka
hierarchy: Convert positional parameters to named.
commit
|
commitdiff
|
tree
2020-04-21
Marcelina Kościelnicka
ilang, ast: Store parameter order and default value...
commit
|
commitdiff
|
tree
2020-04-21
Marcelina Kościelnicka
idict: Make iterator go forward.
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Merge pull request #1971 from YosysHQ/claire/edifkeep
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Merge pull request #1851 from YosysHQ/claire/bitselwrite
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: use one delta cycle for immediately converging...
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: add -O6, a shortcut for running `proc; flatten`.
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: unbuffer module input wires.
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: simplify generated edge detection logic.
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: localize wires with multiple comb drivers,...
commit
|
commitdiff
|
tree
2020-04-21
whitequark
cxxrtl: detect buffered comb wires, not just feedback...
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Add '=' selection pattern prefix for non-blackbox only...
commit
|
commitdiff
|
tree
2020-04-21
Claire Wolf
Improve net priorities in EDIF back-end
commit
|
commitdiff
|
tree
2020-04-21
David Shah
sim: Fix handling of constant-connected cell inputs...
commit
|
commitdiff
|
tree
2020-04-21
whitequark
Merge pull request #1961 from whitequark/paramod-origin...
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
tests: remove write_ilang
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Merge pull request #1975 from dh73/claire/bitselwrite
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Remove '-ignore_unknown_cells' option from 'sat'
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Simplify test case script
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Remove ununsed files
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
Merge pull request #1972 from YosysHQ/eddie/bug1970
commit
|
commitdiff
|
tree
2020-04-20
Eddie Hung
abc9: tolerate ABC nonzero exit code if output.aig...
commit
|
commitdiff
|
tree
next