Boogie 2.7.38

.NET Core 3.1 This package targets .NET Core 3.1. The package is compatible with this framework or higher.
There is a newer version of this package available.
See the version list below for details. 
dotnet tool install --global Boogie --version 2.7.38
This package contains a .NET tool you can call from the shell/command line. 
dotnet new tool-manifest # if you are setting up this repo
dotnet tool install --local Boogie --version 2.7.38
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=2.7.38
nuke :add-package Boogie --version 2.7.38

An SMT-based program verifier.

Product Compatible and additional computed target framework versions.
.NET net5.0 was computed.  net5.0-windows was computed.  net6.0 was computed.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
.NET Core netcoreapp3.1 is compatible. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last updated
3.1.6 118 5/23/2024
3.1.5 123 4/23/2024
3.1.4 189 4/11/2024
3.1.3 21,134 3/13/2024
3.1.2 865 3/7/2024
3.1.1 122 3/5/2024
3.1.0 115 3/4/2024
3.0.12 2,964 2/19/2024
3.0.11 148 2/2/2024
3.0.10 127 1/22/2024
3.0.9 89,461 12/8/2023
3.0.8 1,738 11/29/2023
3.0.7 130 11/21/2023
3.0.6 914 11/16/2023
3.0.5 219 10/10/2023
3.0.4 184 9/14/2023
3.0.3 15,308 9/6/2023
3.0.2 113 9/5/2023
3.0.1 52,799 8/16/2023
3.0.0 339 7/20/2023
2.16.9 259 6/20/2023
2.16.8 167 6/1/2023
2.16.7 154 5/19/2023
2.16.5 256 4/10/2023
2.16.4 233 3/31/2023
2.16.3 265 3/9/2023
2.16.2 253 2/23/2023
2.16.1 241 2/21/2023
2.16.0 54,746 11/28/2022
2.15.9 1,723 10/25/2022
2.15.8 89,360 9/30/2022
2.15.7 21,957 7/22/2022
2.15.6 531 6/16/2022
2.15.5 431 6/15/2022
2.15.4 426 6/13/2022
2.15.3 407 6/10/2022
2.15.2 537 5/12/2022
2.15.1 454 5/5/2022
2.15.0 462 5/2/2022
2.14.0 496 4/19/2022
2.13.4 690 3/25/2022
2.13.3 427 3/23/2022
2.13.2 429 3/23/2022
2.13.1 444 3/17/2022
2.13.0 461 3/9/2022
2.12.1 474 2/28/2022
2.11.5 454 2/16/2022
2.11.4 440 2/4/2022
2.11.3 435 2/3/2022
2.11.2 482 1/10/2022
2.11.1 307 12/15/2021
2.11.0 322 12/9/2021
2.10.2 379 11/30/2021
2.10.0 336 11/30/2021
2.9.6 46,282 10/25/2021
2.9.5 334 10/21/2021
2.9.4 425 8/24/2021
2.9.3 366 8/10/2021
2.9.2 356 7/21/2021
2.9.1 2,425 7/5/2021
2.9.0 51,281 6/29/2021
2.8.33 7,967 6/14/2021
2.8.32 18,765 5/4/2021
2.8.31 3,743 4/21/2021
2.8.30 318 4/13/2021
2.8.29 11,688 3/29/2021
2.8.28 421 3/18/2021
2.8.27 7,324 3/11/2021
2.8.26 6,528 2/2/2021
2.8.25 19,607 2/2/2021
2.8.24 324 2/2/2021
2.8.23 381 1/22/2021
2.8.22 484 1/9/2021
2.8.21 493 1/5/2021
2.8.20 450 1/1/2021
2.8.18 494 12/29/2020
2.8.17 381 12/24/2020
2.8.16 377 12/23/2020
2.8.15 436 12/21/2020
2.8.14 542 12/19/2020
2.8.13 474 12/19/2020
2.8.12 461 12/13/2020
2.8.11 441 12/3/2020
2.8.10 425 12/2/2020
2.8.9 418 12/2/2020
2.8.8 420 11/26/2020
2.8.7 456 11/11/2020
2.8.6 437 11/5/2020
2.8.5 423 11/3/2020
2.8.4 479 10/30/2020
2.8.3 449 10/29/2020
2.8.2 490 10/24/2020
2.8.1 475 10/22/2020
2.8.0 511 10/20/2020
2.7.43 517 10/19/2020
2.7.42 497 10/15/2020
2.7.41 456 10/15/2020
2.7.40 495 10/14/2020
2.7.39 466 10/12/2020
2.7.38 534 10/11/2020
2.7.37 536 10/10/2020
2.7.36 496 10/7/2020
2.7.35 10,412 10/6/2020
2.7.34 502 9/30/2020
2.7.33 447 9/30/2020
2.7.32 541 9/29/2020
2.7.31 484 9/25/2020
2.7.30 8,547 9/20/2020
2.7.29 492 9/18/2020
2.7.28 527 9/17/2020
2.7.27 496 9/15/2020
2.7.26 584 9/12/2020
2.7.25 558 9/9/2020
2.7.24 502 9/7/2020
2.7.23 485 9/7/2020
2.7.22 571 9/6/2020
2.7.21 703 9/3/2020
2.7.20 500 8/26/2020
2.7.19 498 8/26/2020
2.7.18 515 8/26/2020
2.7.17 470 8/25/2020
2.7.16 471 8/19/2020
2.7.15 2,510 8/14/2020
2.7.14 567 8/6/2020
2.7.13 489 8/6/2020
2.7.12 536 8/6/2020
2.7.11 503 8/5/2020
2.7.10 553 8/5/2020
2.7.9 1,128 7/23/2020
2.7.8 491 7/23/2020
2.7.7 483 7/23/2020
2.7.6 598 7/22/2020
2.7.5 579 7/21/2020
2.7.4 488 7/21/2020
2.7.3 543 7/20/2020
2.7.2 543 7/20/2020
2.7.1 566 7/18/2020
2.7.0 493 7/15/2020
2.6.22 472 7/15/2020
2.6.21 474 7/15/2020
2.6.20 545 7/8/2020
2.6.19 516 7/6/2020
2.6.18 514 6/11/2020
2.6.17 1,293 6/9/2020
2.6.16 532 6/5/2020
2.6.15 4,771 6/4/2020
2.6.14 571 6/2/2020
2.6.13 603 5/29/2020
2.6.12 505 5/29/2020
2.6.11 629 5/21/2020
2.6.10 539 5/20/2020
2.6.9 533 5/18/2020
2.6.8 528 5/18/2020
2.6.7 506 5/13/2020
2.6.6 533 5/4/2020
2.6.5 1,824 4/21/2020
2.6.4 540 4/18/2020
2.6.3 522 4/15/2020
2.6.2 510 4/15/2020
2.6.1 505 4/14/2020
2.6.0 725 4/10/2020
2.5.19 537 4/8/2020
2.5.18 527 4/6/2020
2.5.17 539 4/3/2020
2.5.16 498 4/3/2020
2.5.15 541 3/24/2020
2.5.14 664 3/22/2020
2.5.13 512 3/22/2020
2.5.10 519 3/3/2020
2.5.9 550 3/2/2020
2.5.8 546 2/28/2020
2.5.7 1,978 2/22/2020
2.5.6 645 2/22/2020
2.5.5 616 2/21/2020
2.5.2 746 2/19/2020
2.5.1 676 2/18/2020
2.5.0 565 2/18/2020
2.4.21 610 2/18/2020
2.4.19 620 2/17/2020
2.4.18 566 2/17/2020
2.4.17 662 2/13/2020
2.4.16 527 2/13/2020
2.4.15 661 1/20/2020
2.4.14 564 1/20/2020
2.4.13 611 1/5/2020
2.4.12 632 1/3/2020
2.4.11 596 1/2/2020
2.4.10 721 1/1/2020
2.4.9 616 1/1/2020
2.4.8 624 1/1/2020
2.4.7 699 12/31/2019
2.4.6 686 12/31/2019
2.4.5 641 12/30/2019
2.4.4 541 12/24/2019
2.4.3 609 12/22/2019
2.4.2 581 12/22/2019
2.4.1-netcore-alpha 1,604 5/9/2019