Verinfast

What's Changed
* Update boto3 requirement from ~=1.35.60 to ~=1.35.66 by dependabot in https://github.com/VerinFast/verinfast/pull/618
* Update semgrep requirement from ~=1.96.0 to ~=1.97.0 by dependabot in https://github.com/VerinFast/verinfast/pull/616
* Update coverage requirement from ~=7.6.4 to ~=7.6.7 by dependabot in https://github.com/VerinFast/verinfast/pull/614
* Updated Modernmetrics version by SeanTConrad in https://github.com/VerinFast/verinfast/pull/619


**Full Changelog**: https://github.com/VerinFast/verinfast/compare/0.6.16...0.6.17

What's Changed
* Update boto3 requirement from ~=1.35.42 to ~=1.35.54 by dependabot in https://github.com/VerinFast/verinfast/pull/595
* Update johnnydep requirement from ~=1.20.5 to ~=1.20.6 by dependabot in https://github.com/VerinFast/verinfast/pull/587
* Update semgrep requirement from ~=1.92.0 to ~=1.95.0 by dependabot in https://github.com/VerinFast/verinfast/pull/593
* Update coverage requirement from ~=7.6.3 to ~=7.6.4 by dependabot in https://github.com/VerinFast/verinfast/pull/578
* Update azure-mgmt-resource requirement from ~=23.1.1 to ~=23.2.0 by dependabot in https://github.com/VerinFast/verinfast/pull/582
* Update azure-mgmt-network requirement from ~=27.0.0 to ~=28.0.0 by dependabot in https://github.com/VerinFast/verinfast/pull/596
* Update pytest-cov requirement from ~=5.0.0 to ~=6.0.0 by dependabot in https://github.com/VerinFast/verinfast/pull/597
* License by aylusltd in https://github.com/VerinFast/verinfast/pull/590
* added package lock as fallback to npm to avoid double count by aylusltd in https://github.com/VerinFast/verinfast/pull/598
* Update boto3 requirement from ~=1.35.54 to ~=1.35.55 by dependabot in https://github.com/VerinFast/verinfast/pull/599
* Update semgrep requirement from ~=1.95.0 to ~=1.96.0 by dependabot in https://github.com/VerinFast/verinfast/pull/601
* Update boto3 requirement from ~=1.35.55 to ~=1.35.56 by dependabot in https://github.com/VerinFast/verinfast/pull/602
* bucket size in gcp by ojokure in https://github.com/VerinFast/verinfast/pull/600
* Update boto3 requirement from ~=1.35.56 to ~=1.35.59 by dependabot in https://github.com/VerinFast/verinfast/pull/605
* Error checking on package-lock walker by SeanTConrad in https://github.com/VerinFast/verinfast/pull/606
* Update boto3 requirement from ~=1.35.59 to ~=1.35.60 by dependabot in https://github.com/VerinFast/verinfast/pull/607

New Contributors
* ojokure made their first contribution in https://github.com/VerinFast/verinfast/pull/600

**Full Changelog**: https://github.com/VerinFast/verinfast/compare/0.6.15...0.6.16

What's Changed
* Update boto3 requirement from ~=1.35.29 to ~=1.35.32 by dependabot in https://github.com/VerinFast/verinfast/pull/550
* Combined PRs by github-actions in https://github.com/VerinFast/verinfast/pull/558
* Changing import methods to better support pipx installs by SeanTConrad in https://github.com/VerinFast/verinfast/pull/557
* Update boto3 requirement from ~=1.35.32 to ~=1.35.37 by dependabot in https://github.com/VerinFast/verinfast/pull/559
* Combined PRs by github-actions in https://github.com/VerinFast/verinfast/pull/563
* Update boto3 requirement from ~=1.35.37 to ~=1.35.38 by dependabot in https://github.com/VerinFast/verinfast/pull/560
* Update boto3 requirement from ~=1.35.38 to ~=1.35.39 by dependabot in https://github.com/VerinFast/verinfast/pull/564
* Update coverage requirement from ~=7.6.1 to ~=7.6.3 by dependabot in https://github.com/VerinFast/verinfast/pull/565
* Update boto3 requirement from ~=1.35.39 to ~=1.35.42 by dependabot in https://github.com/VerinFast/verinfast/pull/573
* Update semgrep requirement from ~=1.91.0 to ~=1.92.0 by dependabot in https://github.com/VerinFast/verinfast/pull/572
* Force Python 3.12 by SeanTConrad in https://github.com/VerinFast/verinfast/pull/574
* Remove unused az data collection by SeanTConrad in https://github.com/VerinFast/verinfast/pull/575
* Added branch support for local repos by SeanTConrad in https://github.com/VerinFast/verinfast/pull/568
* Update windows-curses requirement from ~=2.3.3 to ~=2.4.0 by dependabot in https://github.com/VerinFast/verinfast/pull/566
* Logging fix by SeanTConrad in https://github.com/VerinFast/verinfast/pull/562


**Full Changelog**: https://github.com/VerinFast/verinfast/compare/0.6.14...0.6.15

