projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-08-07
Marcelina Kościelnicka
peepopt: Remove now-redundant dffmux pattern.
commit
|
commitdiff
|
tree
2020-08-07
Marcelina Kościelnicka
Remove now-redundant opt_rmdff pass.
commit
|
commitdiff
|
tree
2020-08-07
Marcelina Kościelnicka
Replace opt_rmdff with opt_dff.
commit
|
commitdiff
|
tree
2020-07-31
Claire Wolf
Bump YOSYS_VER
commit
|
commitdiff
|
tree
2020-07-30
Marcelina Kościelnicka
Add dffunmap pass.
commit
|
commitdiff
|
tree
2020-07-30
Marcelina Kościelnicka
opt_expr: Remove -clkinv option, make it the default.
commit
|
commitdiff
|
tree
2020-07-30
Marcelina Kościelnicka
synth_ice40: Use opt_dff.
commit
|
commitdiff
|
tree
2020-07-30
Marcelina Kościelnicka
synth_xilinx: Use opt_dff.
commit
|
commitdiff
|
tree
2020-07-30
Marcelina Kościelnicka
async2sync: Support all FF types.
commit
|
commitdiff
|
tree
2020-07-30
Marcelina Kościelnicka
Add opt_dff pass.
commit
|
commitdiff
|
tree
2020-07-30
Marcelina Kościelnicka
verilog_backend: Add handling for all FF types.
commit
|
commitdiff
|
tree
2020-07-29
Miodrag Milanović
Merge pull request #2314 from YosysHQ/verifix_errorfix
commit
|
commitdiff
|
tree
2020-07-29
Miodrag Milanovic
Clear last error message
commit
|
commitdiff
|
tree
2020-07-29
Marcelina Kościelnicka
opt_expr: Fix handling of $_XNOR_ cells with A = B.
commit
|
commitdiff
|
tree
2020-07-28
Marcelina Kościelnicka
ffinit: Fortify the code a bit.
commit
|
commitdiff
|
tree
2020-07-28
clairexen
Merge pull request #2301 from zachjs/for-loop-errors
commit
|
commitdiff
|
tree
2020-07-28
clairexen
Merge pull request #2306 from YosysHQ/mwk/equiv_induct...
commit
|
commitdiff
|
tree
2020-07-27
Marcelina Kościelnicka
equiv_induct: Fix up assumption for $equiv cells in...
commit
|
commitdiff
|
tree
2020-07-27
Dan Ravensloft
intel_alm: direct M10K instantiation
commit
|
commitdiff
|
tree
2020-07-26
Dan Ravensloft
intel_alm: increase abc9 -W
commit
|
commitdiff
|
tree
2020-07-26
clairexen
Merge pull request #2299 from zachjs/arg-loop
commit
|
commitdiff
|
tree
2020-07-25
Zachary Snow
Clearer for loop error messages
commit
|
commitdiff
|
tree
2020-07-25
Zachary Snow
Avoid generating wires for function args which are...
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
async2sync: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
memory_dff: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
proc_dlatch: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
pmux2shift: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
wreduce: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
techmap: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
shregmap: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
abc: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
dffinit: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
zinit: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
dfflegalize: Refactor to use FfInitVals.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
clk2fflogic: Support all FF types.
commit
|
commitdiff
|
tree
2020-07-24
Marcelina Kościelnicka
satgen: Add support for dffe, sdff, sdffe, sdffce cells.
commit
|
commitdiff
|
tree
2020-07-23
Marcelina Kościelnicka
Add utility module for representing flip-flops.
commit
|
commitdiff
|
tree
2020-07-23
Marcelina Kościelnicka
memory_dff: recognize more dff cells
commit
|
commitdiff
|
tree
2020-07-23
Marcelina Kościelnicka
Add utility module for dealing with init attributes.
commit
|
commitdiff
|
tree
2020-07-23
clairexen
Merge pull request #2285 from YosysHQ/mwk/techmap-cellname
commit
|
commitdiff
|
tree
2020-07-23
clairexen
Merge pull request #2294 from Ravenslofty/intel_alm_timings
commit
|
commitdiff
|
tree
2020-07-23
Dan Ravensloft
intel_alm: add additional ABC9 timings
commit
|
commitdiff
|
tree
2020-07-22
Keith Rothman
Remove EXPLICIT_CARRY logic.
commit
|
commitdiff
|
tree
2020-07-21
Marcelina Kościelnicka
techmap: Add _TECHMAP_CELLNAME_ special parameter.
commit
|
commitdiff
|
tree
2020-07-21
clairexen
Merge pull request #2215 from boqwxp/qbfsat-solver...
commit
|
commitdiff
|
tree
2020-07-20
Alberto Gonzalez
smtio: Emit `mode: start` options before `set-logic...
commit
|
commitdiff
|
tree
2020-07-20
Alberto Gonzalez
smtio: Add support for parsing `yosys-smt2-solver-optio...
commit
|
commitdiff
|
tree
2020-07-20
Alberto Gonzalez
qbfsat: Add `-solver-option` option.
commit
|
commitdiff
|
tree
2020-07-20
Alberto Gonzalez
smt2: Add `-solver-option` option.
commit
|
commitdiff
|
tree
2020-07-20
clairexen
Merge pull request #2282 from YosysHQ/claire/satunsat
commit
|
commitdiff
|
tree
2020-07-20
Marcelina Kościelnicka
celltypes: Fix EN port name for some FF types.
commit
|
commitdiff
|
tree
2020-07-20
Claire Wolf
Only allow "sat" and "unsat" smt solver responses in...
commit
|
commitdiff
|
tree
2020-07-20
clairexen
Merge pull request #2276 from YosysHQ/mwk/satgen-cc
commit
|
commitdiff
|
tree
2020-07-18
Marcelina Kościelnicka
satgen: Move importCell out of the header.
commit
|
commitdiff
|
tree
2020-07-17
Miodrag Milanović
Merge pull request #2275 from YosysHQ/mwk/sf2-clkint-fix
commit
|
commitdiff
|
tree
2020-07-17
Marcelina Kościelnicka
sf2: Emit CLKINT even if -clkbuf not passed
commit
|
commitdiff
|
tree
2020-07-17
Miodrag Milanović
Merge pull request #2274 from YosysHQ/mwk/anlogic-ff-fix
commit
|
commitdiff
|
tree
2020-07-17
Marcelina Kościelnicka
anlogic: Fix FF mapping.
commit
|
commitdiff
|
tree
2020-07-16
clairexen
Merge pull request #2229 from Ravenslofty/sf2_remove_sf...
commit
|
commitdiff
|
tree
2020-07-16
clairexen
Merge pull request #2273 from whitequark/write-verilog...
commit
|
commitdiff
|
tree
2020-07-16
clairexen
Merge pull request #2272 from whitequark/write-verilog-sv
commit
|
commitdiff
|
tree
2020-07-16
Miodrag Milanović
Merge pull request #2238 from YosysHQ/mwk/dfflegalize...
commit
|
commitdiff
|
tree
2020-07-16
Miodrag Milanović
Merge pull request #2226 from YosysHQ/mwk/nuke-efinix...
commit
|
commitdiff
|
tree
2020-07-16
whitequark
verilog_backend: in non-SV mode, add a trigger for...
commit
|
commitdiff
|
tree
2020-07-16
whitequark
verilog_backend: add `-sv` option, make `-o <filename...
commit
|
commitdiff
|
tree
2020-07-16
whitequark
Merge pull request #2270 from whitequark/cxxrtl-fix...
commit
|
commitdiff
|
tree
2020-07-15
whitequark
Merge pull request #2269 from YosysHQ/claire/bisonwall
commit
|
commitdiff
|
tree
2020-07-15
Claire Wolf
Treat all bison warnings as errors in verilog front-end
commit
|
commitdiff
|
tree
2020-07-15
Claire Wolf
Use %precedence in verilog_parser.y
commit
|
commitdiff
|
tree
2020-07-15
Claire Wolf
Fix bison warnings for missing %empty
commit
|
commitdiff
|
tree
2020-07-15
Claire Wolf
Run bison with -Wall for verilog front-end
commit
|
commitdiff
|
tree
2020-07-15
clairexen
Merge pull request #2257 from antmicro/fix-conflicts
commit
|
commitdiff
|
tree
2020-07-15
Kamil Rakoczy
Add missing semicolons
commit
|
commitdiff
|
tree
2020-07-15
Marcelina Kościelnicka
opt_merge: Dedup one more use of FF cell type list.
commit
|
commitdiff
|
tree
2020-07-14
Marcelina Kościelnicka
achronix: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-14
whitequark
cxxrtl: fix typo. NFC.
commit
|
commitdiff
|
tree
2020-07-14
Marcelina Kościelnicka
anlogic: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-13
Marcelina Kościelnicka
intel: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-13
Lofty
Revert "intel_alm: direct M10K instantiation"
commit
|
commitdiff
|
tree
2020-07-13
whitequark
Merge pull request #2263 from whitequark/cxxrtl-capi...
commit
|
commitdiff
|
tree
2020-07-12
whitequark
cxxrtl: expose eval() and commit() via the C API.
commit
|
commitdiff
|
tree
2020-07-12
Marcelina Kościelnicka
xilinx: Fix srl regression.
commit
|
commitdiff
|
tree
2020-07-12
Marcelina Kościelnicka
proc_dlatch: Remove init values for combinatorial proce...
commit
|
commitdiff
|
tree
2020-07-12
Marcelina Kościelnicka
dfflegalize: Gather init values from all wires.
commit
|
commitdiff
|
tree
2020-07-10
clairexen
Merge pull request #2256 from YosysHQ/claire/fix2241
commit
|
commitdiff
|
tree
2020-07-10
Claire Wolf
Add AST_EDGE support to AstNode::detect_latch(), fixes...
commit
|
commitdiff
|
tree
2020-07-10
Kamil Rakoczy
Fix S/R conflicts
commit
|
commitdiff
|
tree
2020-07-10
Kamil Rakoczy
Fix R/R conflicts
commit
|
commitdiff
|
tree
2020-07-10
Kamil Rakoczy
Revert "Revert PRs #2203 and #2244."
commit
|
commitdiff
|
tree
2020-07-09
Dan Ravensloft
sf2: replace sf2_iobs with {clkbuf,iopad}map
commit
|
commitdiff
|
tree
2020-07-09
whitequark
Merge pull request #2255 from whitequark/bison-Werror...
commit
|
commitdiff
|
tree
2020-07-09
whitequark
Merge pull request #2254 from whitequark/cxxrtl-extern-c
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
sf2: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-09
whitequark
verilog_parser: turn S/R and R/R conflicts into hard...
commit
|
commitdiff
|
tree
2020-07-09
whitequark
Revert PRs #2203 and #2244.
commit
|
commitdiff
|
tree
2020-07-09
whitequark
cxxrtl: add missing extern "C".
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
xilinx: Use dfflegalize.
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
dfflibmap: Refactor to use dfflegalize internally.
commit
|
commitdiff
|
tree
2020-07-09
Lucas Castro
Fix issue #2251 (#2252)
commit
|
commitdiff
|
tree
2020-07-09
Marcelina Kościelnicka
clkbufmap: improve input pad handling.
commit
|
commitdiff
|
tree
next