Boogie 3.2.0

.NET 6.0 This package targets .NET 6.0. 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 3.2.0
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 3.2.0
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=3.2.0                

                    
                

            
nuke :add-package Boogie --version 3.2.0

An SMT-based program verifier.

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  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. 
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.3.3 75 10/15/2024
3.3.2 84 10/12/2024
3.3.1 65 10/7/2024
3.3.0 64 10/8/2024
3.2.5 5,857 9/12/2024
3.2.4 8,960 8/16/2024
3.2.3 85 7/30/2024
3.2.2 123 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 42,548 3/13/2024
3.1.2 932 3/7/2024
3.1.1 161 3/5/2024
3.1.0 165 3/4/2024
3.0.12 3,177 2/19/2024
3.0.11 195 2/2/2024
3.0.10 168 1/22/2024
3.0.9 124,766 12/8/2023
3.0.8 1,767 11/29/2023
3.0.7 166 11/21/2023
3.0.6 986 11/16/2023
3.0.5 257 10/10/2023
3.0.4 229 9/14/2023
3.0.3 15,960 9/6/2023
3.0.2 152 9/5/2023
3.0.1 53,302 8/16/2023
3.0.0 362 7/20/2023
2.16.9 279 6/20/2023
2.16.8 187 6/1/2023
2.16.7 172 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 246 2/21/2023
2.16.0 56,766 11/28/2022
2.15.9 1,935 10/25/2022
2.15.8 92,498 9/30/2022
2.15.7 22,727 7/22/2022
2.15.6 539 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 473 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 466 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 457 2/4/2022
2.11.3 442 2/3/2022
2.11.2 505 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,768 10/25/2021
2.9.5 352 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,451 7/5/2021
2.9.0 51,922 6/29/2021
2.8.33 8,159 6/14/2021
2.8.32 19,054 5/4/2021
2.8.31 3,764 4/21/2021
2.8.30 339 4/13/2021
2.8.29 11,857 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,780 2/2/2021
2.8.24 345 2/2/2021
2.8.23 402 1/22/2021
2.8.22 503 1/9/2021
2.8.21 511 1/5/2021
2.8.20 467 1/1/2021
2.8.18 519 12/29/2020
2.8.17 386 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 447 12/2/2020
2.8.9 436 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 516 10/20/2020
2.7.43 536 10/19/2020
2.7.42 519 10/15/2020
2.7.41 475 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 519 9/30/2020
2.7.33 466 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 588 9/6/2020
2.7.21 719 9/3/2020
2.7.20 517 8/26/2020
2.7.19 516 8/26/2020
2.7.18 534 8/26/2020
2.7.17 490 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 573 8/5/2020
2.7.9 1,148 7/23/2020
2.7.8 512 7/23/2020
2.7.7 500 7/23/2020
2.7.6 616 7/22/2020
2.7.5 602 7/21/2020
2.7.4 511 7/21/2020
2.7.3 566 7/20/2020
2.7.2 561 7/20/2020
2.7.1 585 7/18/2020
2.7.0 522 7/15/2020
2.6.22 494 7/15/2020
2.6.21 493 7/15/2020
2.6.20 564 7/8/2020
2.6.19 539 7/6/2020
2.6.18 536 6/11/2020
2.6.17 1,316 6/9/2020
2.6.16 548 6/5/2020
2.6.15 4,791 6/4/2020
2.6.14 590 6/2/2020
2.6.13 622 5/29/2020
2.6.12 523 5/29/2020
2.6.11 648 5/21/2020
2.6.10 560 5/20/2020
2.6.9 551 5/18/2020
2.6.8 547 5/18/2020
2.6.7 523 5/13/2020
2.6.6 555 5/4/2020
2.6.5 1,847 4/21/2020
2.6.4 558 4/18/2020
2.6.3 540 4/15/2020
2.6.2 526 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 520 4/3/2020
2.5.15 565 3/24/2020
2.5.14 691 3/22/2020
2.5.13 535 3/22/2020
2.5.10 536 3/3/2020
2.5.9 555 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 697 2/18/2020
2.5.0 581 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 547 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 619 1/2/2020
2.4.10 739 1/1/2020
2.4.9 619 1/1/2020
2.4.8 646 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 604 12/22/2019
2.4.1-netcore-alpha 1,633 5/9/2019