projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / backends /
2022-05-09 Jannis HarderMerge pull request #3297 from jix/sva_nested_clk_else tree | commitdiff
2022-05-09 Miodrag MilanovićMerge pull request #3299 from YosysHQ/mmicko/sim_memory tree | commitdiff
2022-05-04 Claire Xenia WolfAdd propagated clock signals into btor info file tree | commitdiff
2022-04-25 Jannis HarderMerge pull request #3287 from jix/smt2-conditional... tree | commitdiff
2022-04-20 Jannis Hardersmt2: Make write port array stores conditional on nonze... tree | commitdiff
2022-04-08 Miodrag MilanovićMerge pull request #3273 from modwizcode/fix-build tree | commitdiff
2022-04-08 Aki Van Nesspass jny: flipped the defaults for the inclusion of... tree | commitdiff
2022-04-08 Aki Van Nesspass jny: ensured the cell collection is cleared betwee... tree | commitdiff
2022-04-08 Aki Van Nesspass jny: fixed missing quotes around the type value... tree | commitdiff
2022-04-08 Aki Van Nesspass jny: fixed the backslash escape for strings tree | commitdiff
2022-04-08 Aki Van Nesspass jny: removed the invalid json escapes tree | commitdiff
2022-04-08 Aki Van Nesspass jny: added some todo comments about things that... tree | commitdiff
2022-04-08 Aki Van Nesspass jny: changed the constructor initializers to use... tree | commitdiff
2022-04-08 Aki Van Nesspass jny: fixed the string escape method to be less... tree | commitdiff
2022-04-08 Aki Van Nesspass jny: fixed the signed output for param value output tree | commitdiff
2022-04-08 Aki Van Nesspass jny: added connection output tree | commitdiff
2022-04-08 Aki Van Nesspass jny: added filter options for including connection... tree | commitdiff
2022-04-08 Aki Van Nesspass jny: large chunk of refactoring to make the JSON... tree | commitdiff
2022-04-08 Aki Van Nessmetadata -> jny: migrated to the proper name for the... tree | commitdiff
2022-04-08 Aki Van Nesspass metadata: added the machinery to write param and... tree | commitdiff
2022-04-08 Aki Van Nesspass metadata: removed superfluous `stringf` calls tree | commitdiff
2022-04-08 Aki Van Nesspass metadata: some more rough work on dumping the... tree | commitdiff
2022-04-08 Aki Van Nesspass metadata: fixed the MetadataWriter object initiali... tree | commitdiff
2022-04-08 Aki Van Nesspass metadata: added the output of parameters, tree | commitdiff
2022-04-08 Aki Van Nesspass metadata: fixed some of the output formatting tree | commitdiff
2022-04-08 Aki Van Nesspass 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 Hardersmtbmc: fix bmc with no assertions tree | commitdiff
2022-03-28 Jannis HarderMerge pull request #3253 from jix/smtbmc-nodeepcopy tree | commitdiff
2022-03-28 Jannis HarderMerge pull request #3247 from jix/smtbmc-keepgoing tree | commitdiff
2022-03-28 LoftyMerge pull request #3194 from Ravenslofty/abc9-flow3mfs tree | commitdiff
2022-03-28 LoftyMerge pull request #3246 from YosysHQ/gatecat/timing... tree | commitdiff
2022-03-28 Jannis Hardersmtbmc: 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 MilanovicAdd -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 Harderyosys-smtbmc: Option to keep going after failed asserti... tree | commitdiff
2022-03-24 Jannis Harderyosys-smtbmc: Fix typo in help text, remove trailing... tree | commitdiff
2022-03-24 N. Engelhardtignore # comment lines tree | commitdiff
2022-03-14 Claire XenMerge 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 WolfFix handling of some formal cells in btor back-end tree | commitdiff
2022-03-11 Miodrag Milanovichandle 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. Engelhardtprint cell name for properties in yosys-smtbmc tree | commitdiff
2022-02-22 Claire XenMerge pull request #3211 from YosysHQ/micko/witness tree | commitdiff
2022-02-22 Claire XenMerge pull request #3197 from YosysHQ/claire/smtbmcfix tree | commitdiff
2022-02-22 Rjson: Add help message for `signed` field tree | commitdiff
2022-02-18 N. Engelhardtfix handling of escaped chars in json backend and frontend tree | commitdiff
2022-02-11 Claire Xenia WolfAdd 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 XenMerge branch 'master' into clk2ff-better-names tree | commitdiff
2022-02-11 Claire XenMerge 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ścielnickaverilog backend: Emit a `wire` for ports as well. tree | commitdiff
2022-01-28 Marcelina KościelnickaAdd $bmux and $demux cells. tree | commitdiff
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram tree | commitdiff
2021-12-25 CatherineMerge pull request #3127 from whitequark/cxxrtl-no... tree | commitdiff
2021-12-25 Catherinecxxrtl: don't reset elided wires with \init attribute. tree | commitdiff
2021-12-16 CatherineMerge pull request #3115 from whitequark/issue-3112 tree | commitdiff
2021-12-15 Catherinecxxrtl: demote wires not inlinable only in debug_eval... tree | commitdiff
2021-12-12 Marcelina KościelnickaAdd clean_zerowidth pass, use it for Verilog output. tree | commitdiff
2021-12-12 CatherineMerge pull request #3105 from whitequark/cxxrtl-reset... tree | commitdiff
2021-12-12 Marcelina Kościelnickartlil: Dump empty connections when whole module is... tree | commitdiff
2021-12-11 Catherinecxxrtl: preserve interior memory pointers across reset. tree | commitdiff
2021-12-11 CatherineMerge pull request #3103 from whitequark/write_verilog... tree | commitdiff
2021-12-11 whitequarkcxxrtl: use unique_ptr<value<>[]> to store memory contents. tree | commitdiff
2021-12-11 whitequarkwrite_verilog: dump zero width sigspecs correctly. tree | commitdiff
2021-11-25 Loftysta: 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 MilanovicGive initial wire unique ID, fixes #2914 tree | commitdiff
2021-10-11 Claire XenMerge pull request #3039 from YosysHQ/claire/verific_aldff tree | commitdiff
2021-10-11 Claire XenMerge pull request #3040 from YosysHQ/micko/split_modul... tree | commitdiff
2021-10-09 Miodrag MilanovicSplit module ports, 20 per line tree | commitdiff
2021-10-02 Marcelina KościelnickaHook up $aldff support in various passes. tree | commitdiff
2021-10-02 Marcelina Kościelnickakernel/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 WolfAdd 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 the6p4cFix protobuf backend build dependencies tree | commitdiff
2021-09-10 Marcelina Kościelnickayosys-smtbmc: Fix reused loop variable. tree | commitdiff
2021-08-10 Marcelina Kościelnickakernel/mem: Introduce transparency masks. tree | commitdiff
2021-08-01 Marcelina Kościelnickabackend/verilog: Add alternate mode for transparent... tree | commitdiff
2021-07-28 Marcelina Kościelnickabackends/verilog: Support meminit with mask. tree | commitdiff
2021-07-20 whitequarkMerge pull request #2885 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-20 whitequarkMerge pull request #2884 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-20 whitequarkcxxrtl: treat wires with multiple defs as not inlinable. tree | commitdiff
2021-07-20 whitequarkcxxrtl: treat assignable internal wires used only for... tree | commitdiff
2021-07-20 whitequarkMerge pull request #2881 from whitequark/cxxrtl-sideway... tree | commitdiff
2021-07-19 whitequarkcxxrtl: escape colon in variable names in VCD writer. tree | commitdiff
2021-07-18 whitequarkMerge pull request #2880 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-18 whitequarkcxxrtl: add debug_item::{get,set}. tree | commitdiff
2021-07-17 whitequarkMerge pull request #2879 from whitequark/cxxrtl-fix... tree | commitdiff
next