Tim Ortel

Detect renamed functions and global variables.

3

This pull requests builds on top of [my pull request about detection renamed local variables](https://github.com/goblint/analyzer/pull/731). It implements an algorithm, that can detect renamed functions and global variables on an incremental...

Add rpc test cases

1

Currently, only serialization and message creation is tested (which internally tests the entire code generation). However, test cases should be added that send RPCs to a local test server and...

ANTLR failure on message names that are equal to keywords

1

`proto message Foo { string message = 1; } ` fails, because message is a keyword.

`Development`: Fix broken push notifications for mobile apps

1

### Checklist #### General - [x] Language: I followed the [guidelines for inclusive, diversity-sensitive, and appreciative language](https://docs.artemis.cit.tum.de/dev/guidelines/language-guidelines/). - [x] I chose a title conforming to the [naming conventions for pull...