aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* chformal: Note about using -coverenable with the Verific frontendJannis Harder2023-02-141-0/+5
* chformal: Rename -coverprecond to -coverenableGeorge Rennie2022-06-182-7/+7
* chformal: Test -coverprecond and reuse the src attributeJannis Harder2022-06-182-2/+27
* chformal: Add -coverprecond optionGeorge Rennie2022-06-181-0/+14
* Bump versiongithub-actions[bot]2022-06-181-1/+1
* Merge pull request #3383 from jix/write_formal_map_romsJannis Harder2022-06-172-0/+2
|\
| * smt2, btor: Use memory_map -rom-only to make ROMs usable for k-inductionJannis Harder2022-06-172-0/+2
|/
* memory_map: Add -rom-only option.Marcelina Kościelnicka2022-06-171-4/+18
* Merge pull request #3382 from YosysHQ/micko/verific_extensionsMiodrag Milanović2022-06-171-54/+70
|\
| * use new verific extensions libraryMiodrag Milanovic2022-06-171-54/+70
|/
* memory_map: Use const drivers instead of FFs for ROMs.Marcelina Kościelnicka2022-06-171-52/+59
* Bump versiongithub-actions[bot]2022-06-171-1/+1
* memory_libmap: Fix wrprio handling.Marcelina Kościelnicka2022-06-171-1/+1
* memory_libmap: Fix params emitted for unused ports for consistency.Marcelina Kościelnicka2022-06-161-2/+3
* Bump versiongithub-actions[bot]2022-06-141-1/+1
* Add a check for packed memory MEMID uniquenessMarcelina Kościelnicka2022-06-131-0/+10
* Merge pull request #3196 from bfg86/bfg86/renameN. Engelhardt2022-06-131-4/+13
|\
| * Updating help-text with nakengelhardts suggestion.bfg862022-06-131-2/+2
| * Add -suffix option to rename -wire.bfg862022-02-111-4/+13
* | opt_ffinv: Fix use after free.Marcelina Kościelnicka2022-06-131-3/+6
* | removed deprecated features codeMiodrag Milanovic2022-06-131-235/+0
* | Bump versiongithub-actions[bot]2022-06-111-1/+1
* | Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fixJannis Harder2022-06-101-2/+7
|\ \
| * | smtbmc: noincr: keep solver running for post check-sat unrollingJannis Harder2022-06-081-2/+7
* | | Next dev cycleMiodrag Milanovic2022-06-102-2/+5
* | | Release version 0.18Miodrag Milanovic2022-06-102-3/+3
* | | Update manualMiodrag Milanovic2022-06-101-0/+8
* | | Updated CHANGELOGMiodrag Milanovic2022-06-101-0/+3
* | | Bump versiongithub-actions[bot]2022-06-101-1/+1
* | | Merge pull request #3349 from nakengelhardt/select_count_scratchpadN. Engelhardt2022-06-092-0/+12
|\ \ \
| * | | also make 'stat' save counts to scratchpadN. Engelhardt2022-06-011-0/+9
| * | | have 'select -count' save the count to scratchpad entry 'select.count'N. Engelhardt2022-06-011-0/+3
* | | | Merge pull request #3359 from jix/fmcombine-memidN. Engelhardt2022-06-091-0/+3
|\ \ \ \
| * | | | fmcombine: Add _gold/_gate suffix to memidsJannis Harder2022-06-031-0/+3
* | | | | Use compiler-generated default constructor for RTLIL::Const::ConstHenner Zeller2022-06-092-11/+3
* | | | | Avoid unnecessary copy of a potential large constant value.Henner Zeller2022-06-091-2/+2
* | | | | verific: Added "-vlog-libext" option to specify search extension for librariesMiodrag Milanovic2022-06-092-1/+17
* | | | | Bump versiongithub-actions[bot]2022-06-091-1/+1
* | | | | wreduce: Introduce -mux_undef option (aligned with opt_expr).Marcelina Kościelnicka2022-06-081-1/+9
| |_|/ / |/| | |
* | | | Merge pull request #3357 from jix/smtbmc-cvc5Jannis Harder2022-06-081-3/+13
|\ \ \ \
| * | | | smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5Jannis Harder2022-06-031-3/+13
| |/ / /
* | | | More updates on CHANGELOGMiodrag Milanovic2022-06-081-5/+9
* | | | Update changelog and manualMiodrag Milanovic2022-06-082-91/+170
* | | | sta: warn on unrecognised cells only onceLofty2022-06-081-1/+4
* | | | Bump versiongithub-actions[bot]2022-06-081-1/+1
* | | | Merge pull request #3367 from jix/smtlib2-module-fixesJannis Harder2022-06-073-11/+15
|\ \ \ \
| * | | | smt2: emit smtlib2_comb_expr outputs after all inputsJannis Harder2022-06-073-11/+15
|/ / / /
* | | | Merge pull request #3319 from programmerjake/smtlib2-expr-supportJannis Harder2022-06-076-6/+187
|\ \ \ \
| * | | | don't use sed -i because it won't work on macosJacob Lifshay2022-06-032-2/+3
| * | | | smtlib2_module: try to fix test on macosJacob Lifshay2022-06-021-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 05:56:33 +0000