projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2022-05-04
Marcelina Kościelnicka
abc: Use dict/pool instead of std::map/std::set
commit
|
commitdiff
|
tree
2022-05-03
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-05-02
Miodrag Milanovic
AIM file could have gaps in or between inputs and inits
commit
|
commitdiff
|
tree
2022-04-30
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-29
Miodrag Milanović
Merge pull request #3294 from YosysHQ/micko/verific_mer...
commit
|
commitdiff
|
tree
2022-04-29
Miodrag Milanovic
Ignore merging past ffs that we are not properly merging
commit
|
commitdiff
|
tree
2022-04-26
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-25
Rick Luiken
Add missing parameters for ecp5
commit
|
commitdiff
|
tree
2022-04-25
Jannis Harder
Merge pull request #3287 from jix/smt2-conditional...
commit
|
commitdiff
|
tree
2022-04-25
Jannis Harder
Merge pull request #3257 from jix/tribuf-formal
commit
|
commitdiff
|
tree
2022-04-25
Miodrag Milanović
Merge pull request #3290 from mpasternacki/bugfix/freeb...
commit
|
commitdiff
|
tree
2022-04-25
Miodrag Milanović
Merge pull request #3289 from YosysHQ/micko/sim_improve
commit
|
commitdiff
|
tree
2022-04-24
Maciej Pasternacki
Fix build on FreeBSD, which has no alloca.h
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
Match $anyseq input if connected to public wire
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
Treat $anyseq as input from FST
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
Ignore change on last edge
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
Last sample from input does not represent change
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
latches are always set to zero
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
If not multiclock, output only on clock edges
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
Set init state for all wires from FST and set past
commit
|
commitdiff
|
tree
2022-04-22
Miodrag Milanovic
Fix multiclock for btor2 witness
commit
|
commitdiff
|
tree
2022-04-20
Jannis Harder
smt2: Make write port array stores conditional on nonze...
commit
|
commitdiff
|
tree
2022-04-19
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-18
Miodrag Milanović
Merge pull request #3280 from YosysHQ/micko/fix_readaiw
commit
|
commitdiff
|
tree
2022-04-18
Miodrag Milanovic
Update abc
commit
|
commitdiff
|
tree
2022-04-18
Miodrag Milanovic
verific: allow memories to be inferred in loops (vhdl)
commit
|
commitdiff
|
tree
2022-04-18
Miodrag Milanović
Merge pull request #3282 from nakengelhardt/verific_loo...
commit
|
commitdiff
|
tree
2022-04-16
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-15
Marcelina Kościelnicka
memory_share: Fix up mismatched address widths.
commit
|
commitdiff
|
tree
2022-04-15
Marcelina Kościelnicka
opt_dff: Fix behavior on $ff with D == Q.
commit
|
commitdiff
|
tree
2022-04-15
N. Engelhardt
verific: allow memories to be inferred in loops
commit
|
commitdiff
|
tree
2022-04-15
Miodrag Milanovic
Fix reading aiw from other solvers
commit
|
commitdiff
|
tree
2022-04-12
Jannis Harder
tribuf: `-formal` option: convert all to logic and...
commit
|
commitdiff
|
tree
2022-04-09
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-08
Miodrag Milanović
Merge pull request #3275 from YosysHQ/micko/clk2fflogic_fix
commit
|
commitdiff
|
tree
2022-04-08
Miodrag Milanovic
Use wrap_async_control_gate if ff is fine
commit
|
commitdiff
|
tree
2022-04-08
Miodrag Milanović
Merge pull request #3273 from modwizcode/fix-build
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: flipped the defaults for the inclusion of...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: ensured the cell collection is cleared betwee...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: fixed missing quotes around the type value...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: fixed the backslash escape for strings
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: removed the invalid json escapes
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: added some todo comments about things that...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: changed the constructor initializers to use...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: fixed the string escape method to be less...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: fixed the signed output for param value output
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: added connection output
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: added filter options for including connection...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass jny: large chunk of refactoring to make the JSON...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
metadata -> jny: migrated to the proper name for the...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass metadata: added the machinery to write param and...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass metadata: removed superfluous `stringf` calls
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass metadata: some more rough work on dumping the...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass metadata: fixed the MetadataWriter object initiali...
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass metadata: added the output of parameters,
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass metadata: fixed some of the output formatting
commit
|
commitdiff
|
tree
2022-04-08
Aki Van Ness
pass metadata: initial commit of the metadata pass...
commit
|
commitdiff
|
tree
2022-04-08
Iris Johnson
Makefile: properly conditionalize features requiring...
commit
|
commitdiff
|
tree
2022-04-08
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-07
Catherine
Merge pull request #3269 from YosysHQ/micko/fix_autotop
commit
|
commitdiff
|
tree
2022-04-07
Marcelina Kościelnicka
abc: Add support for FFs with reset in -dff
commit
|
commitdiff
|
tree
2022-04-06
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-05
Zachary Snow
sv: fix always_comb auto nosync for nested and function...
commit
|
commitdiff
|
tree
2022-04-05
Miodrag Milanovic
Reorder steps in -auto-top to fix synth command, fixes...
commit
|
commitdiff
|
tree
2022-04-05
Miodrag Milanovic
Next dev cycle
commit
|
commitdiff
|
tree
2022-04-05
Miodrag Milanovic
Release version 0.16
yosys-0.16
commit
|
commitdiff
|
tree
2022-04-05
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-04
Marcelina Kościelnicka
show: Fix width labels.
commit
|
commitdiff
|
tree
2022-04-04
Miodrag Milanovic
Update CHANGELOG and manual
commit
|
commitdiff
|
tree
2022-04-04
Miodrag Milanović
Merge pull request #3265 from YosysHQ/micko/sim_improve...
commit
|
commitdiff
|
tree
2022-04-02
Miodrag Milanovic
past_ad initial value setting
commit
|
commitdiff
|
tree
2022-04-02
Miodrag Milanovic
setInitState can be only one altering values
commit
|
commitdiff
|
tree
2022-04-02
Miodrag Milanovic
Set past_d value for init state
commit
|
commitdiff
|
tree
2022-04-02
Jannis Harder
Merge pull request #3264 from jix/invalid_ff_dcinit_merge
commit
|
commitdiff
|
tree
2022-04-02
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-04-01
Jannis Harder
opt_merge: Add `-keepdc` option required for formal...
commit
|
commitdiff
|
tree
2022-04-01
Miodrag Milanović
Merge pull request #3263 from YosysHQ/micko/clk2ff_init
commit
|
commitdiff
|
tree
2022-04-01
Miodrag Milanovic
Set init values for wrapped async control signals
commit
|
commitdiff
|
tree
2022-04-01
Miodrag Milanović
Merge pull request #3262 from YosysHQ/micko/verific_hiernet
commit
|
commitdiff
|
tree
2022-04-01
Miodrag Milanovic
Preserve internal wires for external nets
commit
|
commitdiff
|
tree
2022-04-01
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-03-31
Miodrag Milanović
Merge pull request #3256 from YosysHQ/micko/aiw_multiclock
commit
|
commitdiff
|
tree
2022-03-31
Miodrag Milanovic
Support memories in aiw and multiclock
commit
|
commitdiff
|
tree
2022-03-31
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanović
Merge pull request #3259 from YosysHQ/micko/verific_val...
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanovic
Fix valgrind tests when using verific
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanović
Merge pull request #3260 from YosysHQ/micko/proper_scop...
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanovic
Proper scope naming from FST
commit
|
commitdiff
|
tree
2022-03-30
Miodrag Milanović
Merge pull request #3250 from YosysHQ/micko/verific_con...
commit
|
commitdiff
|
tree
2022-03-30
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-03-29
Miodrag Milanović
Merge pull request #3258 from jix/fix-no-assertions
commit
|
commitdiff
|
tree
2022-03-29
Jannis Harder
smtbmc: fix bmc with no assertions
commit
|
commitdiff
|
tree
2022-03-29
github-actions...
Bump version
commit
|
commitdiff
|
tree
2022-03-28
Marcelina Kościelnicka
kernel/mem: Only use FF init in read-first emu for...
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
Merge pull request #3253 from jix/smtbmc-nodeepcopy
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
Merge pull request #3247 from jix/smtbmc-keepgoing
commit
|
commitdiff
|
tree
2022-03-28
Lofty
Merge pull request #3194 from Ravenslofty/abc9-flow3mfs
commit
|
commitdiff
|
tree
2022-03-28
Lofty
Merge pull request #3246 from YosysHQ/gatecat/timing...
commit
|
commitdiff
|
tree
2022-03-28
Tim Pambor
gowin: Add oscillator primitives
commit
|
commitdiff
|
tree
2022-03-28
Jannis Harder
smtbmc: Avoid unnecessary deep copies during unrolling
commit
|
commitdiff
|
tree
next