projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Next dev cycle
[yosys.git]
/
kernel
/
2022-03-30
Miodrag Milanović
Merge pull request #3259 from YosysHQ/micko/verific_val...
tree
|
commitdiff
2022-03-30
Miodrag Milanović
Merge pull request #3260 from YosysHQ/micko/proper_scop...
tree
|
commitdiff
2022-03-30
Miodrag Milanovic
Proper scope naming from FST
tree
|
commitdiff
2022-03-30
Miodrag Milanović
Merge pull request #3250 from YosysHQ/micko/verific_con...
tree
|
commitdiff
2022-03-28
Marcelina Kościelnicka
kernel/mem: Only use FF init in read-first emu for...
tree
|
commitdiff
2022-03-28
Jannis Harder
Merge pull request #3247 from jix/smtbmc-keepgoing
tree
|
commitdiff
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
tree
|
commitdiff
2022-03-28
Lofty
Merge pull request #3246 from YosysHQ/gatecat/timing...
tree
|
commitdiff
2022-03-25
NotAFile
Add some more reserve calls to RTLIL::Const
tree
|
commitdiff
2022-03-18
Miodrag Milanovic
More verbose warnings
tree
|
commitdiff
2022-03-17
Miodrag Milanović
Merge pull request #3236 from YosysHQ/micko/tb_initial
tree
|
commitdiff
2022-03-16
Miodrag Milanovic
Recognize registers and set initial state for them...
tree
|
commitdiff
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
tree
|
commitdiff
2022-03-07
Miodrag Milanović
Merge pull request #3210 from rqou/json-signed
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3186 from nakengelhardt/smtbmc_sby_...
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3206 from YosysHQ/micko/quote_remove
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3207 from nakengelhardt/json_escape...
tree
|
commitdiff
2022-03-04
Miodrag Milanović
Merge pull request #3219 from YosysHQ/micko/quick_vcd
tree
|
commitdiff
2022-02-28
Miodrag Milanovic
VCD reader support by using external tool
tree
|
commitdiff
2022-02-28
Miodrag Milanović
Merge pull request #3216 from YosysHQ/claire/simstuff
tree
|
commitdiff
2022-02-25
Miodrag Milanovic
Fix for last clock edge data
tree
|
commitdiff
2022-02-22
Claire Xen
Merge pull request #3211 from YosysHQ/micko/witness
tree
|
commitdiff
2022-02-22
Claire Xen
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
tree
|
commitdiff
2022-02-21
Miodrag Milanović
Merge pull request #3203 from YosysHQ/micko/sim_ff
tree
|
commitdiff
2022-02-18
Miodrag Milanovic
Changed error message
tree
|
commitdiff
2022-02-16
Miodrag Milanovic
Add support for various ff/latch cells simulation
tree
|
commitdiff
2022-02-11
Claire Xen
Merge pull request #2376 from nmoroze/clk2ff-better...
tree
|
commitdiff
2022-02-11
Miodrag Milanović
Merge pull request #3164 from zachjs/fix-ast-warn
tree
|
commitdiff
2022-02-11
Claire Xen
Merge branch 'master' into clk2ff-better-names
tree
|
commitdiff
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
tree
|
commitdiff
2022-02-07
Miodrag Milanović
Merge pull request #3185 from YosysHQ/micko/co_sim
tree
|
commitdiff
2022-02-04
Miodrag Milanovic
Error detection for co-simulation
tree
|
commitdiff
2022-02-04
Miodrag Milanovic
bug fix and cleanups
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Cleanup
tree
|
commitdiff
2022-01-31
Miodrag Milanovic
Display simulation time data
tree
|
commitdiff
2022-01-28
Marcelina Kościelnicka
Add $bmux and $demux cells.
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
ignore not found private signals
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
preserve VCD mangled names
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
detect edges even when x
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
cleanup
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
Do actual compare
tree
|
commitdiff
2022-01-28
Miodrag Milanovic
Add more options and time handling
tree
|
commitdiff
2022-01-28
Marcelina Kościelnicka
kernel/mem: Add read-first semantic emulation code.
tree
|
commitdiff
2022-01-27
Marcelina Kościelnicka
kernel/mem: Add functions to emulate read port enable...
tree
|
commitdiff
2022-01-26
Miodrag Milanovic
Fix tabs/spaces
tree
|
commitdiff
2022-01-26
Miodrag Milanovic
Add fstdata helper class
tree
|
commitdiff
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
tree
|
commitdiff
2022-01-17
N. Engelhardt
Merge pull request #3145 from nakengelhardt/advertise_s...
tree
|
commitdiff
2022-01-04
Zachary Snow
logger: fix unmatched expected warnings and errors
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3115 from whitequark/issue-3112
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3114 from whitequark/issue-3113
tree
|
commitdiff
2021-12-14
Catherine
Merge pull request #3111 from whitequark/issue-3110
tree
|
commitdiff
2021-12-14
Claire Xenia Wolf
Hotfix for run_shell auto-detection
tree
|
commitdiff
2021-12-14
Catherine
Fix null pointer dereference after failing to extract...
tree
|
commitdiff
2021-12-12
Catherine
Merge pull request #3105 from whitequark/cxxrtl-reset...
tree
|
commitdiff
2021-12-12
Marcelina Kościelnicka
Fix unused param warning with ENABLE_NDEBUG.
tree
|
commitdiff
2021-12-10
Miodrag Milanović
Merge pull request #3097 from YosysHQ/modport
tree
|
commitdiff
2021-12-10
Claire Xen
Merge pull request #3099 from YosysHQ/claire/readargs
tree
|
commitdiff
2021-12-09
Claire Xenia Wolf
Added "yosys -r <topmodule>"
tree
|
commitdiff
2021-12-09
Claire Xenia Wolf
Use "read" command to parse HDL files from Yosys comman...
tree
|
commitdiff
2021-11-25
Lofty
sta: very crude static timing analysis pass
tree
|
commitdiff
2021-11-05
Miodrag Milanovic
Make it work on all
tree
|
commitdiff
2021-11-05
Miodrag Milanović
Merge pull request #3067 from YosysHQ/aki/ci_update
tree
|
commitdiff
2021-11-05
Miodrag Milanovic
Removed semicolon from macro
tree
|
commitdiff
2021-10-27
Marcelina Kościelnicka
dfflegalize: Refactor, add aldff support.
tree
|
commitdiff
2021-10-26
Zachary Snow
verilog: use derived module info to elaborate cell...
tree
|
commitdiff
2021-10-26
Rupert Swarbrick
Split out logic for reprocessing an AstModule
tree
|
commitdiff
2021-10-21
Marcelina Kościelnicka
Change implicit conversions from bool to Sig* to explicit.
tree
|
commitdiff
2021-10-11
Claire Xen
Merge pull request #3039 from YosysHQ/claire/verific_aldff
tree
|
commitdiff
2021-10-08
Marcelina Kościelnicka
Fix a regression from #3035.
tree
|
commitdiff
2021-10-07
Marcelina Kościelnicka
FfData: some refactoring.
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
Hook up $aldff support in various passes.
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
kernel/ff: Refactor FfData to enable FFs with async...
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
Add $aldff and $aldffe: flip-flops with async load.
tree
|
commitdiff
2021-10-02
Marcelina Kościelnicka
simplemap: refactor to use FfData.
tree
|
commitdiff
2021-09-10
Miodrag Milanović
Merge pull request #3001 from YosysHQ/claire/sigcheck
tree
|
commitdiff
2021-09-10
Claire Xenia Wolf
Add additional check to SigSpec
tree
|
commitdiff
2021-08-16
Marcelina Kościelnicka
kernel/mem: Remove old parameter when upgrading $mem...
tree
|
commitdiff
2021-08-13
Rupert Swarbrick
Generate an RTLIL representation of bind constructs
tree
|
commitdiff
2021-08-13
Miodrag Milanović
Merge pull request #2932 from YosysHQ/mwk/logger-check...
tree
|
commitdiff
2021-08-12
Marcelina Kościelnicka
logger: Add -check-expected subcommand.
tree
|
commitdiff
2021-08-11
Marcelina Kościelnicka
Add v2 memory cells.
tree
|
commitdiff
2021-08-10
Marcelina Kościelnicka
kernel/mem: Introduce transparency masks.
tree
|
commitdiff
2021-08-09
Marcelina Kościelnicka
Refactor common parts of SAT-using optimizations into...
tree
|
commitdiff
2021-07-28
Marcelina Kościelnicka
memory: Introduce $meminit_v2 cell, with EN input.
tree
|
commitdiff
2021-07-13
Marcelina Kościelnicka
kernel/mem: Add a coalesce_inits helper.
tree
|
commitdiff
2021-07-12
Marcelina Kościelnicka
kernel/mem: Use delayed removal for inits as well.
tree
|
commitdiff
2021-07-12
Marcelina Kościelnicka
kernel/mem: Add documentation for more helper functions.
tree
|
commitdiff
2021-07-12
Marcelina Kościelnicka
kernel/mem: Commit new values of attributes in emit.
tree
|
commitdiff
2021-07-12
Marcelina Kościelnicka
kernel/mem: Make the Mem helpers inherit from AttrObject.
tree
|
commitdiff
2021-07-11
Marcelina Kościelnicka
rtlil: Make Process handling more uniform with Cell...
tree
|
commitdiff
2021-07-05
Claire Xen
Merge pull request #2835 from YosysHQ/verific_command
tree
|
commitdiff
2021-06-19
whitequark
Merge pull request #2842 from whitequark/fix-wasi-build
tree
|
commitdiff
2021-06-19
whitequark
Fix WASI build after commit 1d88bea1.
tree
|
commitdiff
2021-06-18
Miodrag Milanović
Merge pull request #2836 from YosysHQ/gatecat/pyosys...
tree
|
commitdiff
2021-06-16
gatecat
pyosys: Clear SIGINT handler after Python loads
tree
|
commitdiff
2021-06-14
Zachary Snow
macos: fix leak in proc_self_dirname()
tree
|
commitdiff
2021-06-14
Rupert Swarbrick
Simplify some RTLIL destructors
tree
|
commitdiff
2021-06-09
Marcelina Kościelnicka
opt_expr: Fix mul/div/mod by POT patterns to support...
tree
|
commitdiff
2021-06-09
Claire Xen
Merge pull request #2817 from YosysHQ/claire/fixemails
tree
|
commitdiff
next