projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add hierarchy -smtcheck
[yosys.git] / backends /
2022-06-07 Jacob Lifshaysmt2: Add smtlib2_comb_expr attribute to allow user... tree | commitdiff
2022-06-07 Jannis Hardersmtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5 tree | commitdiff
2022-06-07 Jacob Lifshayadd $divfloor support to write_smt2 tree | commitdiff
2022-05-26 Aki Van Nesspass jny: flipped the defaults for the inclusion of... yosys-0.13-with-write_jny tree | commitdiff
2022-05-26 Aki Van Nesspass jny: ensured the cell collection is cleared betwee... tree | commitdiff
2022-05-26 Aki Van Nesspass jny: fixed missing quotes around the type value... tree | commitdiff
2022-05-26 Aki Van Nesspass jny: fixed the backslash escape for strings tree | commitdiff
2022-05-26 Aki Van Nesspass jny: removed the invalid json escapes tree | commitdiff
2022-05-26 Aki Van Nesspass jny: added some todo comments about things that... tree | commitdiff
2022-05-26 Aki Van Nesspass jny: changed the constructor initializers to use... tree | commitdiff
2022-05-26 Aki Van Nesspass jny: fixed the string escape method to be less... tree | commitdiff
2022-05-26 Aki Van Nesspass jny: fixed the signed output for param value output tree | commitdiff
2022-05-26 Aki Van Nesspass jny: added connection output tree | commitdiff
2022-05-26 Aki Van Nesspass jny: added filter options for including connection... tree | commitdiff
2022-05-26 Aki Van Nesspass jny: large chunk of refactoring to make the JSON... tree | commitdiff
2022-05-26 Aki Van Nessmetadata -> jny: migrated to the proper name for the... tree | commitdiff
2022-05-26 Aki Van Nesspass metadata: added the machinery to write param and... tree | commitdiff
2022-05-26 Aki Van Nesspass metadata: removed superfluous `stringf` calls tree | commitdiff
2022-05-26 Aki Van Nesspass metadata: some more rough work on dumping the... tree | commitdiff
2022-05-26 Aki Van Nesspass metadata: fixed the MetadataWriter object initiali... tree | commitdiff
2022-05-26 Aki Van Nesspass metadata: added the output of parameters, tree | commitdiff
2022-05-26 Aki Van Nesspass metadata: fixed some of the output formatting tree | commitdiff
2022-05-26 Aki Van Nesspass metadata: initial commit of the metadata pass... 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
2021-07-17 whitequarkcxxrtl: treat internal wires used only for debug as... tree | commitdiff
2021-07-16 whitequarkMerge pull request #2874 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-16 whitequarkMerge pull request #2873 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-16 whitequarkMerge pull request #2872 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-16 whitequarkcxxrtl: run hierarchy pass regardless of (*top*) attrib... tree | commitdiff
2021-07-16 whitequarkcxxrtl: emit debug items for unused public wires. tree | commitdiff
2021-07-16 whitequarkcxxrtl: don't expect user cell inputs to be wires. tree | commitdiff
2021-07-16 whitequarkMerge pull request #2871 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-16 whitequarkcxxrtl: don't mark buffered internal wires as UNUSED... tree | commitdiff
2021-07-16 whitequarkMerge pull request #2870 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-15 whitequarkcxxrtl: mark dead local wires as unused even with inlin... tree | commitdiff
2021-07-13 Marcelina Kościelnickakernel/mem: Add a coalesce_inits helper. tree | commitdiff
2021-07-12 GCHQDeveloper560Add support for the Bitwuzla solver tree | commitdiff
2021-07-12 Marcelina Kościelnickacxxrtl: Support memory writes in processes. tree | commitdiff
2021-07-12 Marcelina Kościelnickacxxrtl: Add support for memory read port reset. tree | commitdiff
2021-07-12 Marcelina Kościelnickacxxrtl: Add support for mem read port initial data. tree | commitdiff
2021-07-12 Marcelina Kościelnickacxxrtl: Convert to Mem helpers. tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-09 Claire Xenia WolfIntersynth URL tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2021-05-27 Marcelina KościelnickaMake a few passes auto-call Mem::narrow instead of... tree | commitdiff
2021-05-27 Marcelina Kościelnickabackends/verilog: Add support for memory read port... tree | commitdiff
2021-05-27 Marcelina Kościelnickabackends/verilog: Add wide port support. tree | commitdiff
2021-05-25 Marcelina Kościelnickabackends/verilog: Try to preserve mem write port priori... tree | commitdiff
2021-05-25 Marcelina KościelnickaReject wide ports in some passes that will never suppor... tree | commitdiff
2021-05-24 Marcelina Kościelnickabackend/firrtl: Convert to use Mem helpers. tree | commitdiff
2021-05-23 Marcelina Kościelnickabtor: Use is_mem_cell in one more place. tree | commitdiff
2021-05-22 Marcelina Kościelnickakernel/rtlil: Extract some helpers for checking memory... tree | commitdiff
2021-03-30 Eddie Hungabc9: fix SCC issues (#2694) tree | commitdiff
2021-03-23 Marcelina Kościelnickartlil: Fix process memwr roundtrip. tree | commitdiff
2021-03-23 N. EngelhardtMerge pull request #2696 from nakengelhardt/guidelines tree | commitdiff
2021-03-23 Marcelina Kościelnickajson: Improve the "processes in module" message a bit. tree | commitdiff
2021-03-15 Marcelina Kościelnickajson: Add support for memories. tree | commitdiff
2021-03-12 whitequarkMerge pull request #2653 from zachjs/global-parameter tree | commitdiff
2021-03-11 whitequarkMerge pull request #2642 from whitequark/cxxrtl-noproc... tree | commitdiff
2021-03-10 Dan RavensloftReplace assert in xaiger with more useful error message tree | commitdiff
2021-03-09 whitequarkMerge pull request #2643 from zachjs/fix-param-no-defau... tree | commitdiff
2021-03-08 Marcelina KościelnickaAdd support for memory writes in processes. tree | commitdiff
2021-03-07 whitequarkcxxrtl: don't assert on edge sync rules tied to a constant. tree | commitdiff
2021-03-07 whitequarkcxxrtl: allow `always` sync rules in debug_eval. tree | commitdiff
2021-03-07 whitequarkMerge pull request #2626 from zachjs/param-no-default tree | commitdiff
next