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.2.5 2,938 9/12/2024
3.2.4 4,987 8/16/2024
3.2.3 85 7/30/2024
3.2.2 122 7/18/2024
3.2.0 106 7/4/2024
3.1.6 155 5/23/2024
3.1.5 147 4/23/2024
3.1.4 229 4/11/2024
3.1.3 40,417 3/13/2024
3.1.2 932 3/7/2024
3.1.1 160 3/5/2024
3.1.0 162 3/4/2024
3.0.12 3,176 2/19/2024
3.0.11 194 2/2/2024
3.0.10 167 1/22/2024
3.0.9 123,234 12/8/2023
3.0.8 1,766 11/29/2023
3.0.7 166 11/21/2023
3.0.6 985 11/16/2023
3.0.5 257 10/10/2023
3.0.4 227 9/14/2023
3.0.3 15,959 9/6/2023
3.0.2 151 9/5/2023
3.0.1 53,270 8/16/2023
3.0.0 361 7/20/2023
2.16.9 276 6/20/2023
2.16.8 185 6/1/2023
2.16.7 170 5/19/2023
2.16.5 284 4/10/2023
2.16.4 254 3/31/2023
2.16.3 281 3/9/2023
2.16.2 274 2/23/2023
2.16.1 245 2/21/2023
2.16.0 56,760 11/28/2022
2.15.9 1,903 10/25/2022
2.15.8 92,037 9/30/2022
2.15.7 22,606 7/22/2022
2.15.6 538 6/16/2022
2.15.5 456 6/15/2022
2.15.4 452 6/13/2022
2.15.3 432 6/10/2022
2.15.2 559 5/12/2022
2.15.1 472 5/5/2022
2.15.0 483 5/2/2022
2.14.0 503 4/19/2022
2.13.4 696 3/25/2022
2.13.3 446 3/23/2022
2.13.2 437 3/23/2022
2.13.1 465 3/17/2022
2.13.0 469 3/9/2022
2.12.1 497 2/28/2022
2.11.5 474 2/16/2022
2.11.4 456 2/4/2022
2.11.3 441 2/3/2022
2.11.2 503 1/10/2022
2.11.1 324 12/15/2021
2.11.0 342 12/9/2021
2.10.2 398 11/30/2021
2.10.0 356 11/30/2021
2.9.6 46,691 10/25/2021
2.9.5 351 10/21/2021
2.9.4 445 8/24/2021
2.9.3 384 8/10/2021
2.9.2 379 7/21/2021
2.9.1 2,447 7/5/2021
2.9.0 51,818 6/29/2021
2.8.33 8,126 6/14/2021
2.8.32 19,002 5/4/2021
2.8.31 3,764 4/21/2021
2.8.30 339 4/13/2021
2.8.29 11,826 3/29/2021
2.8.28 442 3/18/2021
2.8.27 7,341 3/11/2021
2.8.26 6,547 2/2/2021
2.8.25 19,748 2/2/2021
2.8.24 345 2/2/2021
2.8.23 402 1/22/2021
2.8.22 502 1/9/2021
2.8.21 511 1/5/2021
2.8.20 467 1/1/2021
2.8.18 518 12/29/2020
2.8.17 385 12/24/2020
2.8.16 397 12/23/2020
2.8.15 456 12/21/2020
2.8.14 559 12/19/2020
2.8.13 494 12/19/2020
2.8.12 478 12/13/2020
2.8.11 463 12/3/2020
2.8.10 446 12/2/2020
2.8.9 435 12/2/2020
2.8.8 442 11/26/2020
2.8.7 477 11/11/2020
2.8.6 456 11/5/2020
2.8.5 444 11/3/2020
2.8.4 484 10/30/2020
2.8.3 467 10/29/2020
2.8.2 513 10/24/2020
2.8.1 494 10/22/2020
2.8.0 515 10/20/2020
2.7.43 536 10/19/2020
2.7.42 519 10/15/2020
2.7.41 474 10/15/2020
2.7.40 515 10/14/2020
2.7.39 491 10/12/2020
2.7.38 554 10/11/2020
2.7.37 557 10/10/2020
2.7.36 519 10/7/2020
2.7.35 10,432 10/6/2020
2.7.34 518 9/30/2020
2.7.33 465 9/30/2020
2.7.32 559 9/29/2020
2.7.31 504 9/25/2020
2.7.30 8,568 9/20/2020
2.7.29 510 9/18/2020
2.7.28 544 9/17/2020
2.7.27 518 9/15/2020
2.7.26 588 9/12/2020
2.7.25 576 9/9/2020
2.7.24 523 9/7/2020
2.7.23 504 9/7/2020
2.7.22 587 9/6/2020
2.7.21 719 9/3/2020
2.7.20 517 8/26/2020
2.7.19 515 8/26/2020
2.7.18 534 8/26/2020
2.7.17 489 8/25/2020
2.7.16 488 8/19/2020
2.7.15 2,529 8/14/2020
2.7.14 589 8/6/2020
2.7.13 507 8/6/2020
2.7.12 558 8/6/2020
2.7.11 524 8/5/2020
2.7.10 572 8/5/2020
2.7.9 1,146 7/23/2020
2.7.8 511 7/23/2020
2.7.7 498 7/23/2020
2.7.6 614 7/22/2020
2.7.5 601 7/21/2020
2.7.4 510 7/21/2020
2.7.3 565 7/20/2020
2.7.2 560 7/20/2020
2.7.1 584 7/18/2020
2.7.0 516 7/15/2020
2.6.22 493 7/15/2020
2.6.21 492 7/15/2020
2.6.20 563 7/8/2020
2.6.19 538 7/6/2020
2.6.18 535 6/11/2020
2.6.17 1,314 6/9/2020
2.6.16 547 6/5/2020
2.6.15 4,789 6/4/2020
2.6.14 589 6/2/2020
2.6.13 621 5/29/2020
2.6.12 522 5/29/2020
2.6.11 647 5/21/2020
2.6.10 557 5/20/2020
2.6.9 550 5/18/2020
2.6.8 546 5/18/2020
2.6.7 522 5/13/2020
2.6.6 554 5/4/2020
2.6.5 1,845 4/21/2020
2.6.4 557 4/18/2020
2.6.3 540 4/15/2020
2.6.2 525 4/15/2020
2.6.1 522 4/14/2020
2.6.0 742 4/10/2020
2.5.19 540 4/8/2020
2.5.18 550 4/6/2020
2.5.17 563 4/3/2020
2.5.16 518 4/3/2020
2.5.15 565 3/24/2020
2.5.14 690 3/22/2020
2.5.13 534 3/22/2020
2.5.10 536 3/3/2020
2.5.9 553 3/2/2020
2.5.8 566 2/28/2020
2.5.7 1,995 2/22/2020
2.5.6 664 2/22/2020
2.5.5 635 2/21/2020
2.5.2 765 2/19/2020
2.5.1 695 2/18/2020
2.5.0 579 2/18/2020
2.4.21 632 2/18/2020
2.4.19 636 2/17/2020
2.4.18 582 2/17/2020
2.4.17 680 2/13/2020
2.4.16 546 2/13/2020
2.4.15 684 1/20/2020
2.4.14 583 1/20/2020
2.4.13 628 1/5/2020
2.4.12 649 1/3/2020
2.4.11 618 1/2/2020
2.4.10 739 1/1/2020
2.4.9 619 1/1/2020
2.4.8 645 1/1/2020
2.4.7 722 12/31/2019
2.4.6 706 12/31/2019
2.4.5 668 12/30/2019
2.4.4 562 12/24/2019
2.4.3 632 12/22/2019
2.4.2 602 12/22/2019
2.4.1-netcore-alpha 1,629 5/9/2019