Search results

Output g2html directly

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

proof-of-concept

setupDependencies, CI, releasingDependencies, CI, releasing

Status: Draft (not ready).

goblint/analyzernumber 1752

#1752 In goblint/analyzer;

· sim642 opened on May 23, 2025

Experiment with unassume for mutex analysis

feature

performanceAnalysis time, memory usageAnalysis time, memory usage

proof-of-concept

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

Status: Draft (not ready).

goblint/analyzernumber 1715

#1715 In goblint/analyzer;

· sim642 opened on Mar 20, 2025

First steps towards a Proof-of-Concept for analyzing threadpools

feature

proof-of-concept

Status: Draft (not ready).

goblint/analyzernumber 1180

#1180 In goblint/analyzer;

· michael-schwarz opened on Sep 20, 2023