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 890 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,782 9/12/2024
3.2.4 37,623 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,044 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,666 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,312 10/25/2022
2.15.8 94,844 9/30/2022
2.15.7 23,315 7/22/2022
2.15.6 556 6/16/2022
2.15.5 473 6/15/2022
2.15.4 471 6/13/2022
2.15.3 448 6/10/2022
2.15.2 575 5/12/2022
2.15.1 491 5/5/2022
2.15.0 502 5/2/2022
2.14.0 523 4/19/2022
2.13.4 714 3/25/2022
2.13.3 465 3/23/2022
2.13.2 454 3/23/2022
2.13.1 483 3/17/2022
2.13.0 496 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,525 7/5/2021
2.9.0 52,805 6/29/2021
2.8.33 8,445 6/14/2021
2.8.32 19,523 5/4/2021
2.8.31 3,785 4/21/2021
2.8.30 361 4/13/2021
2.8.29 12,119 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,047 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 540 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 510 8/19/2020
2.7.15 2,552 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,354 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 545 5/13/2020
2.6.6 577 5/4/2020
2.6.5 1,870 4/21/2020
2.6.4 581 4/18/2020
2.6.3 562 4/15/2020
2.6.2 549 4/15/2020
2.6.1 544 4/14/2020
2.6.0 768 4/10/2020
2.5.19 564 4/8/2020
2.5.18 572 4/6/2020
2.5.17 586 4/3/2020
2.5.16 542 4/3/2020
2.5.15 586 3/24/2020
2.5.14 714 3/22/2020
2.5.13 557 3/22/2020
2.5.10 558 3/3/2020
2.5.9 578 3/2/2020
2.5.8 590 2/28/2020
2.5.7 2,018 2/22/2020
2.5.6 686 2/22/2020
2.5.5 656 2/21/2020
2.5.2 787 2/19/2020
2.5.1 720 2/18/2020
2.5.0 603 2/18/2020
2.4.21 656 2/18/2020
2.4.19 658 2/17/2020
2.4.18 605 2/17/2020
2.4.17 703 2/13/2020
2.4.16 571 2/13/2020
2.4.15 709 1/20/2020
2.4.14 604 1/20/2020
2.4.13 649 1/5/2020
2.4.12 678 1/3/2020
2.4.11 642 1/2/2020
2.4.10 763 1/1/2020
2.4.9 642 1/1/2020
2.4.8 667 1/1/2020
2.4.7 744 12/31/2019
2.4.6 729 12/31/2019
2.4.5 690 12/30/2019
2.4.4 585 12/24/2019
2.4.3 655 12/22/2019
2.4.2 627 12/22/2019
2.4.1-netcore-alpha 1,672 5/9/2019