Dario Russi

Results 26 issues of Dario Russi

## Description Describe the changes or additions included in this PR. ## Test Plan How did you test the new or updated feature? --- If your changes are not user-facing...

## Motivation Cache for generic instantiation ### Have you read the [Contributing Guidelines on pull requests](https://github.com/move-language/move/blob/main/CONTRIBUTING.md#developer-workflow)? yes ## Test Plan existing tests

## Motivation Set up configurable limits for generic instantiation. ### Have you read the [Contributing Guidelines on pull requests](https://github.com/move-language/move/blob/main/CONTRIBUTING.md#developer-workflow)? yes ## Test Plan existing tests

## Motivation Test instantiation cache ### Have you read the [Contributing Guidelines on pull requests](https://github.com/move-language/move/blob/main/CONTRIBUTING.md#developer-workflow)? Yes ## Test Plan Not yet

## Motivation Check that type instantiation is below a limit in both depth and width ### Have you read the [Contributing Guidelines on pull requests](https://github.com/move-language/move/blob/main/CONTRIBUTING.md#developer-workflow)? Yes ## Test Plan Not...

## Description This is not going to be the model for package analysis as we are working on something else. As such I am moving it back to draft. However,...

## Description Bonus example ## Test Plan this is it --- If your changes are not user-facing and not a breaking change, you can skip the following section. Otherwise, please...

Stale

## Description What an horrible title... also I do not know what I am doing so take a look and let me know, I am a bit at a loss...

## Description Mostly moved tests in their own files. Particularly tests that have to be expanded. Move 2024 cleanup. Formatting and convention alignment. This is almost no change except for...

## Description Describe the changes or additions included in this PR. ## Test plan How did you test the new or updated feature? --- ## Release notes Check each box...