List view

Fix stack overflow in CompareAST

bug

Status: Merged (completed).

goblint/analyzernumber 872

#872 In goblint/analyzer;

· by jerhard was closed on Oct 31, 2022

Check <code>space</code> option for TD3 and removal of wpoints &amp; <code>sides-local</code> widening strategy are not enabled at the same time

bug

cleanupRefactoring, clean-upRefactoring, clean-up

unsound

Status: Merged (completed).

goblint/analyzernumber 874

#874 In goblint/analyzer;

· by michael-schwarz was closed on Oct 31, 2022

Move let syntax for applicative functor/monad to general library

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 897

#897 In goblint/analyzer;

· by sim642 was closed on Nov 15, 2022

Filter analyzed functions in <code>tf_proc</code> according to number of arguments

bug

Status: Merged (completed).

goblint/analyzernumber 885

#885 In goblint/analyzer;

· by jerhard was closed on Nov 8, 2022

Cleanup array domain

cleanupRefactoring, clean-upRefactoring, clean-up

Status: Merged (completed).

goblint/analyzernumber 902

#902 In goblint/analyzer;

· by michael-schwarz was closed on Nov 15, 2022

Int Domains: Do not refine on joining or widening

bug

Status: Merged (completed).

goblint/analyzernumber 904

#904 In goblint/analyzer;

· by michael-schwarz was closed on Nov 15, 2022

Do not set overflow flag during refinement

bug

precision

Status: Merged (completed).

goblint/analyzernumber 903

#903 In goblint/analyzer;

· by michael-schwarz was closed on Nov 15, 2022

Make Address Representatives Use Unit-domain for Index-Offsets

bug

cleanupRefactoring, clean-upRefactoring, clean-up

unsound

Status: Merged (completed).

goblint/analyzernumber 926

#926 In goblint/analyzer;

· by jerhard was closed on Nov 24, 2022

Fix pseudo ret comparison

bug

Status: Merged (completed).

goblint/analyzernumber 910

#910 In goblint/analyzer;

· by stilscher was closed on Nov 17, 2022

Use Cram for tests

testing

Status: Merged (completed).

goblint/analyzernumber 787

#787 In goblint/analyzer;

· by sim642 was closed on Sep 27, 2022

Add Apron octagon narrow

feature

precision

Status: Merged (completed).

goblint/analyzernumber 829

#829 In goblint/analyzer;

· by sim642 was closed on Aug 31, 2022

Flow-insensitive YAML witness invariants

feature

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

Status: Merged (completed).

goblint/analyzernumber 830

#830 In goblint/analyzer;

· by sim642 was closed on Sep 23, 2022

Generalize protection logging from apron

cleanupRefactoring, clean-upRefactoring, clean-up

feature

Status: Merged (completed).

goblint/analyzernumber 831

#831 In goblint/analyzer;

· by sim642 was closed on Sep 20, 2022

Privatized location invariants in YAML witnesses

feature

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

unsound

Status: Merged (completed).

goblint/analyzernumber 833

#833 In goblint/analyzer;

· by sim642 was closed on Oct 4, 2022

Remove side effects from base privatization invariant <code>write_global</code>-s

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Merged (completed).

goblint/analyzernumber 834

#834 In goblint/analyzer;

· by sim642 was closed on Sep 15, 2022

Remove <code>ID.is_bool</code> and <code>ID.is_int</code>

bug

cleanupRefactoring, clean-upRefactoring, clean-up

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

Status: Merged (completed).

goblint/analyzernumber 828

#828 In goblint/analyzer;

· by sim642 was closed on Sep 1, 2022

Refactor stub libraries structure

cleanupRefactoring, clean-upRefactoring, clean-up

preprocessingC preprocessingC preprocessing

testing

Status: Merged (completed).

goblint/analyzernumber 845

#845 In goblint/analyzer;

· by sim642 was closed on Oct 24, 2022

Attempt to optimize base eval mustbeequal layer

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Merged (completed).

goblint/analyzernumber 846

#846 In goblint/analyzer;

· by sim642 was closed on Oct 24, 2022

Mutex-Meet-TID Privatization for Base

feature

precision

Status: Merged (completed).

goblint/analyzernumber 789

#789 In goblint/analyzer;

· by michael-schwarz was closed on Sep 21, 2022

Improve timing, add Trace Event Format output

bug

debuggingAbstract debuggingAbstract debugging

feature

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

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Merged (completed).

goblint/analyzernumber 844

#844 In goblint/analyzer;

· by sim642 was closed on Oct 7, 2022

Expression splitting analysis prototype

feature

precision

Status: Merged (completed).

goblint/analyzernumber 497

#497 In goblint/analyzer;

· by sim642 was closed on Sep 30, 2022

Analysis of <code>pthread_cond</code>

feature

precision

Status: Merged (completed).

goblint/analyzernumber 520

#520 In goblint/analyzer;

· by michael-schwarz was closed on Sep 22, 2022

Optimize and refactor "Hoare" domains

bug

cleanupRefactoring, clean-upRefactoring, clean-up

performanceAnalysis time, memory usageAnalysis time, memory usage

Status: Merged (completed).

goblint/analyzernumber 809

#809 In goblint/analyzer;

· by sim642 was closed on Sep 20, 2022

Limit YAML witness invariants to to-be-read and just-written variables

feature

performanceAnalysis time, memory usageAnalysis time, memory usage

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

usability

Status: Merged (completed).

goblint/analyzernumber 819

#819 In goblint/analyzer;

· by sim642 was closed on Oct 4, 2022

Add server command to merge config by file name

feature

usability

Status: Merged (completed).

goblint/analyzernumber 817

#817 In goblint/analyzer;

· by karoliineh was closed on Aug 30, 2022