List view

Fix ordering of queries by deduplicating indices.

bug

Status: Merged (completed).

goblint/analyzernumber 1270

#1270 In goblint/analyzer;

· by jerhard was closed on Nov 23, 2023

Update for Earlybird usage

debuggingAbstract debuggingAbstract debugging

setupDependencies, CI, releasingDependencies, CI, releasing

Status: Merged (completed).

goblint/analyzernumber 1251

#1251 In goblint/analyzer;

· by FungOliver was closed on Nov 20, 2023

Check duplicate library functions

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 1213

#1213 In goblint/analyzer;

· by sim642 was closed on Oct 10, 2023

Add missing library functions for large Concrat benchmarks

benchmarking

precision

Status: Merged (completed).

goblint/analyzernumber 1212

#1212 In goblint/analyzer;

· by sim642 was closed on Oct 26, 2023

Fix longjmp crash on Uninitialized

benchmarking

bug

Status: Merged (completed).

goblint/analyzernumber 1210

#1210 In goblint/analyzer;

· by sim642 was closed on Oct 16, 2023

Organize some general modules into dune libraries

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 1206

#1206 In goblint/analyzer;

· by sim642 was closed on Oct 12, 2023

Add some library functions for zstd

benchmarking

precision

Status: Merged (completed).

goblint/analyzernumber 1205

#1205 In goblint/analyzer;

· by sim642 was closed on Oct 10, 2023

Some ~15 more library functions

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 1203

#1203 In goblint/analyzer;

· by michael-schwarz was closed on Oct 9, 2023

Remove spurious <code>long double</code> constant warning

cleanupRefactoring, clean-upRefactoring, clean-up

hacktoberfest-acceptedhttps://hacktoberfest.digitalocean.com/https://hacktoberfest.digitalocean.com/

Status: Merged (completed).

goblint/analyzernumber 1202

#1202 In goblint/analyzer;

· by michael-schwarz was closed on Oct 4, 2023

Port ~50 library specifications to the new system

cleanupRefactoring, clean-upRefactoring, clean-up

hacktoberfest-acceptedhttps://hacktoberfest.digitalocean.com/https://hacktoberfest.digitalocean.com/

Status: Merged (completed).

goblint/analyzernumber 1200

#1200 In goblint/analyzer;

· by michael-schwarz was closed on Oct 4, 2023

Check all offsets, attributes and <code>typedef</code>s for ignored race memory locations

cleanupRefactoring, clean-upRefactoring, clean-up

precision

usability

Status: Merged (completed).

goblint/analyzernumber 1198

#1198 In goblint/analyzer;

· by sim642 was closed on Oct 2, 2023

Add final messages about unsound results

benchmarking

feature

unsound-usability

usability

Status: Merged (completed).

goblint/analyzernumber 1191

#1191 In goblint/analyzer;

· by sim642 was closed on Sep 29, 2023

Final errors about unsound results

benchmarking

feature

unsound-usability

usability

Status: Closed (completed).

#1190 In goblint/analyzer;

· by sim642 was closed on Sep 29, 2023

Spawn threads created from unknown functions as non-unique

cleanupRefactoring, clean-upRefactoring, clean-up

feature

unsound

Status: Merged (completed).

goblint/analyzernumber 1187

#1187 In goblint/analyzer;

· by michael-schwarz was closed on Nov 2, 2023

No shortcut for <code>narrow</code> and <code>meet</code> in HConsed when int refinement is active

bug

Status: Merged (completed).

goblint/analyzernumber 1186

#1186 In goblint/analyzer;

· by michael-schwarz was closed on Oct 18, 2023

Fix <code>NULL</code> and unknown pointer handling in <code>MayPointTo</code> and <code>ReachableFrom</code> for race analysis

bug

precision

unsound

Status: Merged (completed).

goblint/analyzernumber 1176

#1176 In goblint/analyzer;

· by sim642 was closed on Sep 27, 2023

Add and fix library functions for Concrat benchmarks

benchmarking

bug

cleanupRefactoring, clean-upRefactoring, clean-up

precision

unsound

Status: Merged (completed).

goblint/analyzernumber 1174

#1174 In goblint/analyzer;

· by sim642 was closed on Sep 27, 2023

Fix thread analysis termination with a self-creating thread

benchmarking

bug

Status: Merged (completed).

goblint/analyzernumber 1173

#1173 In goblint/analyzer;

· by sim642 was closed on Sep 19, 2023

<code>Cilfacade.split_anoncomp_name</code> exception for coreutils programs

benchmarking

bug

Status: Closed (completed).

#1171 In goblint/analyzer;

· by nathanschmidt was closed on Sep 18, 2023

Use record as <code>Access.A</code> type instead of a quintuple

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 1170

#1170 In goblint/analyzer;

· by karoliineh was closed on Sep 15, 2023

Add <code>zlib</code> and <code>liblzma</code> functions used in <code>The Silver Searcher</code> to <code>LibraryFunctions</code>

benchmarking

precision

Status: Merged (completed).

goblint/analyzernumber 1167

#1167 In goblint/analyzer;

· by karoliineh was closed on Sep 18, 2023

Use <code>AddressDomain</code> for queries

cleanupRefactoring, clean-upRefactoring, clean-up

precision

Status: Merged (completed).

goblint/analyzernumber 1144

#1144 In goblint/analyzer;

· by karoliineh was closed on Sep 27, 2023

fix: copying of files to GobView in projects with subdirectories

bug

feature

student-job

Status: Merged (completed).

goblint/analyzernumber 1143

#1143 In goblint/analyzer;

· by sallto was closed on Sep 23, 2023

Use <code>AddressDomain</code> for <code>MayPointTo</code> and <code>ReachableFrom</code> queries

cleanupRefactoring, clean-upRefactoring, clean-up

precision

type-safetyType-safety improvementsType-safety improvements

unsound

Status: Merged (completed).

goblint/analyzernumber 1142

#1142 In goblint/analyzer;

· by karoliineh was closed on Sep 18, 2023

Non-unique thread spawns

benchmarking

feature

good first issue

unsound

Status: Closed (completed).

#843 In goblint/analyzer;

· by sim642 was closed on Nov 2, 2023