What's Changed
* making it a string by aylusltd in https://github.com/VerinFast/verinfast/pull/525
* Update boto3 requirement from ~=1.34.154 to ~=1.35.18 by dependabot in https://github.com/VerinFast/verinfast/pull/526
* Update boto3 requirement from ~=1.35.18 to ~=1.35.20 by dependabot in https://github.com/VerinFast/verinfast/pull/530
* Update pytest requirement from ~=8.3.2 to ~=8.3.3 by dependabot in https://github.com/VerinFast/verinfast/pull/522
* Update httpx[http2] requirement from ~=0.27.0 to ~=0.27.2 by dependabot in https://github.com/VerinFast/verinfast/pull/510
* Update pyyaml requirement from ~=6.0.1 to ~=6.0.2 by dependabot in https://github.com/VerinFast/verinfast/pull/490
* Update semgrep requirement from ~=1.83.0 to ~=1.87.0 by dependabot in https://github.com/VerinFast/verinfast/pull/528
* Fix getting GCP bucket sizes by SeanTConrad in https://github.com/VerinFast/verinfast/pull/529
* Update boto3 requirement from ~=1.35.20 to ~=1.35.24 by dependabot in https://github.com/VerinFast/verinfast/pull/538
* Update azure-identity requirement from ~=1.17.1 to ~=1.18.0 by dependabot in https://github.com/VerinFast/verinfast/pull/535
* Update semgrep requirement from ~=1.87.0 to ~=1.90.0 by dependabot in https://github.com/VerinFast/verinfast/pull/544
* Update azure-mgmt-network requirement from ~=26.0.0 to ~=27.0.0 by dependabot in https://github.com/VerinFast/verinfast/pull/540
* Update boto3 requirement from ~=1.35.24 to ~=1.35.28 by dependabot in https://github.com/VerinFast/verinfast/pull/545
* Fix for Azure output filenames by SeanTConrad in https://github.com/VerinFast/verinfast/pull/542
* Better error checking for AWS costs by SeanTConrad in https://github.com/VerinFast/verinfast/pull/547
* Update boto3 requirement from ~=1.35.28 to ~=1.35.29 by dependabot in https://github.com/VerinFast/verinfast/pull/546


**Full Changelog**: https://github.com/VerinFast/verinfast/compare/0.6.13...0.6.14

What's Changed
* Update azure-mgmt-compute requirement from ~=32.0.0 to ~=33.0.0 by dependabot in https://github.com/VerinFast/verinfast/pull/506
* Catch more errors during AWS instances region checks by SeanTConrad in https://github.com/VerinFast/verinfast/pull/513


**Full Changelog**: https://github.com/VerinFast/verinfast/compare/0.6.12...0.6.13

What's Changed
* Update semgrep requirement from ~=1.78.0 to ~=1.79.0 by dependabot in https://github.com/VerinFast/verinfast/pull/461
* Update boto3 requirement from ~=1.34.141 to ~=1.34.144 by dependabot in https://github.com/VerinFast/verinfast/pull/464
* Update coverage requirement from ~=7.5.4 to ~=7.6.0 by dependabot in https://github.com/VerinFast/verinfast/pull/463
* Update semgrep requirement from ~=1.79.0 to ~=1.80.0 by dependabot in https://github.com/VerinFast/verinfast/pull/465
* Update boto3 requirement from ~=1.34.144 to ~=1.34.150 by dependabot in https://github.com/VerinFast/verinfast/pull/477
* Update azure-mgmt-network requirement from ~=25.4.0 to ~=26.0.0 by dependabot in https://github.com/VerinFast/verinfast/pull/472
* Update azure-mgmt-compute requirement from ~=31.0.0 to ~=32.0.0 by dependabot in https://github.com/VerinFast/verinfast/pull/474
* SOS-580 Add Go Walker by chrisperez626 in https://github.com/VerinFast/verinfast/pull/450
* Update semgrep requirement from ~=1.80.0 to ~=1.81.0 by dependabot in https://github.com/VerinFast/verinfast/pull/473
* Update pytest requirement from ~=8.2.2 to ~=8.3.2 by dependabot in https://github.com/VerinFast/verinfast/pull/475
* Update results.j2 by aylusltd in https://github.com/VerinFast/verinfast/pull/478
* Update semgrep requirement from ~=1.81.0 to ~=1.82.0 by dependabot in https://github.com/VerinFast/verinfast/pull/480
* Update boto3 requirement from ~=1.34.150 to ~=1.34.151 by dependabot in https://github.com/VerinFast/verinfast/pull/479
* Update agent.py by aylusltd in https://github.com/VerinFast/verinfast/pull/483
* Update boto3 requirement from ~=1.34.151 to ~=1.34.152 by dependabot in https://github.com/VerinFast/verinfast/pull/482
* Update semgrep requirement from ~=1.82.0 to ~=1.83.0 by dependabot in https://github.com/VerinFast/verinfast/pull/484
* Update flake8 requirement from ~=7.1.0 to ~=7.1.1 by dependabot in https://github.com/VerinFast/verinfast/pull/487
* Update boto3 requirement from ~=1.34.152 to ~=1.34.153 by dependabot in https://github.com/VerinFast/verinfast/pull/485
* Update coverage requirement from ~=7.6.0 to ~=7.6.1 by dependabot in https://github.com/VerinFast/verinfast/pull/486
* Update boto3 requirement from ~=1.34.153 to ~=1.34.154 by dependabot in https://github.com/VerinFast/verinfast/pull/488
* Added retry on process exec for unicode issues by SeanTConrad in https://github.com/VerinFast/verinfast/pull/481


**Full Changelog**: https://github.com/VerinFast/verinfast/compare/0.6.11...0.6.12