Towards fixing GobView search: Avoid truncation of very large integers#1092

Merged

stilscher merged 9 commits intomasterfrom fix-gobview-search

Feb 7, 2024

+79-14

Commits on Jun 19, 2023

avoid truncation of very large integers
stilscher
committed

Commits on Jun 21, 2023

allow syntactic queries (no expression field) through Goblint
stilscher
committed

Commits on Jun 22, 2023

use negative ids for varinfos generated by Goblint and pseudo return nodes
stilscher
committed

Commits on Jun 26, 2023

add test cases for syntactic and semantic search in GobView
stilscher
committed

Commits on Jun 27, 2023

allow for semantic search expressions with function pointers and function parameters
stilscher
committed

Commits on Jan 26, 2024

use function id instead of (possibly negative) hash
stilscher
committed

Commits on Feb 1, 2024

Commits on Feb 5, 2024

update GobView submodule
stilscher
committed