Boogie 3.1.6

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher. 
dotnet tool install --global Boogie --version 3.1.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 3.1.6
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=3.1.6
nuke :add-package Boogie --version 3.1.6

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.1.6 126 5/23/2024
3.1.5 124 4/23/2024
3.1.4 190 4/11/2024
3.1.3 22,089 3/13/2024
3.1.2 866 3/7/2024
3.1.1 123 3/5/2024
3.1.0 116 3/4/2024
3.0.12 2,965 2/19/2024
3.0.11 149 2/2/2024
3.0.10 128 1/22/2024
3.0.9 92,546 12/8/2023
3.0.8 1,739 11/29/2023
3.0.7 131 11/21/2023
3.0.6 915 11/16/2023
3.0.5 220 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,459 9/30/2022
2.15.7 21,983 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,295 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,299 6/29/2021
2.8.33 7,973 6/14/2021
2.8.32 18,774 5/4/2021
2.8.31 3,744 4/21/2021
2.8.30 319 4/13/2021
2.8.29 11,693 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,612 2/2/2021
2.8.24 325 2/2/2021
2.8.23 382 1/22/2021
2.8.22 485 1/9/2021
2.8.21 494 1/5/2021
2.8.20 451 1/1/2021
2.8.18 495 12/29/2020
2.8.17 382 12/24/2020
2.8.16 378 12/23/2020
2.8.15 437 12/21/2020
2.8.14 543 12/19/2020
2.8.13 475 12/19/2020
2.8.12 462 12/13/2020
2.8.11 442 12/3/2020
2.8.10 426 12/2/2020
2.8.9 419 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