GitHub · Where software is built

Preview

Labels Milestones New issue

Sparsification of Affine Equality Matrix

practical-course

goblint/analyzer

#1625

· GollokG opened

on Nov 5, 2024

Termination analysis cleanup

#1245

· sim642 opened

on Nov 15, 2023

·

should not `eval` unread globals

#254

· vogler opened

on Jun 16, 2021

Analysis run with extensive restarting causes stack overflow

#697

· stilscher opened

on Apr 25, 2022

LINE in macro can cause several functions to be changed

#630

· stilscher opened

on Mar 8, 2022

Parallel preprocessing and parsing

#589

· sim642 opened

on Feb 3, 2022

Switch to HoareSet for MayLocks

#718

· michael-schwarz opened

on May 4, 2022

Allow disabling context-sensitivity for specific functions

#929

· michael-schwarz opened

on Nov 24, 2022

`var_eq` doesn't remove unreachable variables in `enter`

good first issue

#1128

· sim642 opened

on Aug 4, 2023

Clean thread joins analysis 4× slowdown

#1120

· sim642 opened

on Jul 28, 2023

Regressions from string literals domain

#1126

· sim642 opened

on Aug 3, 2023

Too much time spent on reachability computations

#1194

· sim642 opened

on Sep 27, 2023