Boogie 2.6.6

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

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.6 129 5/23/2024
3.1.5 125 4/23/2024
3.1.4 191 4/11/2024
3.1.3 22,201 3/13/2024
3.1.2 867 3/7/2024
3.1.1 124 3/5/2024
3.1.0 117 3/4/2024
3.0.12 2,966 2/19/2024
3.0.11 150 2/2/2024
3.0.10 129 1/22/2024
3.0.9 93,149 12/8/2023
3.0.8 1,740 11/29/2023
3.0.7 132 11/21/2023
3.0.6 916 11/16/2023
3.0.5 221 10/10/2023
3.0.4 185 9/14/2023
3.0.3 15,309 9/6/2023
3.0.2 114 9/5/2023
3.0.1 52,846 8/16/2023
3.0.0 340 7/20/2023
2.16.9 260 6/20/2023
2.16.8 168 6/1/2023
2.16.7 155 5/19/2023
2.16.5 257 4/10/2023
2.16.4 234 3/31/2023
2.16.3 266 3/9/2023
2.16.2 254 2/23/2023
2.16.1 242 2/21/2023
2.16.0 54,747 11/28/2022
2.15.9 1,726 10/25/2022
2.15.8 89,501 9/30/2022
2.15.7 21,995 7/22/2022
2.15.6 532 6/16/2022
2.15.5 432 6/15/2022
2.15.4 427 6/13/2022
2.15.3 408 6/10/2022
2.15.2 539 5/12/2022
2.15.1 455 5/5/2022
2.15.0 463 5/2/2022
2.14.0 499 4/19/2022
2.13.4 691 3/25/2022
2.13.3 428 3/23/2022
2.13.2 431 3/23/2022
2.13.1 445 3/17/2022
2.13.0 463 3/9/2022
2.12.1 476 2/28/2022
2.11.5 456 2/16/2022
2.11.4 441 2/4/2022
2.11.3 436 2/3/2022
2.11.2 484 1/10/2022
2.11.1 308 12/15/2021
2.11.0 324 12/9/2021
2.10.2 380 11/30/2021
2.10.0 337 11/30/2021
2.9.6 46,301 10/25/2021
2.9.5 335 10/21/2021
2.9.4 426 8/24/2021
2.9.3 367 8/10/2021
2.9.2 357 7/21/2021
2.9.1 2,426 7/5/2021
2.9.0 51,307 6/29/2021
2.8.33 7,975 6/14/2021
2.8.32 18,778 5/4/2021
2.8.31 3,744 4/21/2021
2.8.30 319 4/13/2021
2.8.29 11,695 3/29/2021
2.8.28 422 3/18/2021
2.8.27 7,325 3/11/2021
2.8.26 6,529 2/2/2021
2.8.25 19,614 2/2/2021
2.8.24 325 2/2/2021
2.8.23 382 1/22/2021
2.8.22 486 1/9/2021
2.8.21 495 1/5/2021
2.8.20 452 1/1/2021
2.8.18 496 12/29/2020
2.8.17 383 12/24/2020
2.8.16 379 12/23/2020
2.8.15 438 12/21/2020
2.8.14 544 12/19/2020
2.8.13 476 12/19/2020
2.8.12 463 12/13/2020
2.8.11 443 12/3/2020
2.8.10 427 12/2/2020
2.8.9 420 12/2/2020
2.8.8 423 11/26/2020
2.8.7 458 11/11/2020
2.8.6 439 11/5/2020
2.8.5 425 11/3/2020
2.8.4 481 10/30/2020
2.8.3 451 10/29/2020
2.8.2 492 10/24/2020
2.8.1 477 10/22/2020
2.8.0 513 10/20/2020
2.7.43 519 10/19/2020
2.7.42 499 10/15/2020
2.7.41 459 10/15/2020
2.7.40 497 10/14/2020
2.7.39 468 10/12/2020
2.7.38 536 10/11/2020
2.7.37 538 10/10/2020
2.7.36 498 10/7/2020
2.7.35 10,414 10/6/2020
2.7.34 503 9/30/2020
2.7.33 448 9/30/2020
2.7.32 542 9/29/2020
2.7.31 485 9/25/2020
2.7.30 8,548 9/20/2020
2.7.29 493 9/18/2020
2.7.28 528 9/17/2020
2.7.27 497 9/15/2020
2.7.26 585 9/12/2020
2.7.25 559 9/9/2020
2.7.24 503 9/7/2020
2.7.23 486 9/7/2020
2.7.22 572 9/6/2020
2.7.21 704 9/3/2020
2.7.20 501 8/26/2020
2.7.19 499 8/26/2020
2.7.18 516 8/26/2020
2.7.17 471 8/25/2020
2.7.16 472 8/19/2020
2.7.15 2,511 8/14/2020
2.7.14 568 8/6/2020
2.7.13 490 8/6/2020
2.7.12 537 8/6/2020
2.7.11 504 8/5/2020
2.7.10 554 8/5/2020
2.7.9 1,129 7/23/2020
2.7.8 492 7/23/2020
2.7.7 484 7/23/2020
2.7.6 599 7/22/2020
2.7.5 580 7/21/2020
2.7.4 489 7/21/2020
2.7.3 544 7/20/2020
2.7.2 544 7/20/2020
2.7.1 567 7/18/2020
2.7.0 494 7/15/2020
2.6.22 473 7/15/2020
2.6.21 475 7/15/2020
2.6.20 546 7/8/2020
2.6.19 517 7/6/2020
2.6.18 515 6/11/2020
2.6.17 1,294 6/9/2020
2.6.16 533 6/5/2020
2.6.15 4,772 6/4/2020
2.6.14 572 6/2/2020
2.6.13 604 5/29/2020
2.6.12 506 5/29/2020
2.6.11 630 5/21/2020
2.6.10 540 5/20/2020
2.6.9 534 5/18/2020
2.6.8 529 5/18/2020
2.6.7 507 5/13/2020
2.6.6 534 5/4/2020
2.6.5 1,825 4/21/2020
2.6.4 541 4/18/2020
2.6.3 523 4/15/2020
2.6.2 511 4/15/2020
2.6.1 506 4/14/2020
2.6.0 726 4/10/2020
2.5.19 538 4/8/2020
2.5.18 528 4/6/2020
2.5.17 540 4/3/2020
2.5.16 499 4/3/2020
2.5.15 542 3/24/2020
2.5.14 665 3/22/2020
2.5.13 513 3/22/2020
2.5.10 520 3/3/2020
2.5.9 551 3/2/2020
2.5.8 547 2/28/2020
2.5.7 1,979 2/22/2020
2.5.6 646 2/22/2020
2.5.5 617 2/21/2020
2.5.2 747 2/19/2020
2.5.1 677 2/18/2020
2.5.0 566 2/18/2020
2.4.21 611 2/18/2020
2.4.19 621 2/17/2020
2.4.18 567 2/17/2020
2.4.17 664 2/13/2020
2.4.16 529 2/13/2020
2.4.15 662 1/20/2020
2.4.14 565 1/20/2020
2.4.13 612 1/5/2020
2.4.12 634 1/3/2020
2.4.11 598 1/2/2020
2.4.10 723 1/1/2020
2.4.9 617 1/1/2020
2.4.8 625 1/1/2020
2.4.7 701 12/31/2019
2.4.6 688 12/31/2019
2.4.5 643 12/30/2019
2.4.4 542 12/24/2019
2.4.3 610 12/22/2019
2.4.2 582 12/22/2019
2.4.1-netcore-alpha 1,605 5/9/2019