Search results

Anonymous classes

sv-compFeature or bug we need for SV-CompFeature or bug we need for SV-Comp

Status: Open.

#205 In lisa-analyzer/jlisa;

· VincenzoArceri opened on Sep 23, 2025

Autoboxing and unboxing operations

sv-compFeature or bug we need for SV-CompFeature or bug we need for SV-Comp

Status: Open.

#198 In lisa-analyzer/jlisa;

· VincenzoArceri opened on Sep 15, 2025

Fix access globals test case

Status: Open.

#197 In lisa-analyzer/jlisa;

· giacomozanatta opened on Sep 15, 2025

Fix Javadoc

backlogWork item pending prioritization or future planningWork item pending prioritization or future planning

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#190 In lisa-analyzer/jlisa;

· giacomozanatta opened on Sep 12, 2025

n-dimensional array support

backlogWork item pending prioritization or future planningWork item pending prioritization or future planning

enhancementNew feature or requestNew feature or request

Status: Open.

#186 In lisa-analyzer/jlisa;

· giacomozanatta opened on Sep 11, 2025

Syntactic loop unrolling

enhancementNew feature or requestNew feature or request

sv-compFeature or bug we need for SV-CompFeature or bug we need for SV-Comp

Status: Open.

#179 In lisa-analyzer/jlisa;

· VincenzoArceri opened on Sep 10, 2025

Nested inner interface

Status: Open.

#124 In lisa-analyzer/jlisa;

· VincenzoArceri opened on Aug 27, 2025

Supporting static classes

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#123 In lisa-analyzer/jlisa;

· VincenzoArceri opened on Aug 27, 2025

Add support for labeled break statement

Status: Open.

#52 In lisa-analyzer/jlisa;

· giacomozanatta opened on May 27, 2025

The analysis state is not updating correctly

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#37 In lisa-analyzer/jlisa;

· giacomozanatta opened on May 8, 2025

Java Records

Status: Open.

#31 In lisa-analyzer/jlisa;

· giacomozanatta opened on May 7, 2025

Lambda expressions

Status: Open.

#30 In lisa-analyzer/jlisa;

· giacomozanatta opened on May 7, 2025