projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / kernel /
2022-05-17 Miodrag MilanovićMerge pull request #3310 from robinsonb5-PRs/master master tree | commitdiff
2022-05-16 Alastair M. RobinsonUse log_warning when Tcl_Init fails, report error with... tree | commitdiff
2022-05-16 Jannis HarderMerge pull request #3314 from jix/sva_value_change_logi... tree | commitdiff
2022-05-13 Marcelina KościelnickaAdd opt_ffinv pass. tree | commitdiff
2022-05-12 Marcelina KościelnickaAdd proc_rom pass. tree | commitdiff
2022-05-10 Alastair M. RobinsonNow calls Tcl_Init after creating the interp, fixes... tree | commitdiff
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-06 Miodrag MilanovicHandle possible non-memory indexed data tree | commitdiff
2022-05-04 Miodrag Milanovicmap memory location to wire value, if memory is convert... tree | commitdiff
2022-05-04 Miodrag MilanovicStart restoring memory state from VCD/FST tree | commitdiff
2022-04-25 Jannis HarderMerge pull request #3287 from jix/smt2-conditional... tree | commitdiff
2022-04-25 Jannis HarderMerge pull request #3257 from jix/tribuf-formal tree | commitdiff
2022-04-25 Miodrag MilanovićMerge pull request #3290 from mpasternacki/bugfix/freeb... tree | commitdiff
2022-04-25 Miodrag MilanovićMerge pull request #3289 from YosysHQ/micko/sim_improve tree | commitdiff
2022-04-22 Miodrag MilanovicIgnore change on last edge tree | commitdiff
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 MilanovicProper 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ścielnickakernel/mem: Only use FF init in read-first emu for... 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-25 NotAFileAdd some more reserve calls to RTLIL::Const tree | commitdiff
2022-03-18 Miodrag MilanovicMore verbose warnings tree | commitdiff
2022-03-17 Miodrag MilanovićMerge pull request #3236 from YosysHQ/micko/tb_initial tree | commitdiff
2022-03-16 Miodrag MilanovicRecognize registers and set initial state for them... tree | commitdiff
2022-03-14 Claire XenMerge 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 MilanovicVCD 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 MilanovicFix for last clock edge data 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-21 Miodrag MilanovićMerge pull request #3203 from YosysHQ/micko/sim_ff tree | commitdiff
2022-02-18 Miodrag MilanovicChanged error message tree | commitdiff
2022-02-16 Miodrag MilanovicAdd support for various ff/latch cells simulation tree | commitdiff
2022-02-11 Claire XenMerge 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 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-02-04 Miodrag MilanovicError detection for co-simulation tree | commitdiff
2022-02-04 Miodrag Milanovicbug fix and cleanups tree | commitdiff
2022-01-31 Miodrag MilanovicCleanup tree | commitdiff
2022-01-31 Miodrag MilanovicDisplay simulation time data tree | commitdiff
2022-01-28 Marcelina KościelnickaAdd $bmux and $demux cells. tree | commitdiff
2022-01-28 Miodrag Milanovicignore not found private signals tree | commitdiff
2022-01-28 Miodrag Milanovicpreserve VCD mangled names tree | commitdiff
2022-01-28 Miodrag Milanovicdetect edges even when x tree | commitdiff
2022-01-28 Miodrag Milanoviccleanup tree | commitdiff
2022-01-28 Miodrag MilanovicDo actual compare tree | commitdiff
2022-01-28 Miodrag MilanovicAdd more options and time handling tree | commitdiff
2022-01-28 Marcelina Kościelnickakernel/mem: Add read-first semantic emulation code. tree | commitdiff
2022-01-27 Marcelina Kościelnickakernel/mem: Add functions to emulate read port enable... tree | commitdiff
2022-01-26 Miodrag MilanovicFix tabs/spaces tree | commitdiff
2022-01-26 Miodrag MilanovicAdd fstdata helper class tree | commitdiff
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram tree | commitdiff
2022-01-17 N. EngelhardtMerge pull request #3145 from nakengelhardt/advertise_s... tree | commitdiff
2022-01-04 Zachary Snowlogger: fix unmatched expected warnings and errors tree | commitdiff
2021-12-16 CatherineMerge pull request #3115 from whitequark/issue-3112 tree | commitdiff
2021-12-16 CatherineMerge pull request #3114 from whitequark/issue-3113 tree | commitdiff
2021-12-14 CatherineMerge pull request #3111 from whitequark/issue-3110 tree | commitdiff
2021-12-14 Claire Xenia WolfHotfix for run_shell auto-detection tree | commitdiff
2021-12-14 CatherineFix null pointer dereference after failing to extract... tree | commitdiff
2021-12-12 CatherineMerge pull request #3105 from whitequark/cxxrtl-reset... tree | commitdiff
2021-12-12 Marcelina KościelnickaFix 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 XenMerge pull request #3099 from YosysHQ/claire/readargs tree | commitdiff
2021-12-09 Claire Xenia WolfAdded "yosys -r <topmodule>" tree | commitdiff
2021-12-09 Claire Xenia WolfUse "read" command to parse HDL files from Yosys comman... tree | commitdiff
2021-11-25 Loftysta: very crude static timing analysis pass tree | commitdiff
2021-11-05 Miodrag MilanovicMake 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 MilanovicRemoved semicolon from macro tree | commitdiff
2021-10-27 Marcelina Kościelnickadfflegalize: Refactor, add aldff support. tree | commitdiff
2021-10-26 Zachary Snowverilog: use derived module info to elaborate cell... tree | commitdiff
2021-10-26 Rupert SwarbrickSplit out logic for reprocessing an AstModule tree | commitdiff
2021-10-21 Marcelina KościelnickaChange implicit conversions from bool to Sig* to explicit. tree | commitdiff
2021-10-11 Claire XenMerge pull request #3039 from YosysHQ/claire/verific_aldff tree | commitdiff
2021-10-08 Marcelina KościelnickaFix a regression from #3035. tree | commitdiff
2021-10-07 Marcelina KościelnickaFfData: some refactoring. 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-10-02 Marcelina KościelnickaAdd $aldff and $aldffe: flip-flops with async load. tree | commitdiff
2021-10-02 Marcelina Kościelnickasimplemap: 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 WolfAdd additional check to SigSpec tree | commitdiff
2021-08-16 Marcelina Kościelnickakernel/mem: Remove old parameter when upgrading $mem... tree | commitdiff
2021-08-13 Rupert SwarbrickGenerate 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ścielnickalogger: Add -check-expected subcommand. tree | commitdiff
2021-08-11 Marcelina KościelnickaAdd v2 memory cells. tree | commitdiff
2021-08-10 Marcelina Kościelnickakernel/mem: Introduce transparency masks. tree | commitdiff
2021-08-09 Marcelina KościelnickaRefactor common parts of SAT-using optimizations into... tree | commitdiff
next