projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Treat $anyseq as input from FST
[yosys.git]
/
backends
/
2022-04-08
Miodrag Milanović
Merge pull request #3273 from modwizcode/fix-build
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: flipped the defaults for the inclusion of...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: ensured the cell collection is cleared betwee...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: fixed missing quotes around the type value...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: fixed the backslash escape for strings
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: removed the invalid json escapes
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: added some todo comments about things that...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: changed the constructor initializers to use...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: fixed the string escape method to be less...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: fixed the signed output for param value output
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: added connection output
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: added filter options for including connection...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass jny: large chunk of refactoring to make the JSON...
tree
|
commitdiff
2022-04-08
Aki Van Ness
metadata -> jny: migrated to the proper name for the...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass metadata: added the machinery to write param and...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass metadata: removed superfluous `stringf` calls
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass metadata: some more rough work on dumping the...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass metadata: fixed the MetadataWriter object initiali...
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass metadata: added the output of parameters,
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass metadata: fixed some of the output formatting
tree
|
commitdiff
2022-04-08
Aki Van Ness
pass metadata: initial commit of the metadata pass...
tree
|
commitdiff
2022-03-30
Miodrag Milanović
Merge pull request #3250 from YosysHQ/micko/verific_con...
tree
|
commitdiff
2022-03-29
Miodrag Milanović
Merge pull request #3258 from jix/fix-no-assertions
tree
|
commitdiff
2022-03-29
Jannis Harder
smtbmc: fix bmc with no assertions
tree
|
commitdiff
2022-03-28
Jannis Harder
Merge pull request #3253 from jix/smtbmc-nodeepcopy
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-28
Jannis Harder
smtbmc: Avoid unnecessary deep copies during unrolling
tree
|
commitdiff
2022-03-25
Miodrag Milanović
Merge pull request #3249 from YosysHQ/micko/no_startoffset
tree
|
commitdiff
2022-03-25
Miodrag Milanovic
Add -no-startoffset option to write_aiger
tree
|
commitdiff
2022-03-24
Miodrag Milanović
Merge pull request #3243 from nakengelhardt/fix_aiw_comment
tree
|
commitdiff
2022-03-24
Jannis Harder
yosys-smtbmc: Option to keep going after failed asserti...
tree
|
commitdiff
2022-03-24
Jannis Harder
yosys-smtbmc: Fix typo in help text, remove trailing...
tree
|
commitdiff
2022-03-24
N. Engelhardt
ignore # comment lines
tree
|
commitdiff
2022-03-14
Claire Xen
Merge pull request #3213 from antonblanchard/abc-typo
tree
|
commitdiff
2022-03-11
Miodrag Milanović
Merge pull request #3222 from zachjs/prune-linux-ci
tree
|
commitdiff
2022-03-11
Miodrag Milanović
Merge pull request #3228 from YosysHQ/micko/disable_tests
tree
|
commitdiff
2022-03-11
Miodrag Milanović
Merge pull request #3226 from YosysHQ/micko/btor2witness
tree
|
commitdiff
2022-03-11
Claire Xenia Wolf
Fix handling of some formal cells in btor back-end
tree
|
commitdiff
2022-03-11
Miodrag Milanovic
handle state names of $anyconst and $anyseq
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-02-22
N. Engelhardt
print cell name for properties in yosys-smtbmc
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-22
R
json: Add help message for `signed` field
tree
|
commitdiff
2022-02-18
N. Engelhardt
fix handling of escaped chars in json backend and frontend
tree
|
commitdiff
2022-02-11
Claire Xenia Wolf
Add a bit of flexibilty re trace length when processing...
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-01-31
Miodrag Milanović
Merge pull request #3176 from higuoxing/fix-ref-manual
tree
|
commitdiff
2022-01-31
Marcelina Kościelnicka
verilog backend: Emit a `wire` for ports as well.
tree
|
commitdiff
2022-01-28
Marcelina Kościelnicka
Add $bmux and $demux cells.
tree
|
commitdiff
2022-01-19
Miodrag Milanović
Merge pull request #3120 from Icenowy/anlogic-bram
tree
|
commitdiff
2021-12-25
Catherine
Merge pull request #3127 from whitequark/cxxrtl-no...
tree
|
commitdiff
2021-12-25
Catherine
cxxrtl: don't reset elided wires with \init attribute.
tree
|
commitdiff
2021-12-16
Catherine
Merge pull request #3115 from whitequark/issue-3112
tree
|
commitdiff
2021-12-15
Catherine
cxxrtl: demote wires not inlinable only in debug_eval...
tree
|
commitdiff
2021-12-12
Marcelina Kościelnicka
Add clean_zerowidth pass, use it for Verilog output.
tree
|
commitdiff
2021-12-12
Catherine
Merge pull request #3105 from whitequark/cxxrtl-reset...
tree
|
commitdiff
2021-12-12
Marcelina Kościelnicka
rtlil: Dump empty connections when whole module is...
tree
|
commitdiff
2021-12-11
Catherine
cxxrtl: preserve interior memory pointers across reset.
tree
|
commitdiff
2021-12-11
Catherine
Merge pull request #3103 from whitequark/write_verilog...
tree
|
commitdiff
2021-12-11
whitequark
cxxrtl: use unique_ptr<value<>[]> to store memory contents.
tree
|
commitdiff
2021-12-11
whitequark
write_verilog: dump zero width sigspecs correctly.
tree
|
commitdiff
2021-11-25
Lofty
sta: very crude static timing analysis pass
tree
|
commitdiff
2021-11-17
Miodrag Milanović
Merge pull request #3080 from YosysHQ/micko/init_wire
tree
|
commitdiff
2021-11-17
Miodrag Milanovic
Give initial wire unique ID, fixes #2914
tree
|
commitdiff
2021-10-11
Claire Xen
Merge pull request #3039 from YosysHQ/claire/verific_aldff
tree
|
commitdiff
2021-10-11
Claire Xen
Merge pull request #3040 from YosysHQ/micko/split_modul...
tree
|
commitdiff
2021-10-09
Miodrag Milanovic
Split module ports, 20 per line
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-09-28
Miodrag Milanović
Merge pull request #3017 from YosysHQ/claire/short_rtli...
tree
|
commitdiff
2021-09-27
Claire Xenia Wolf
Add optimization to rtlil back-end for all-x parameter...
tree
|
commitdiff
2021-09-18
Miodrag Milanović
Merge pull request #3010 from the6p4c/master
tree
|
commitdiff
2021-09-17
the6p4c
Fix protobuf backend build dependencies
tree
|
commitdiff
2021-09-10
Marcelina Kościelnicka
yosys-smtbmc: Fix reused loop variable.
tree
|
commitdiff
2021-08-10
Marcelina Kościelnicka
kernel/mem: Introduce transparency masks.
tree
|
commitdiff
2021-08-01
Marcelina Kościelnicka
backend/verilog: Add alternate mode for transparent...
tree
|
commitdiff
2021-07-28
Marcelina Kościelnicka
backends/verilog: Support meminit with mask.
tree
|
commitdiff
2021-07-20
whitequark
Merge pull request #2885 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-20
whitequark
Merge pull request #2884 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-20
whitequark
cxxrtl: treat wires with multiple defs as not inlinable.
tree
|
commitdiff
2021-07-20
whitequark
cxxrtl: treat assignable internal wires used only for...
tree
|
commitdiff
2021-07-20
whitequark
Merge pull request #2881 from whitequark/cxxrtl-sideway...
tree
|
commitdiff
2021-07-19
whitequark
cxxrtl: escape colon in variable names in VCD writer.
tree
|
commitdiff
2021-07-18
whitequark
Merge pull request #2880 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-18
whitequark
cxxrtl: add debug_item::{get,set}.
tree
|
commitdiff
2021-07-17
whitequark
Merge pull request #2879 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-17
whitequark
cxxrtl: treat internal wires used only for debug as...
tree
|
commitdiff
2021-07-16
whitequark
Merge pull request #2874 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-16
whitequark
Merge pull request #2873 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-16
whitequark
Merge pull request #2872 from whitequark/cxxrtl-fix...
tree
|
commitdiff
2021-07-16
whitequark
cxxrtl: run hierarchy pass regardless of (*top*) attrib...
tree
|
commitdiff
next