Search results

Staging for Race Digests

benchmarking

feature

in progress

Status: Draft (not ready).

goblint/analyzernumber 1666

#1666 In goblint/analyzer;

· michael-schwarz opened on Jan 29, 2025

Linear Two Variable Equality Domain Refining Value Domain

in progress

precision

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

Status: Draft (not ready).

goblint/analyzernumber 1635

#1635 In goblint/analyzer;

· DrMichaelPetter opened on Nov 29, 2024

Sparsification of Affine Equality Matrix

feature

in progress

performanceAnalysis time, memory usageAnalysis time, memory usage

practical-coursePractical Course at TUMPractical Course at TUM

student-job

Status: Open (in progress).

goblint/analyzernumber 1625

#1625 In goblint/analyzer;

· GollokG opened on Nov 5, 2024

Bitfield Domain

feature

in progress

practical-coursePractical Course at TUMPractical Course at TUM

precision

student-job

Status: Open (in progress).

goblint/analyzernumber 1623

#1623 In goblint/analyzer;

· ManuelLerchner opened on Nov 5, 2024