Samuel Pastva

If the app architecture contains only activities, not fragments, the list of fragments will be empty, hence get(0) will cause the library to produce an error. If the list of...

Support for `working-directory`

5

Hello, and merry Christmas! Maybe I am missing something, but is there a way to run this action in some sub-folder of the repository? I am trying to have a...

[Feature Request] Reading AST of uninterpreted functions from models.

2

Hi! I am looking to somehow retrieve the information about uninterpreted functions produced as part of a `Model` object in some concise manner. At the moment, I can "reconstruct" the...

Add support for showing all `overload` signatures

3

This PR should solve #442 by displaying each `overload` type signature as a separate indented block after the "main" method signature. So far, this works fine on my own project...