Boogie 3.4.3

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

                    
                

            
nuke :add-package Boogie --version 3.4.3

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.  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. 
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 807 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 113 10/12/2024
3.3.1 95 10/7/2024
3.3.0 96 10/8/2024
3.2.5 37,188 9/12/2024
3.2.4 37,062 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 245 4/11/2024
3.1.3 42,778 3/13/2024
3.1.2 942 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 203 2/2/2024
3.0.10 177 1/22/2024
3.0.9 128,026 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,663 8/16/2023
3.0.0 376 7/20/2023
2.16.9 287 6/20/2023
2.16.8 200 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 289 2/23/2023
2.16.1 261 2/21/2023
2.16.0 56,843 11/28/2022
2.15.9 2,284 10/25/2022
2.15.8 94,826 9/30/2022
2.15.7 23,312 7/22/2022
2.15.6 555 6/16/2022
2.15.5 472 6/15/2022
2.15.4 470 6/13/2022
2.15.3 447 6/10/2022
2.15.2 574 5/12/2022
2.15.1 489 5/5/2022
2.15.0 501 5/2/2022
2.14.0 521 4/19/2022
2.13.4 712 3/25/2022
2.13.3 463 3/23/2022
2.13.2 452 3/23/2022
2.13.1 481 3/17/2022
2.13.0 487 3/9/2022
2.12.1 513 2/28/2022
2.11.5 489 2/16/2022
2.11.4 477 2/4/2022
2.11.3 458 2/3/2022
2.11.2 520 1/10/2022
2.11.1 342 12/15/2021
2.11.0 360 12/9/2021
2.10.2 421 11/30/2021
2.10.0 373 11/30/2021
2.9.6 46,956 10/25/2021
2.9.5 369 10/21/2021
2.9.4 464 8/24/2021
2.9.3 401 8/10/2021
2.9.2 395 7/21/2021
2.9.1 2,517 7/5/2021
2.9.0 52,786 6/29/2021
2.8.33 8,434 6/14/2021
2.8.32 19,509 5/4/2021
2.8.31 3,781 4/21/2021
2.8.30 356 4/13/2021
2.8.29 12,109 3/29/2021
2.8.28 463 3/18/2021
2.8.27 7,357 3/11/2021
2.8.26 6,566 2/2/2021
2.8.25 20,037 2/2/2021
2.8.24 365 2/2/2021
2.8.23 422 1/22/2021
2.8.22 520 1/9/2021
2.8.21 528 1/5/2021
2.8.20 484 1/1/2021
2.8.18 550 12/29/2020
2.8.17 403 12/24/2020
2.8.16 415 12/23/2020
2.8.15 473 12/21/2020
2.8.14 577 12/19/2020
2.8.13 512 12/19/2020
2.8.12 495 12/13/2020
2.8.11 483 12/3/2020
2.8.10 464 12/2/2020
2.8.9 454 12/2/2020
2.8.8 459 11/26/2020
2.8.7 495 11/11/2020
2.8.6 476 11/5/2020
2.8.5 463 11/3/2020
2.8.4 503 10/30/2020
2.8.3 487 10/29/2020
2.8.2 530 10/24/2020
2.8.1 511 10/22/2020
2.8.0 533 10/20/2020
2.7.43 553 10/19/2020
2.7.42 537 10/15/2020
2.7.41 494 10/15/2020
2.7.40 533 10/14/2020
2.7.39 509 10/12/2020
2.7.38 573 10/11/2020
2.7.37 575 10/10/2020
2.7.36 536 10/7/2020
2.7.35 10,451 10/6/2020
2.7.34 535 9/30/2020
2.7.33 484 9/30/2020
2.7.32 576 9/29/2020
2.7.31 521 9/25/2020
2.7.30 8,585 9/20/2020
2.7.29 528 9/18/2020
2.7.28 561 9/17/2020
2.7.27 535 9/15/2020
2.7.26 605 9/12/2020
2.7.25 596 9/9/2020
2.7.24 540 9/7/2020
2.7.23 521 9/7/2020
2.7.22 606 9/6/2020
2.7.21 735 9/3/2020
2.7.20 535 8/26/2020
2.7.19 534 8/26/2020
2.7.18 553 8/26/2020
2.7.17 507 8/25/2020
2.7.16 505 8/19/2020
2.7.15 2,546 8/14/2020
2.7.14 606 8/6/2020
2.7.13 524 8/6/2020
2.7.12 576 8/6/2020
2.7.11 542 8/5/2020
2.7.10 590 8/5/2020
2.7.9 1,167 7/23/2020
2.7.8 532 7/23/2020
2.7.7 519 7/23/2020
2.7.6 634 7/22/2020
2.7.5 620 7/21/2020
2.7.4 530 7/21/2020
2.7.3 585 7/20/2020
2.7.2 579 7/20/2020
2.7.1 603 7/18/2020
2.7.0 542 7/15/2020
2.6.22 514 7/15/2020
2.6.21 511 7/15/2020
2.6.20 582 7/8/2020
2.6.19 556 7/6/2020
2.6.18 553 6/11/2020
2.6.17 1,347 6/9/2020
2.6.16 567 6/5/2020
2.6.15 4,810 6/4/2020
2.6.14 608 6/2/2020
2.6.13 640 5/29/2020
2.6.12 541 5/29/2020
2.6.11 666 5/21/2020
2.6.10 576 5/20/2020
2.6.9 568 5/18/2020
2.6.8 564 5/18/2020
2.6.7 540 5/13/2020
2.6.6 572 5/4/2020
2.6.5 1,865 4/21/2020
2.6.4 576 4/18/2020
2.6.3 557 4/15/2020
2.6.2 544 4/15/2020
2.6.1 539 4/14/2020
2.6.0 763 4/10/2020
2.5.19 559 4/8/2020
2.5.18 566 4/6/2020
2.5.17 580 4/3/2020
2.5.16 537 4/3/2020
2.5.15 581 3/24/2020
2.5.14 709 3/22/2020
2.5.13 551 3/22/2020
2.5.10 553 3/3/2020
2.5.9 572 3/2/2020
2.5.8 585 2/28/2020
2.5.7 2,013 2/22/2020
2.5.6 681 2/22/2020
2.5.5 651 2/21/2020
2.5.2 781 2/19/2020
2.5.1 714 2/18/2020
2.5.0 598 2/18/2020
2.4.21 651 2/18/2020
2.4.19 653 2/17/2020
2.4.18 600 2/17/2020
2.4.17 698 2/13/2020
2.4.16 565 2/13/2020
2.4.15 704 1/20/2020
2.4.14 599 1/20/2020
2.4.13 644 1/5/2020
2.4.12 673 1/3/2020
2.4.11 636 1/2/2020
2.4.10 757 1/1/2020
2.4.9 637 1/1/2020
2.4.8 662 1/1/2020
2.4.7 739 12/31/2019
2.4.6 724 12/31/2019
2.4.5 685 12/30/2019
2.4.4 579 12/24/2019
2.4.3 649 12/22/2019
2.4.2 622 12/22/2019
2.4.1-netcore-alpha 1,664 5/9/2019