Boogie 3.0.12

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

                    
                

            
nuke :add-package Boogie --version 3.0.12

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.4.3 155 11/26/2024
3.4.2 123 11/14/2024
3.4.1 158 10/25/2024
3.4.0 85 10/24/2024
3.3.3 161 10/15/2024
3.3.2 108 10/12/2024
3.3.1 89 10/7/2024
3.3.0 87 10/8/2024
3.2.5 23,466 9/12/2024
3.2.4 24,134 8/16/2024
3.2.3 97 7/30/2024
3.2.2 137 7/18/2024
3.2.0 118 7/4/2024
3.1.6 167 5/23/2024
3.1.5 155 4/23/2024
3.1.4 241 4/11/2024
3.1.3 42,737 3/13/2024
3.1.2 940 3/7/2024
3.1.1 170 3/5/2024
3.1.0 174 3/4/2024
3.0.12 3,186 2/19/2024
3.0.11 201 2/2/2024
3.0.10 175 1/22/2024
3.0.9 127,334 12/8/2023
3.0.8 1,773 11/29/2023
3.0.7 175 11/21/2023
3.0.6 992 11/16/2023
3.0.5 263 10/10/2023
3.0.4 237 9/14/2023
3.0.3 15,968 9/6/2023
3.0.2 159 9/5/2023
3.0.1 53,520 8/16/2023
3.0.0 372 7/20/2023
2.16.9 285 6/20/2023
2.16.8 194 6/1/2023
2.16.7 179 5/19/2023
2.16.5 291 4/10/2023
2.16.4 260 3/31/2023
2.16.3 289 3/9/2023
2.16.2 280 2/23/2023
2.16.1 254 2/21/2023
2.16.0 56,784 11/28/2022
2.15.9 2,079 10/25/2022
2.15.8 94,103 9/30/2022
2.15.7 23,186 7/22/2022
2.15.6 545 6/16/2022
2.15.5 462 6/15/2022
2.15.4 460 6/13/2022
2.15.3 438 6/10/2022
2.15.2 565 5/12/2022
2.15.1 480 5/5/2022
2.15.0 489 5/2/2022
2.14.0 511 4/19/2022
2.13.4 702 3/25/2022
2.13.3 454 3/23/2022
2.13.2 443 3/23/2022
2.13.1 472 3/17/2022
2.13.0 477 3/9/2022
2.12.1 503 2/28/2022
2.11.5 480 2/16/2022
2.11.4 465 2/4/2022
2.11.3 448 2/3/2022
2.11.2 511 1/10/2022
2.11.1 330 12/15/2021
2.11.0 348 12/9/2021
2.10.2 408 11/30/2021
2.10.0 362 11/30/2021
2.9.6 46,936 10/25/2021
2.9.5 358 10/21/2021
2.9.4 452 8/24/2021
2.9.3 390 8/10/2021
2.9.2 385 7/21/2021
2.9.1 2,490 7/5/2021
2.9.0 52,289 6/29/2021
2.8.33 8,272 6/14/2021
2.8.32 19,256 5/4/2021
2.8.31 3,770 4/21/2021
2.8.30 345 4/13/2021
2.8.29 11,962 3/29/2021
2.8.28 448 3/18/2021
2.8.27 7,347 3/11/2021
2.8.26 6,556 2/2/2021
2.8.25 19,890 2/2/2021
2.8.24 355 2/2/2021
2.8.23 410 1/22/2021
2.8.22 509 1/9/2021
2.8.21 517 1/5/2021
2.8.20 473 1/1/2021
2.8.18 535 12/29/2020
2.8.17 392 12/24/2020
2.8.16 403 12/23/2020
2.8.15 462 12/21/2020
2.8.14 565 12/19/2020
2.8.13 500 12/19/2020
2.8.12 484 12/13/2020
2.8.11 470 12/3/2020
2.8.10 453 12/2/2020
2.8.9 442 12/2/2020
2.8.8 448 11/26/2020
2.8.7 483 11/11/2020
2.8.6 466 11/5/2020
2.8.5 450 11/3/2020
2.8.4 490 10/30/2020
2.8.3 477 10/29/2020
2.8.2 519 10/24/2020
2.8.1 500 10/22/2020
2.8.0 522 10/20/2020
2.7.43 542 10/19/2020
2.7.42 525 10/15/2020
2.7.41 481 10/15/2020
2.7.40 521 10/14/2020
2.7.39 497 10/12/2020
2.7.38 560 10/11/2020
2.7.37 563 10/10/2020
2.7.36 525 10/7/2020
2.7.35 10,438 10/6/2020
2.7.34 525 9/30/2020
2.7.33 472 9/30/2020
2.7.32 565 9/29/2020
2.7.31 510 9/25/2020
2.7.30 8,574 9/20/2020
2.7.29 516 9/18/2020
2.7.28 550 9/17/2020
2.7.27 524 9/15/2020
2.7.26 594 9/12/2020
2.7.25 582 9/9/2020
2.7.24 529 9/7/2020
2.7.23 510 9/7/2020
2.7.22 594 9/6/2020
2.7.21 725 9/3/2020
2.7.20 523 8/26/2020
2.7.19 522 8/26/2020
2.7.18 542 8/26/2020
2.7.17 496 8/25/2020
2.7.16 494 8/19/2020
2.7.15 2,535 8/14/2020
2.7.14 595 8/6/2020
2.7.13 514 8/6/2020
2.7.12 564 8/6/2020
2.7.11 531 8/5/2020
2.7.10 579 8/5/2020
2.7.9 1,154 7/23/2020
2.7.8 518 7/23/2020
2.7.7 506 7/23/2020
2.7.6 622 7/22/2020
2.7.5 608 7/21/2020
2.7.4 517 7/21/2020
2.7.3 572 7/20/2020
2.7.2 567 7/20/2020
2.7.1 591 7/18/2020
2.7.0 528 7/15/2020
2.6.22 501 7/15/2020
2.6.21 499 7/15/2020
2.6.20 570 7/8/2020
2.6.19 547 7/6/2020
2.6.18 542 6/11/2020
2.6.17 1,324 6/9/2020
2.6.16 554 6/5/2020
2.6.15 4,797 6/4/2020
2.6.14 596 6/2/2020
2.6.13 630 5/29/2020
2.6.12 529 5/29/2020
2.6.11 656 5/21/2020
2.6.10 566 5/20/2020
2.6.9 557 5/18/2020
2.6.8 553 5/18/2020
2.6.7 529 5/13/2020
2.6.6 561 5/4/2020
2.6.5 1,853 4/21/2020
2.6.4 566 4/18/2020
2.6.3 546 4/15/2020
2.6.2 532 4/15/2020
2.6.1 528 4/14/2020
2.6.0 751 4/10/2020
2.5.19 548 4/8/2020
2.5.18 556 4/6/2020
2.5.17 570 4/3/2020
2.5.16 526 4/3/2020
2.5.15 571 3/24/2020
2.5.14 697 3/22/2020
2.5.13 541 3/22/2020
2.5.10 542 3/3/2020
2.5.9 561 3/2/2020
2.5.8 574 2/28/2020
2.5.7 2,003 2/22/2020
2.5.6 670 2/22/2020
2.5.5 641 2/21/2020
2.5.2 771 2/19/2020
2.5.1 703 2/18/2020
2.5.0 588 2/18/2020
2.4.21 639 2/18/2020
2.4.19 642 2/17/2020
2.4.18 589 2/17/2020
2.4.17 688 2/13/2020
2.4.16 555 2/13/2020
2.4.15 692 1/20/2020
2.4.14 589 1/20/2020
2.4.13 634 1/5/2020
2.4.12 657 1/3/2020
2.4.11 625 1/2/2020
2.4.10 747 1/1/2020
2.4.9 627 1/1/2020
2.4.8 652 1/1/2020
2.4.7 728 12/31/2019
2.4.6 714 12/31/2019
2.4.5 674 12/30/2019
2.4.4 568 12/24/2019
2.4.3 638 12/22/2019
2.4.2 610 12/22/2019
2.4.1-netcore-alpha 1,650 5/9/2019