Boogie 2.7.11

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

                    
                

            
nuke :add-package Boogie --version 2.7.11

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.  net9.0 was computed.  net9.0-android was computed.  net9.0-browser was computed.  net9.0-ios was computed.  net9.0-maccatalyst was computed.  net9.0-macos was computed.  net9.0-tvos was computed.  net9.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.4.3 1,022 11/26/2024
3.4.2 135 11/14/2024
3.4.1 165 10/25/2024
3.4.0 94 10/24/2024
3.3.3 167 10/15/2024
3.3.2 115 10/12/2024
3.3.1 95 10/7/2024
3.3.0 96 10/8/2024
3.2.5 38,623 9/12/2024
3.2.4 38,348 8/16/2024
3.2.3 101 7/30/2024
3.2.2 141 7/18/2024
3.2.0 122 7/4/2024
3.1.6 170 5/23/2024
3.1.5 157 4/23/2024
3.1.4 246 4/11/2024
3.1.3 42,778 3/13/2024
3.1.2 943 3/7/2024
3.1.1 174 3/5/2024
3.1.0 177 3/4/2024
3.0.12 3,192 2/19/2024
3.0.11 204 2/2/2024
3.0.10 178 1/22/2024
3.0.9 128,075 12/8/2023
3.0.8 1,778 11/29/2023
3.0.7 178 11/21/2023
3.0.6 996 11/16/2023
3.0.5 270 10/10/2023
3.0.4 244 9/14/2023
3.0.3 15,971 9/6/2023
3.0.2 162 9/5/2023
3.0.1 53,670 8/16/2023
3.0.0 377 7/20/2023
2.16.9 287 6/20/2023
2.16.8 206 6/1/2023
2.16.7 187 5/19/2023
2.16.5 298 4/10/2023
2.16.4 266 3/31/2023
2.16.3 296 3/9/2023
2.16.2 290 2/23/2023
2.16.1 261 2/21/2023
2.16.0 56,846 11/28/2022
2.15.9 2,329 10/25/2022
2.15.8 94,866 9/30/2022
2.15.7 23,316 7/22/2022
2.15.6 557 6/16/2022
2.15.5 474 6/15/2022
2.15.4 472 6/13/2022
2.15.3 449 6/10/2022
2.15.2 576 5/12/2022
2.15.1 492 5/5/2022
2.15.0 503 5/2/2022
2.14.0 524 4/19/2022
2.13.4 715 3/25/2022
2.13.3 466 3/23/2022
2.13.2 455 3/23/2022
2.13.1 484 3/17/2022
2.13.0 497 3/9/2022
2.12.1 517 2/28/2022
2.11.5 493 2/16/2022
2.11.4 482 2/4/2022
2.11.3 462 2/3/2022
2.11.2 529 1/10/2022
2.11.1 347 12/15/2021
2.11.0 364 12/9/2021
2.10.2 433 11/30/2021
2.10.0 378 11/30/2021
2.9.6 46,960 10/25/2021
2.9.5 373 10/21/2021
2.9.4 468 8/24/2021
2.9.3 406 8/10/2021
2.9.2 399 7/21/2021
2.9.1 2,531 7/5/2021
2.9.0 52,837 6/29/2021
2.8.33 8,457 6/14/2021
2.8.32 19,541 5/4/2021
2.8.31 3,785 4/21/2021
2.8.30 361 4/13/2021
2.8.29 12,129 3/29/2021
2.8.28 469 3/18/2021
2.8.27 7,362 3/11/2021
2.8.26 6,571 2/2/2021
2.8.25 20,055 2/2/2021
2.8.24 370 2/2/2021
2.8.23 427 1/22/2021
2.8.22 525 1/9/2021
2.8.21 533 1/5/2021
2.8.20 490 1/1/2021
2.8.18 558 12/29/2020
2.8.17 408 12/24/2020
2.8.16 420 12/23/2020
2.8.15 478 12/21/2020
2.8.14 582 12/19/2020
2.8.13 517 12/19/2020
2.8.12 500 12/13/2020
2.8.11 488 12/3/2020
2.8.10 469 12/2/2020
2.8.9 459 12/2/2020
2.8.8 470 11/26/2020
2.8.7 500 11/11/2020
2.8.6 482 11/5/2020
2.8.5 468 11/3/2020
2.8.4 508 10/30/2020
2.8.3 492 10/29/2020
2.8.2 536 10/24/2020
2.8.1 516 10/22/2020
2.8.0 538 10/20/2020
2.7.43 559 10/19/2020
2.7.42 542 10/15/2020
2.7.41 499 10/15/2020
2.7.40 538 10/14/2020
2.7.39 514 10/12/2020
2.7.38 578 10/11/2020
2.7.37 580 10/10/2020
2.7.36 541 10/7/2020
2.7.35 10,457 10/6/2020
2.7.34 542 9/30/2020
2.7.33 489 9/30/2020
2.7.32 581 9/29/2020
2.7.31 526 9/25/2020
2.7.30 8,590 9/20/2020
2.7.29 534 9/18/2020
2.7.28 567 9/17/2020
2.7.27 540 9/15/2020
2.7.26 610 9/12/2020
2.7.25 601 9/9/2020
2.7.24 545 9/7/2020
2.7.23 533 9/7/2020
2.7.22 611 9/6/2020
2.7.21 740 9/3/2020
2.7.20 540 8/26/2020
2.7.19 539 8/26/2020
2.7.18 558 8/26/2020
2.7.17 513 8/25/2020
2.7.16 512 8/19/2020
2.7.15 2,554 8/14/2020
2.7.14 611 8/6/2020
2.7.13 530 8/6/2020
2.7.12 581 8/6/2020
2.7.11 547 8/5/2020
2.7.10 596 8/5/2020
2.7.9 1,172 7/23/2020
2.7.8 537 7/23/2020
2.7.7 524 7/23/2020
2.7.6 640 7/22/2020
2.7.5 626 7/21/2020
2.7.4 535 7/21/2020
2.7.3 590 7/20/2020
2.7.2 584 7/20/2020
2.7.1 608 7/18/2020
2.7.0 547 7/15/2020
2.6.22 520 7/15/2020
2.6.21 516 7/15/2020
2.6.20 588 7/8/2020
2.6.19 562 7/6/2020
2.6.18 558 6/11/2020
2.6.17 1,356 6/9/2020
2.6.16 572 6/5/2020
2.6.15 4,815 6/4/2020
2.6.14 613 6/2/2020
2.6.13 646 5/29/2020
2.6.12 547 5/29/2020
2.6.11 672 5/21/2020
2.6.10 582 5/20/2020
2.6.9 573 5/18/2020
2.6.8 569 5/18/2020
2.6.7 546 5/13/2020
2.6.6 578 5/4/2020
2.6.5 1,871 4/21/2020
2.6.4 582 4/18/2020
2.6.3 563 4/15/2020
2.6.2 550 4/15/2020
2.6.1 545 4/14/2020
2.6.0 769 4/10/2020
2.5.19 565 4/8/2020
2.5.18 573 4/6/2020
2.5.17 587 4/3/2020
2.5.16 543 4/3/2020
2.5.15 587 3/24/2020
2.5.14 715 3/22/2020
2.5.13 558 3/22/2020
2.5.10 559 3/3/2020
2.5.9 579 3/2/2020
2.5.8 591 2/28/2020
2.5.7 2,019 2/22/2020
2.5.6 687 2/22/2020
2.5.5 657 2/21/2020
2.5.2 788 2/19/2020
2.5.1 721 2/18/2020
2.5.0 604 2/18/2020
2.4.21 657 2/18/2020
2.4.19 659 2/17/2020
2.4.18 606 2/17/2020
2.4.17 704 2/13/2020
2.4.16 572 2/13/2020
2.4.15 710 1/20/2020
2.4.14 605 1/20/2020
2.4.13 650 1/5/2020
2.4.12 679 1/3/2020
2.4.11 643 1/2/2020
2.4.10 764 1/1/2020
2.4.9 643 1/1/2020
2.4.8 668 1/1/2020
2.4.7 745 12/31/2019
2.4.6 730 12/31/2019
2.4.5 691 12/30/2019
2.4.4 586 12/24/2019
2.4.3 656 12/22/2019
2.4.2 629 12/22/2019
2.4.1-netcore-alpha 1,676 5/9/2019