Boogie 2.6.3

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

                    
                

            
nuke :add-package Boogie --version 2.6.3

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 3,665 9/12/2024
3.2.4 6,292 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 41,136 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 167 1/22/2024
3.0.9 123,853 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 227 9/14/2023
3.0.3 15,959 9/6/2023
3.0.2 151 9/5/2023
3.0.1 53,271 8/16/2023
3.0.0 361 7/20/2023
2.16.9 276 6/20/2023
2.16.8 186 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,762 11/28/2022
2.15.9 1,914 10/25/2022
2.15.8 92,216 9/30/2022
2.15.7 22,655 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 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,720 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,854 6/29/2021
2.8.33 8,140 6/14/2021
2.8.32 19,021 5/4/2021
2.8.31 3,764 4/21/2021
2.8.30 339 4/13/2021
2.8.29 11,838 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,763 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,147 7/23/2020
2.7.8 511 7/23/2020
2.7.7 499 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 518 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,790 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,846 4/21/2020
2.6.4 557 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 518 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 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 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,631 5/9/2019