projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-09-02
whitequark
cxxrtl: fix typo in comment. NFC.
commit
|
commitdiff
|
tree
2020-09-02
whitequark
cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation...
commit
|
commitdiff
|
tree
2020-09-02
Miodrag Milanovic
Use latest verific
commit
|
commitdiff
|
tree
2020-09-02
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2352 from zachjs/const-func-localparam
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2366 from zachjs/library-format
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2353 from zachjs/top-scope
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2365 from zachjs/const-arg-loop...
commit
|
commitdiff
|
tree
2020-09-01
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-31
Miodrag Milanovic
Reorder to prevent crash
commit
|
commitdiff
|
tree
2020-08-31
clairexen
Merge pull request #2368 from YosysHQ/verific_portrange
commit
|
commitdiff
|
tree
2020-08-30
Miodrag Milanovic
ast recognize lower case x and z and verific gives...
commit
|
commitdiff
|
tree
2020-08-30
Miodrag Milanovic
Do not check for 1 and 0 only
commit
|
commitdiff
|
tree
2020-08-30
Miodrag Milanovic
Fix import of VHDL enums
commit
|
commitdiff
|
tree
2020-08-30
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-29
whitequark
write_smt2: fix SMT-LIB tutorial URL
commit
|
commitdiff
|
tree
2020-08-29
Zachary Snow
Simple support for %l format specifier
commit
|
commitdiff
|
tree
2020-08-29
Zachary Snow
Fix constant args used with function ports split across...
commit
|
commitdiff
|
tree
2020-08-29
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-28
Dan Ravensloft
intel_alm: better map wide but shallow multiplies
commit
|
commitdiff
|
tree
2020-08-28
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-27
Miodrag Milanović
Merge pull request #2364 from whitequark/manual-typo
commit
|
commitdiff
|
tree
2020-08-27
whitequark
manual: fix typo.
commit
|
commitdiff
|
tree
2020-08-27
whitequark
Merge pull request #2357 from whitequark/cxxflags-MP
commit
|
commitdiff
|
tree
2020-08-27
whitequark
Merge pull request #2356 from whitequark/flatten-techma...
commit
|
commitdiff
|
tree
2020-08-27
whitequark
Merge pull request #2358 from whitequark/rename-ilang...
commit
|
commitdiff
|
tree
2020-08-27
Marcelina Kościelnicka
dfflegalize: Fix decision tree for adffe.
commit
|
commitdiff
|
tree
2020-08-27
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-26
Dan Ravensloft
intel_alm: Add multiply signedness to cells
commit
|
commitdiff
|
tree
2020-08-26
whitequark
Replace "ILANG" with "RTLIL" everywhere.
commit
|
commitdiff
|
tree
2020-08-26
whitequark
Add -MP to CXXFLAGS.
commit
|
commitdiff
|
tree
2020-08-26
whitequark
flatten, techmap: don't canonicalize tpl driven bits...
commit
|
commitdiff
|
tree
2020-08-26
Miodrag Milanović
Merge pull request #2355 from YosysHQ/verific_improvements
commit
|
commitdiff
|
tree
2020-08-26
Miodrag Milanovic
Add formal apps and template generators
commit
|
commitdiff
|
tree
2020-08-26
whitequark
Merge pull request #2351 from pbsds/proc_nomux
commit
|
commitdiff
|
tree
2020-08-23
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-22
clairexen
Merge pull request #2349 from nmoroze/smt2-bugfix
commit
|
commitdiff
|
tree
2020-08-21
Zachary Snow
Module name scope support
commit
|
commitdiff
|
tree
2020-08-21
Zachary Snow
Allow localparams in constant functions
commit
|
commitdiff
|
tree
2020-08-21
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-20
Marcelina Kościelnicka
synth_intel: Remove incomplete Arria 10 GX support.
commit
|
commitdiff
|
tree
2020-08-20
Peder Bergebakken...
proc: Add -nomux switch
commit
|
commitdiff
|
tree
2020-08-20
Noah Moroze
Ensure smt2 comments are associated with accessors
commit
|
commitdiff
|
tree
2020-08-20
Dan Ravensloft
intel: move Cyclone V support to intel_alm
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2347 from YosysHQ/mwk/techmap-shift...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2344 from YosysHQ/mwk/opt_share...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2337 from YosysHQ/mwk/clean-keep...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2333 from YosysHQ/mwk/peepopt-shift...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2327 from YosysHQ/mwk/techmap-const...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv...
commit
|
commitdiff
|
tree
2020-08-20
clairexen
Merge pull request #2319 from YosysHQ/mwk/techmap-cellt...
commit
|
commitdiff
|
tree
2020-08-20
Marcelina Kościelnicka
techmap/shift_shiftx: Remove the "shiftx2mux" special...
commit
|
commitdiff
|
tree
2020-08-20
Yosys Bot
Bump version
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-17
Marcelina Kościelnicka
opt_share: Refactor, fix some bugs.
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-09
Marcelina Kościelnicka
opt_clean: Fix module keep rules.
commit
|
commitdiff
|
tree
2020-08-07
Marcelina Kościelnicka
Remove now-redundant dff2dffe pass.
commit
|
commitdiff
|
tree
2020-08-07
Marcelina Kościelnicka
Remove now-redundant dff2dffs pass.
commit
|
commitdiff
|
tree
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-08-05
Marcelina Kościelnicka
peeopt.shiftmul: Add a signedness check.
commit
|
commitdiff
|
tree
2020-08-05
Marcelina Kościelnicka
techmap.CONSTMAP: Handle outputs before inputs.
commit
|
commitdiff
|
tree
2020-08-04
Marcelina Kościelnicka
peepopt.muldiv: Add a signedness check.
commit
|
commitdiff
|
tree
2020-08-02
Marcelina Kościelnicka
techmap: Add support for [] wildcards in techmap_celltype.
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
next