Skip to content

Release v6.81.0

Choose a tag to compare

@github-actions github-actions released this 13 Oct 11:42
· 51 commits to main since this release
a80aa48

What's Changed

  • feat(config): select a suite's compile-opts per builder mode (#802) by @hernloh in #805
  • feat(config): per-builder-mode compile inputs with filelist-modes (#782) by @hernloh in #806
  • fix(share-build): keep a coverage run's cov_dir/ out of include listings (#793) by @hernloh in #807
  • fix(share-build): never build on another checkout's pending verilation (#795) by @hernloh in #808
  • feat(coverage): merge raw databases in parallel shards (#783) by @hernloh in #809
  • feat(dispatch): opt-in serialise-checkouts names Slurm build jobs by the shared cache (#821) by @hernloh in #822
  • fix(fpv): grade a failed induction step as a prove verdict (#792) by @hernloh in #810
  • feat(mut): accept user-supplied patch mutants in mut.yaml (#785) by @hernloh in #811
  • fix(mut): score an FPV tool failure as ERRORED, not KILLED (#804) by @hernloh in #812
  • fix(synth): set COLUMNS for every Yosys launch so yosys-abc cannot hang (#797) by @hernloh in #813
  • fix(synth): find the ABC period in sourced SDCs, behind procs, and on tool: openroad (#788) by @hernloh in #814
  • feat(synth): give ABC a driving cell and output load from the platform (#787) by @hernloh in #815
  • feat(synth): optional clock gating with yosys clockgate before dfflibmap (#786) by @hernloh in #816
  • feat(pnr): choose the hardened abstract's obstruction style (#768) by @hernloh in #817

Full Changelog: v6.80.0...v6.81.0