Malloc uniqueness#722

Merged

michael-schwarz merged 25 commits intogoblint:masterfrom

TDacik:malloc_uniqueness

Jul 27, 2022

Commits on May 4, 2022

Commits on May 10, 2022

Fix JSON syntax error in options schema

michael-schwarz
and
sim642
authored
Remove explicit enabling of recording of backtraces (done via `-v`)

michael-schwarz
and
sim642
authored

Commits on Jul 18, 2022

Commits on Jul 19, 2022

Merge branch 'master' into malloc_uniqueness
michael-schwarz
committed

Commits on Jul 24, 2022

Commits on Jul 25, 2022

Commits on Jul 27, 2022

Merge branch 'master' into malloc_uniqueness
michael-schwarz
committed