projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2022-06-23 Jacob Lifshayadd hierarchy -smtcheck simcheck-allow-smtlib2-blackboxes commit | commitdiff | tree
2022-06-22 github-actions... Bump version commit | commitdiff | tree
2022-06-21 ArchieAdding expected error message. commit | commitdiff | tree
2022-06-21 ArchieAdding testcase for issue 3374 commit | commitdiff | tree
2022-06-21 ArchieAdd check for BLIF with no model name commit | commitdiff | tree
2022-06-21 Miodrag MilanovicRevert "use new verific extensions library" commit | commitdiff | tree
2022-06-21 Jannis HarderMerge pull request #3387 from ekiwi/btor-pos-cell commit | commitdiff | tree
2022-06-21 github-actions... Bump version commit | commitdiff | tree
2022-06-20 Kevin Läuferbtor: add support for $pos cell commit | commitdiff | tree
2022-06-20 Loftycodeowners: adopt ABC9 and update intel_alm username commit | commitdiff | tree
2022-06-18 github-actions... Bump version commit | commitdiff | tree
2022-06-17 Jannis HarderMerge pull request #3383 from jix/write_formal_map_roms commit | commitdiff | tree
2022-06-17 Jannis Hardersmt2, btor: Use memory_map -rom-only to make ROMs usabl... commit | commitdiff | tree
2022-06-17 Marcelina Kościelnickamemory_map: Add -rom-only option. commit | commitdiff | tree
2022-06-17 Miodrag MilanovićMerge pull request #3382 from YosysHQ/micko/verific_ext... commit | commitdiff | tree
2022-06-17 Miodrag Milanovicuse new verific extensions library commit | commitdiff | tree
2022-06-17 Marcelina Kościelnickamemory_map: Use const drivers instead of FFs for ROMs. commit | commitdiff | tree
2022-06-17 github-actions... Bump version commit | commitdiff | tree
2022-06-17 Marcelina Kościelnickamemory_libmap: Fix wrprio handling. commit | commitdiff | tree
2022-06-16 Marcelina Kościelnickamemory_libmap: Fix params emitted for unused ports... commit | commitdiff | tree
2022-06-14 github-actions... Bump version commit | commitdiff | tree
2022-06-13 Marcelina KościelnickaAdd a check for packed memory MEMID uniqueness commit | commitdiff | tree
2022-06-13 N. EngelhardtMerge pull request #3196 from bfg86/bfg86/rename commit | commitdiff | tree
2022-06-13 Marcelina Kościelnickaopt_ffinv: Fix use after free. commit | commitdiff | tree
2022-06-13 Miodrag Milanovicremoved deprecated features code commit | commitdiff | tree
2022-06-13 bfg86Updating help-text with nakengelhardts suggestion. commit | commitdiff | tree
2022-06-11 github-actions... Bump version commit | commitdiff | tree
2022-06-10 Jannis HarderMerge pull request #3368 from jix/smtbmc-unroll-noincr... commit | commitdiff | tree
2022-06-10 Miodrag MilanovicNext dev cycle commit | commitdiff | tree
2022-06-10 Miodrag MilanovicRelease version 0.18 commit | commitdiff | tree
2022-06-10 Miodrag MilanovicUpdate manual commit | commitdiff | tree
2022-06-10 Miodrag MilanovicUpdated CHANGELOG commit | commitdiff | tree
2022-06-10 github-actions... Bump version commit | commitdiff | tree
2022-06-09 N. EngelhardtMerge pull request #3349 from nakengelhardt/select_coun... commit | commitdiff | tree
2022-06-09 N. EngelhardtMerge pull request #3359 from jix/fmcombine-memid commit | commitdiff | tree
2022-06-09 Henner ZellerUse compiler-generated default constructor for RTLIL... commit | commitdiff | tree
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 Hardersmtbmc: noincr: keep solver running for post check... 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 Harderfmcombine: Add _gold/_gate suffix to memids 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-06-01 N. Engelhardtalso make 'stat' save counts to scratchpad commit | commitdiff | tree
2022-06-01 N. Engelhardthave 'select -count' save the count to scratchpad entry... 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
next