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

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

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

Permits statement

Status: Open.

#29 In lisa-analyzer/jlisa;

· giacomozanatta opened on May 7, 2025

Java Module

Status: Open.

#28 In lisa-analyzer/jlisa;

· giacomozanatta opened on May 7, 2025

Array Creation

Status: Open.

#19 In lisa-analyzer/jlisa;

· giacomozanatta opened on May 7, 2025