Boogie 2.6.1

.NET Core 3.1
There is a newer version of this package available.
See the version list below for details. 
dotnet tool install --global Boogie --version 2.6.1
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.1
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=2.6.1
nuke :add-package Boogie --version 2.6.1

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.4 66 4/11/2024
3.1.3 7,186 3/13/2024
3.1.2 859 3/7/2024
3.1.1 116 3/5/2024
3.1.0 109 3/4/2024
3.0.12 2,959 2/19/2024
3.0.11 145 2/2/2024
3.0.10 120 1/22/2024
3.0.9 50,149 12/8/2023
3.0.8 1,733 11/29/2023
3.0.7 126 11/21/2023
3.0.6 910 11/16/2023
3.0.5 215 10/10/2023
3.0.4 177 9/14/2023
3.0.3 15,305 9/6/2023
3.0.2 109 9/5/2023
3.0.1 52,433 8/16/2023
3.0.0 334 7/20/2023
2.16.9 255 6/20/2023
2.16.8 164 6/1/2023
2.16.7 150 5/19/2023
2.16.5 247 4/10/2023
2.16.4 228 3/31/2023
2.16.3 262 3/9/2023
2.16.2 249 2/23/2023
2.16.1 236 2/21/2023
2.16.0 54,694 11/28/2022
2.15.9 1,626 10/25/2022
2.15.8 87,095 9/30/2022
2.15.7 21,503 7/22/2022
2.15.6 528 6/16/2022
2.15.5 429 6/15/2022
2.15.4 424 6/13/2022
2.15.3 405 6/10/2022
2.15.2 535 5/12/2022
2.15.1 452 5/5/2022
2.15.0 460 5/2/2022
2.14.0 494 4/19/2022
2.13.4 687 3/25/2022
2.13.3 425 3/23/2022
2.13.2 428 3/23/2022
2.13.1 442 3/17/2022
2.13.0 460 3/9/2022
2.12.1 471 2/28/2022
2.11.5 452 2/16/2022
2.11.4 438 2/4/2022
2.11.3 433 2/3/2022
2.11.2 480 1/10/2022
2.11.1 304 12/15/2021
2.11.0 320 12/9/2021
2.10.2 375 11/30/2021
2.10.0 334 11/30/2021
2.9.6 46,011 10/25/2021
2.9.5 332 10/21/2021
2.9.4 422 8/24/2021
2.9.3 364 8/10/2021
2.9.2 353 7/21/2021
2.9.1 2,420 7/5/2021
2.9.0 50,876 6/29/2021
2.8.33 7,869 6/14/2021
2.8.32 18,563 5/4/2021
2.8.31 3,740 4/21/2021
2.8.30 316 4/13/2021
2.8.29 11,600 3/29/2021
2.8.28 419 3/18/2021
2.8.27 7,322 3/11/2021
2.8.26 6,525 2/2/2021
2.8.25 19,524 2/2/2021
2.8.24 322 2/2/2021
2.8.23 378 1/22/2021
2.8.22 482 1/9/2021
2.8.21 491 1/5/2021
2.8.20 448 1/1/2021
2.8.18 471 12/29/2020
2.8.17 379 12/24/2020
2.8.16 375 12/23/2020
2.8.15 434 12/21/2020
2.8.14 540 12/19/2020
2.8.13 472 12/19/2020
2.8.12 459 12/13/2020
2.8.11 439 12/3/2020
2.8.10 423 12/2/2020
2.8.9 416 12/2/2020
2.8.8 417 11/26/2020
2.8.7 454 11/11/2020
2.8.6 435 11/5/2020
2.8.5 421 11/3/2020
2.8.4 476 10/30/2020
2.8.3 447 10/29/2020
2.8.2 488 10/24/2020
2.8.1 473 10/22/2020
2.8.0 507 10/20/2020
2.7.43 514 10/19/2020
2.7.42 495 10/15/2020
2.7.41 454 10/15/2020
2.7.40 493 10/14/2020
2.7.39 464 10/12/2020
2.7.38 532 10/11/2020
2.7.37 534 10/10/2020
2.7.36 494 10/7/2020
2.7.35 10,408 10/6/2020
2.7.34 497 9/30/2020
2.7.33 443 9/30/2020
2.7.32 537 9/29/2020
2.7.31 480 9/25/2020
2.7.30 8,543 9/20/2020
2.7.29 488 9/18/2020
2.7.28 523 9/17/2020
2.7.27 492 9/15/2020
2.7.26 580 9/12/2020
2.7.25 554 9/9/2020
2.7.24 498 9/7/2020
2.7.23 481 9/7/2020
2.7.22 567 9/6/2020
2.7.21 699 9/3/2020
2.7.20 496 8/26/2020
2.7.19 495 8/26/2020
2.7.18 512 8/26/2020
2.7.17 467 8/25/2020
2.7.16 468 8/19/2020
2.7.15 2,507 8/14/2020
2.7.14 564 8/6/2020
2.7.13 486 8/6/2020
2.7.12 533 8/6/2020
2.7.11 500 8/5/2020
2.7.10 550 8/5/2020
2.7.9 1,123 7/23/2020
2.7.8 487 7/23/2020
2.7.7 479 7/23/2020
2.7.6 594 7/22/2020
2.7.5 575 7/21/2020
2.7.4 484 7/21/2020
2.7.3 539 7/20/2020
2.7.2 539 7/20/2020
2.7.1 562 7/18/2020
2.7.0 489 7/15/2020
2.6.22 465 7/15/2020
2.6.21 470 7/15/2020
2.6.20 541 7/8/2020
2.6.19 512 7/6/2020
2.6.18 509 6/11/2020
2.6.17 1,287 6/9/2020
2.6.16 528 6/5/2020
2.6.15 4,765 6/4/2020
2.6.14 567 6/2/2020
2.6.13 598 5/29/2020
2.6.12 501 5/29/2020
2.6.11 627 5/21/2020
2.6.10 535 5/20/2020
2.6.9 529 5/18/2020
2.6.8 524 5/18/2020
2.6.7 503 5/13/2020
2.6.6 531 5/4/2020
2.6.5 1,821 4/21/2020
2.6.4 538 4/18/2020
2.6.3 520 4/15/2020
2.6.2 508 4/15/2020
2.6.1 503 4/14/2020
2.6.0 721 4/10/2020
2.5.19 534 4/8/2020
2.5.18 525 4/6/2020
2.5.17 537 4/3/2020
2.5.16 496 4/3/2020
2.5.15 538 3/24/2020
2.5.14 662 3/22/2020
2.5.13 510 3/22/2020
2.5.10 517 3/3/2020
2.5.9 548 3/2/2020
2.5.8 543 2/28/2020
2.5.7 1,974 2/22/2020
2.5.6 643 2/22/2020
2.5.5 614 2/21/2020
2.5.2 744 2/19/2020
2.5.1 674 2/18/2020
2.5.0 561 2/18/2020
2.4.21 607 2/18/2020
2.4.19 618 2/17/2020
2.4.18 564 2/17/2020
2.4.17 661 2/13/2020
2.4.16 526 2/13/2020
2.4.15 658 1/20/2020
2.4.14 562 1/20/2020
2.4.13 609 1/5/2020
2.4.12 631 1/3/2020
2.4.11 595 1/2/2020
2.4.10 720 1/1/2020
2.4.9 614 1/1/2020
2.4.8 622 1/1/2020
2.4.7 695 12/31/2019
2.4.6 685 12/31/2019
2.4.5 640 12/30/2019
2.4.4 539 12/24/2019
2.4.3 607 12/22/2019
2.4.2 579 12/22/2019
2.4.1-netcore-alpha 1,594 5/9/2019