Boogie 3.3.0

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

                    
                

            
nuke :add-package Boogie --version 3.3.0

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 174 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 25,042 9/12/2024
3.2.4 25,235 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 243 4/11/2024
3.1.3 42,743 3/13/2024
3.1.2 940 3/7/2024
3.1.1 172 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,480 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 265 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,083 10/25/2022
2.15.8 94,164 9/30/2022
2.15.7 23,210 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 352 12/9/2021
2.10.2 410 11/30/2021
2.10.0 364 11/30/2021
2.9.6 46,938 10/25/2021
2.9.5 361 10/21/2021
2.9.4 454 8/24/2021
2.9.3 392 8/10/2021
2.9.2 387 7/21/2021
2.9.1 2,492 7/5/2021
2.9.0 52,334 6/29/2021
2.8.33 8,290 6/14/2021
2.8.32 19,281 5/4/2021
2.8.31 3,772 4/21/2021
2.8.30 347 4/13/2021
2.8.29 11,978 3/29/2021
2.8.28 452 3/18/2021
2.8.27 7,350 3/11/2021
2.8.26 6,558 2/2/2021
2.8.25 19,905 2/2/2021
2.8.24 357 2/2/2021
2.8.23 412 1/22/2021
2.8.22 511 1/9/2021
2.8.21 521 1/5/2021
2.8.20 475 1/1/2021
2.8.18 537 12/29/2020
2.8.17 394 12/24/2020
2.8.16 407 12/23/2020
2.8.15 464 12/21/2020
2.8.14 567 12/19/2020
2.8.13 502 12/19/2020
2.8.12 486 12/13/2020
2.8.11 473 12/3/2020
2.8.10 455 12/2/2020
2.8.9 446 12/2/2020
2.8.8 450 11/26/2020
2.8.7 485 11/11/2020
2.8.6 468 11/5/2020
2.8.5 452 11/3/2020
2.8.4 492 10/30/2020
2.8.3 479 10/29/2020
2.8.2 521 10/24/2020
2.8.1 502 10/22/2020
2.8.0 524 10/20/2020
2.7.43 544 10/19/2020
2.7.42 527 10/15/2020
2.7.41 483 10/15/2020
2.7.40 523 10/14/2020
2.7.39 499 10/12/2020
2.7.38 562 10/11/2020
2.7.37 565 10/10/2020
2.7.36 527 10/7/2020
2.7.35 10,440 10/6/2020
2.7.34 527 9/30/2020
2.7.33 474 9/30/2020
2.7.32 569 9/29/2020
2.7.31 512 9/25/2020
2.7.30 8,576 9/20/2020
2.7.29 519 9/18/2020
2.7.28 554 9/17/2020
2.7.27 526 9/15/2020
2.7.26 598 9/12/2020
2.7.25 584 9/9/2020
2.7.24 531 9/7/2020
2.7.23 514 9/7/2020
2.7.22 596 9/6/2020
2.7.21 727 9/3/2020
2.7.20 525 8/26/2020
2.7.19 524 8/26/2020
2.7.18 544 8/26/2020
2.7.17 498 8/25/2020
2.7.16 496 8/19/2020
2.7.15 2,537 8/14/2020
2.7.14 597 8/6/2020
2.7.13 516 8/6/2020
2.7.12 566 8/6/2020
2.7.11 533 8/5/2020
2.7.10 581 8/5/2020
2.7.9 1,156 7/23/2020
2.7.8 521 7/23/2020
2.7.7 508 7/23/2020
2.7.6 624 7/22/2020
2.7.5 612 7/21/2020
2.7.4 521 7/21/2020
2.7.3 576 7/20/2020
2.7.2 569 7/20/2020
2.7.1 593 7/18/2020
2.7.0 534 7/15/2020
2.6.22 503 7/15/2020
2.6.21 501 7/15/2020
2.6.20 574 7/8/2020
2.6.19 549 7/6/2020
2.6.18 546 6/11/2020
2.6.17 1,328 6/9/2020
2.6.16 556 6/5/2020
2.6.15 4,801 6/4/2020
2.6.14 599 6/2/2020
2.6.13 632 5/29/2020
2.6.12 531 5/29/2020
2.6.11 658 5/21/2020
2.6.10 568 5/20/2020
2.6.9 559 5/18/2020
2.6.8 555 5/18/2020
2.6.7 531 5/13/2020
2.6.6 563 5/4/2020
2.6.5 1,855 4/21/2020
2.6.4 568 4/18/2020
2.6.3 548 4/15/2020
2.6.2 534 4/15/2020
2.6.1 530 4/14/2020
2.6.0 753 4/10/2020
2.5.19 550 4/8/2020
2.5.18 558 4/6/2020
2.5.17 572 4/3/2020
2.5.16 528 4/3/2020
2.5.15 573 3/24/2020
2.5.14 699 3/22/2020
2.5.13 543 3/22/2020
2.5.10 544 3/3/2020
2.5.9 563 3/2/2020
2.5.8 576 2/28/2020
2.5.7 2,005 2/22/2020
2.5.6 672 2/22/2020
2.5.5 643 2/21/2020
2.5.2 773 2/19/2020
2.5.1 706 2/18/2020
2.5.0 590 2/18/2020
2.4.21 641 2/18/2020
2.4.19 644 2/17/2020
2.4.18 591 2/17/2020
2.4.17 690 2/13/2020
2.4.16 557 2/13/2020
2.4.15 694 1/20/2020
2.4.14 591 1/20/2020
2.4.13 636 1/5/2020
2.4.12 659 1/3/2020
2.4.11 627 1/2/2020
2.4.10 749 1/1/2020
2.4.9 629 1/1/2020
2.4.8 654 1/1/2020
2.4.7 730 12/31/2019
2.4.6 716 12/31/2019
2.4.5 676 12/30/2019
2.4.4 570 12/24/2019
2.4.3 640 12/22/2019
2.4.2 612 12/22/2019
2.4.1-netcore-alpha 1,650 5/9/2019