projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2022-06-09 Henner ZellerAvoid unnecessary copy of a potential large constant... commit | commitdiff | tree
2022-06-09 Miodrag Milanovicverific: Added "-vlog-libext" option to specify search... commit | commitdiff | tree
2022-06-09 github-actions... Bump version commit | commitdiff | tree
2022-06-08 Marcelina Kościelnickawreduce: Introduce -mux_undef option (aligned with... commit | commitdiff | tree
2022-06-08 Jannis HarderMerge pull request #3357 from jix/smtbmc-cvc5 commit | commitdiff | tree
2022-06-08 Miodrag MilanovicMore updates on CHANGELOG commit | commitdiff | tree
2022-06-08 Miodrag MilanovicUpdate changelog and manual commit | commitdiff | tree
2022-06-08 Loftysta: warn on unrecognised cells only once commit | commitdiff | tree
2022-06-08 github-actions... Bump version commit | commitdiff | tree
2022-06-07 Jannis HarderMerge pull request #3367 from jix/smtlib2-module-fixes commit | commitdiff | tree
2022-06-07 Jannis Hardersmt2: emit smtlib2_comb_expr outputs after all inputs commit | commitdiff | tree
2022-06-07 Jannis HarderMerge pull request #3319 from programmerjake/smtlib2... commit | commitdiff | tree
2022-06-07 Jannis HarderMerge pull request #3358 from jix/smtbmc-yices-forall commit | commitdiff | tree
2022-06-07 Marcelina Kościelnickaopt_ffinv: Harden against simple ff/inv loop. commit | commitdiff | tree
2022-06-07 Marcelina Kościelnickaiopadmap: Fix z assignment removal. commit | commitdiff | tree
2022-06-05 github-actions... Bump version commit | commitdiff | tree
2022-06-04 Miodrag Milanovicverific: proper file location for readmem commands commit | commitdiff | tree
2022-06-04 github-actions... Bump version commit | commitdiff | tree
2022-06-03 Jannis Hardersmtbmc: Force nonincremental mode when yices is used... commit | commitdiff | tree
2022-06-03 Jannis Hardersmtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5 commit | commitdiff | tree
2022-06-03 Jacob Lifshaydon't use sed -i because it won't work on macos smtlib2-expr-support commit | commitdiff | tree
2022-06-03 Miodrag MilanovicFix preventing show crashing with newer graphviz commit | commitdiff | tree
2022-06-03 Jacob Lifshaysmtlib2_module: try to fix test on macos commit | commitdiff | tree
2022-06-03 Jacob Lifshaysmt2: Add smtlib2_comb_expr attribute to allow user... commit | commitdiff | tree
2022-06-03 github-actions... Bump version commit | commitdiff | tree
2022-06-02 Marcelina KościelnickaAdd -no-rw-check option to memory_dff + memory + synth_... commit | commitdiff | tree
2022-06-02 Marcelina Kościelnickamemory_dff: Add support for no_rw_check attribute. commit | commitdiff | tree
2022-05-31 Jannis HarderMerge pull request #3348 from zachjs/func-tern-hint commit | commitdiff | tree
2022-05-31 github-actions... Bump version commit | commitdiff | tree
2022-05-30 Zachary Snowverilog: fix width/sign detection for functions commit | commitdiff | tree
2022-05-30 Miodrag MilanovićMerge pull request #3347 from DanielHuisman/fix-3053 commit | commitdiff | tree
2022-05-30 Daniel HuismanFix typo in emcc flags (typo introduced by #3053) commit | commitdiff | tree
2022-05-30 Jannis Harderverilog: fix size and signedness of array querying... commit | commitdiff | tree
2022-05-28 github-actions... Bump version commit | commitdiff | tree
2022-05-27 Patrick Urbangatemate: Fix minor issues with `memory_libmap` (#3343) commit | commitdiff | tree
2022-05-27 Miodrag MilanovićMerge pull request #3333 from mohamed/feature/tmpdir commit | commitdiff | tree
2022-05-27 Miodrag MilanovicCleanup, and fix windows commit | commitdiff | tree
2022-05-27 Mohamed A.... Observe $TMPDIR variable when creating tmp files commit | commitdiff | tree
2022-05-27 Miodrag MilanovićMerge pull request #3341 from mmicko/unused_vars commit | commitdiff | tree
2022-05-27 Miodrag MilanovicUpload emscripten artifact commit | commitdiff | tree
2022-05-27 Miodrag MilanovicRemove set but unused variable commit | commitdiff | tree
2022-05-27 Miodrag MilanovicAdd emcc build (stuck if all cpus used on GH) commit | commitdiff | tree
2022-05-27 Miodrag MilanovicProper std::move commit | commitdiff | tree
2022-05-27 Miodrag MilanovicUse proper operator commit | commitdiff | tree
2022-05-27 Miodrag MilanovićMerge pull request #3053 from DanielHuisman/pr-2 commit | commitdiff | tree
2022-05-26 github-actions... Bump version commit | commitdiff | tree
2022-05-25 Jannis Harderverilog: fix $past's signedness commit | commitdiff | tree
2022-05-25 Miodrag MilanovićMerge pull request #3011 from DanielHuisman/pr-1 commit | commitdiff | tree
2022-05-25 Jannis HarderMerge pull request #3335 from programmerjake/divfloor... commit | commitdiff | tree
2022-05-25 Miodrag MilanovićMerge pull request #3138 from DanielG/fix-git-rev commit | commitdiff | tree
2022-05-25 Daniel GröberMake GIT_REV logic work in release tarballs commit | commitdiff | tree
2022-05-25 Jannis Harderverilog: fix signedness when removing unreachable cases commit | commitdiff | tree
2022-05-24 Jacob Lifshayadd $divfloor support to write_smt2 divfloor-in-write_smt2 commit | commitdiff | tree
2022-05-24 github-actions... Bump version commit | commitdiff | tree
2022-05-23 Miodrag MilanovićMerge pull request #3332 from YosysHQ/verific_f commit | commitdiff | tree
2022-05-23 Miodrag Milanovicfix text to fit 80 columns commit | commitdiff | tree
2022-05-23 Miodrag MilanovicUpdate verific command file documentation commit | commitdiff | tree
2022-05-23 Miodrag MilanovicUse analysis mode if set in file commit | commitdiff | tree
2022-05-23 Miodrag MilanovićMerge pull request #3331 from YosysHQ/git_rev_fix commit | commitdiff | tree
2022-05-23 Jannis HarderChange way to get commit sha commit | commitdiff | tree
2022-05-23 gatecatabc9_ops: Don't leave unused derived modules lying... commit | commitdiff | tree
2022-05-21 github-actions... Bump version commit | commitdiff | tree
2022-05-20 Jannis HarderMerge pull request #3324 from jix/confusing-select... commit | commitdiff | tree
2022-05-19 Jannis Harderselect: Fix -assert-none and -assert-any error output... commit | commitdiff | tree
2022-05-19 github-actions... Bump version commit | commitdiff | tree
2022-05-18 Marcelina KościelnickaAdd memory_bmux2rom pass. commit | commitdiff | tree
2022-05-18 Marcelina KościelnickaAdd memory_libmap tests. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickagatemate: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickamachxo2: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickaefinix: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickaanlogic: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickaice40: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickaxilinx: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickagowin: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickanexus: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickaecp5: Use `memory_libmap` pass. commit | commitdiff | tree
2022-05-18 Marcelina KościelnickaAdd memory_libmap pass. commit | commitdiff | tree
2022-05-18 Marcelina Kościelnickaproc_rom: Add special handling of const-0 address bits. commit | commitdiff | tree
2022-05-18 github-actions... Bump version commit | commitdiff | tree
2022-05-17 Miodrag MilanovićMerge pull request #3310 from robinsonb5-PRs/master master commit | commitdiff | tree
2022-05-17 Marcelina Kościelnickaopt_ffinv: Use ModIndex instead of ModWalker. commit | commitdiff | tree
2022-05-16 Alastair M... Use log_warning when Tcl_Init fails, report error with... commit | commitdiff | tree
2022-05-16 Jannis HarderMerge pull request #3314 from jix/sva_value_change_logi... commit | commitdiff | tree
2022-05-14 github-actions... Bump version commit | commitdiff | tree
2022-05-13 Marcelina KościelnickaAdd opt_ffinv pass. commit | commitdiff | tree
2022-05-13 github-actions... Bump version commit | commitdiff | tree
2022-05-12 Marcelina KościelnickaAdd proc_rom pass. commit | commitdiff | tree
2022-05-11 Jannis Harderverific: Use new value change logic also for $stable... commit | commitdiff | tree
2022-05-10 Alastair M... Now calls Tcl_Init after creating the interp, fixes... commit | commitdiff | tree
2022-05-10 github-actions... Bump version commit | commitdiff | tree
2022-05-09 Jannis HarderMerge pull request #3305 from jix/sva_value_change_logic commit | commitdiff | tree
2022-05-09 Jannis HarderMerge pull request #3297 from jix/sva_nested_clk_else commit | commitdiff | tree
2022-05-09 Jannis Harderverific: Improve logic generated for SVA value change... commit | commitdiff | tree
2022-05-09 Miodrag MilanovicNext dev cycle commit | commitdiff | tree
2022-05-09 Miodrag MilanovicRelease version 0.17 yosys-0.17 commit | commitdiff | tree
2022-05-09 Miodrag MilanovicUpdate CHANGELOG commit | commitdiff | tree
2022-05-09 Miodrag MilanovicUpdate manual commit | commitdiff | tree
2022-05-09 Miodrag MilanovićMerge pull request #3299 from YosysHQ/mmicko/sim_memory commit | commitdiff | tree
2022-05-09 Miodrag MilanovicFix running sva tests commit | commitdiff | tree
2022-05-08 github-actions... Bump version commit | commitdiff | tree
next