Search results

Use sets for widening thresholds instead of lists

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Merged (completed).

goblint/analyzernumber 1654

#1654 In goblint/analyzer;

· by karoliineh was closed on Jan 15, 2025

 ·  

v2.6.0

Fix code scanning alert - Semgrep Finding: semgrep.fold-exists

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Closed (completed).

#1618 In goblint/analyzer;

· by michael-schwarz was closed on Nov 4, 2024

 ·  

v2.5.0

Replace some folds with exists or for_all

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Merged (completed).

goblint/analyzernumber 1614

#1614 In goblint/analyzer;

· by sim642 was closed on Nov 1, 2024

 ·  

v2.5.0

Improve flat string domain hash

bug

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

type-safetyType-safety improvementsType-safety improvements

Status: Merged (completed).

goblint/analyzernumber 1602

#1602 In goblint/analyzer;

· by sim642 was closed on Oct 24, 2024

 ·  

v2.5.0

⛽: Use minimum to combine incoming gas values in per-context gas

bug

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Merged (completed).

goblint/analyzernumber 1598

#1598 In goblint/analyzer;

· by michael-schwarz was closed on Oct 14, 2024

 ·  

v2.5.0

Restrict unrolling to loops that are nested within less than 4 loops

performanceAnalysis time, memory usageAnalysis time, memory usage

sv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnesses

Status: Merged (completed).

goblint/analyzernumber 1595

#1595 In goblint/analyzer;

· by karoliineh was closed on Oct 11, 2024

 ·  

SV-COMP 2025

Variable hashes have too many collisions

bug

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Closed (completed).

#1594 In goblint/analyzer;

· by arkocal was closed on Oct 24, 2024

 ·  

v2.5.0

Use sets for widening thresholds instead of lists

cleanupRefactoring, clean-upRefactoring, clean-up

good first issue

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Closed (completed).

#1591 In goblint/analyzer;

· by sim642 was closed on Jan 15, 2025

 ·  

v2.6.0

Adjust loop unrolling defaults

performanceAnalysis time, memory usageAnalysis time, memory usage

precision

sv-compSV-COMP (analyses, results), witnessesSV-COMP (analyses, results), witnesses

Status: Merged (completed).

goblint/analyzernumber 1584

#1584 In goblint/analyzer;

· by karoliineh was closed on Oct 2, 2024

 ·  

SV-COMP 2025

Context Gas per Function ⛽

cleanupRefactoring, clean-upRefactoring, clean-up

feature

performanceAnalysis time, memory usageAnalysis time, memory usage

precision

Status: Merged (completed).

goblint/analyzernumber 1570

#1570 In goblint/analyzer;

· by michael-schwarz was closed on Sep 23, 2024

 ·  

v2.5.0

Provide per-fundec context gas

feature

in progress

performanceAnalysis time, memory usageAnalysis time, memory usage

precision

Status: Closed (completed).

#1569 In goblint/analyzer;

· by michael-schwarz was closed on Sep 23, 2024

 ·  

v2.5.0

Improve history thread ID may_create

feature

performanceAnalysis time, memory usageAnalysis time, memory usage

precision

relationalRelational analyses (Apron, affeq, lin2var)Relational analyses (Apron, affeq, lin2var)

Status: Merged (completed).

goblint/analyzernumber 1561

#1561 In goblint/analyzer;

· by sim642 was closed on Jan 27, 2025

 ·  

v2.6.0