

26.1.2 (9 February 2026)
------------------------


**Features**

* DVT\-24473 New Rule\: R\.1414 Do not constrain the size of associative arrays

**Enhancements**

* DVT\-24456 Add parameter to SVTB\.29\.1\.0 and R\.1169 to flag failures only in specified scopes
* DVT\-24579 Add parameter to SVTB\.27\.10\.1 to skip flagging local fields that are shadowed in child classes
* DVT\-24581 Add parameter to XVM\.2\.1\.17 and XVM57 to skip classes defined in modules
* DVT\-24582 Add parameter to R\.1391 to skip non\-deterministic functions
* DVT\-24585 Add parameter to SVTB\.15\.9 to allow methods that use only non\-rand fields
* DVT\-24623 XVM\.3\.6 Improve handling of macros

**Bugfixes**

* DVT\-24174 Do not suppress invocation errors when running verissimo\.sh \-silent
* DVT\-24304 XVM\.4\.21\.1, SVTB\.15\.4\.1\.1, SVTB\.5\.11\.2\.3 should not fail for macro calls inside initial blocks
* DVT\-24515 Generated Verissimo rulepool XML file should not include rule properties
* DVT\-24583 R\.1402 & R\.1411 should fail for inline randomization
* DVT\-24621 Use rule names instead of IDs in ruleset documentation TOC 



26.1.1 (26 January 2026)
------------------------

**HIGHLIGHTS**

- AI Assistant: Ability to :ref:`explain<AI Assistant Explain Failure>` and :ref:`auto‑correct<AI Assistant Auto-correct Failure>` failures

**NOTEWORTHY**

- 48 new rules
- Added auto-correct for 18 rules

- Added predefined labels to Verissimo rules
- Ability to filter the ruleset documentation based on rule labels and categories
- Ability to lint projects containing precompiled libraries
- Add original failure message and match indication in the waivers editor


-  Kit distribution updates:

   -  New Linux multiarch kit distributions (x86\_64 & aarch64)
   -  Renamed kit distribution archives and the root folder inside

.. Note::
  Some of the highlights and noteworthy improvements mentioned above were rolled-out in 25.#.# releases for early adopters.

**Performance**

* DVT\-24455 Speed\-up rule XVM\.3\.6

**REMOVED**

* DVT\-23700 Remove deprecated dvt\_sv\_lint\_gui\.sh and dvt\_sv\_lint\_batch\.sh scripts
* DVT\-23777 Remove deprecated bottom\-up implementation of rule XVM51b
* DVT\-23778 Remove deprecated XVM component name\-pattern from ruleset configuration
* DVT\-24041 Remove obsolete \-compare argument of verissimo\.sh

**DEPRECATED**

* DVT\-24476 Deprecate the ability to specify pre\-waivers in ruleset XML file

**Features**

* DVT\-23803 New Linux multiarch kit distributions (x86\_64 & aarch64)
* DVT\-24523 New Rule\: R\.1412 Only use casez
* DVT\-24526 New Rule\: R\.1413 Case statements must have priority or unique

**Enhancements**

* DVT\-24230 Renamed kit distribution archives and the root folder inside
* DVT\-24433 Add parameter to R\.1369 to skip comparisons with \`wrealXState and \`wrealZState
* DVT\-24451 & DVT\-22180 Add relative path support for verissimo\.sh \-open\_report 

**Bugfixes**

* DVT\-24237 R\.1225 False failures for reduction operations
* DVT\-24431 R\.1047 False failures for expressions containing \`wrealXState and \`wrealZState
* DVT\-24518 Fixed NullPointerException in SVTB\.1\.1\.20
* DVT\-24519 XVM\.7\.2 False failure for an object created using a valid type parameter
* DVT\-24528 R\.1362 False failures for randcase items with same weight
* DVT\-24529 R\.1050 False failures for additions or subtractions done in macro calls
* DVT\-24532 SVTB\.10\.16 False failures for conditional ternary operators
* DVT\-24536 R\.1152 should fail for package imports in classes and modules
* DVT\-24538 SVTB\.4\.1\.8\.1 False failures for packed union types
* DVT\-24546 R\.1185 False failures for method arguments with default values
* DVT\-24580 SVTB\.1\.1\.26 False failures and missing failures for final blocks inside interfaces
* DVT\-24594 Fixed NullPointerException in SVTB\.1\.1\.26
* DVT\-24641 Suppress internal UnsupportedOperation exceptions from output of Verissimo batch runs

