What's Changed

• Update readme and dependencies by @sankalpgambhir in https://github.com/epfl-lara/stainless/pull/1663
• Move installation and build to docs; clean up tutorial docs by @sankalpgambhir in https://github.com/epfl-lara/stainless/pull/1664
• Fix crashing on receiving no input files by @sankalpgambhir in https://github.com/epfl-lara/stainless/pull/1666
• Add measures in library by @samuelchassot in https://github.com/epfl-lara/stainless/pull/1665
• Consider top-level functions in function call matching by @drganam in https://github.com/epfl-lara/stainless/pull/1668
• Fix ghost checker by splitting ghost annotation propagation and checks by @samuelchassot in https://github.com/epfl-lara/stainless/pull/1673
• allow ignored fields by @vkuncak in https://github.com/epfl-lara/stainless/pull/1675
• Remove fail_if_pull_request_is_draft job by @mbovel in https://github.com/epfl-lara/stainless/pull/1679
• Ignore ClassTag parameters by @mbovel in https://github.com/epfl-lara/stainless/pull/1678

Full Changelog: https://github.com/epfl-lara/stainless/compare/v0.9.9.1...v0.9.9.2