projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-08-20
Noah Moroze
Ensure smt2 comments are associated with accessors
commit
|
commitdiff
|
tree
2020-08-19
clairexen
Merge pull request #2122 from PeterCrozier/struct_array2
commit
|
commitdiff
|
tree
2020-08-19
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-18
Xiretza
Ensure \A_SIGNED is never used with $shiftx
commit
|
commitdiff
|
tree
2020-08-18
Xiretza
Respect \A_SIGNED for $shift
commit
|
commitdiff
|
tree
2020-08-18
N. Engelhardt
include both power-of-two and non-power-of-two testcases
commit
|
commitdiff
|
tree
2020-08-18
clairexen
Merge pull request #2339 from zachjs/display-format-0s
commit
|
commitdiff
|
tree
2020-08-18
clairexen
Merge pull request #2338 from zachjs/const-branch-finish
commit
|
commitdiff
|
tree
2020-08-18
clairexen
Merge pull request #2317 from zachjs/expand-genblock
commit
|
commitdiff
|
tree
2020-08-18
Claire Wolf
Merge branch 'zachjs-const-func-block-var'
commit
|
commitdiff
|
tree
2020-08-18
Claire Wolf
Merge branch 'const-func-block-var' of https://github...
commit
|
commitdiff
|
tree
2020-08-18
clairexen
Merge pull request #2281 from zachjs/const-real
commit
|
commitdiff
|
tree
2020-08-14
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-13
Dan Ravensloft
intel_alm: fix typo in MISTRAL_MUL27X27 cell name
commit
|
commitdiff
|
tree
2020-08-13
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-12
whitequark
Merge pull request #2340 from andy-knowles/cxxrtl-fix...
commit
|
commitdiff
|
tree
2020-08-12
Andy Knowles
cxxrtl.h: Fix incorrect CarryOut in alu()
commit
|
commitdiff
|
tree
2020-08-12
Dan Ravensloft
intel_alm: add more megafunctions. NFC.
commit
|
commitdiff
|
tree
2020-08-12
Andy Knowles
cxxrtl.h: Fix incorrect CarryOut in alu when Bits ...
commit
|
commitdiff
|
tree
2020-08-10
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-09
Zachary Snow
Propagate const_fold through generate blocks and branches
commit
|
commitdiff
|
tree
2020-08-09
Zachary Snow
Allow %0s $display format specifier
commit
|
commitdiff
|
tree
2020-08-07
Marcelina Kościelnicka
Replace opt_rmdff with opt_dff.
commit
|
commitdiff
|
tree
2020-08-01
Zachary Snow
Fix generate scoping issues
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
Allow blocks with declarations within constant functions
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-20
Zachary Snow
Allow reals as constant function parameters
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
next