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. 
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 263 11/26/2024
3.4.2 126 11/14/2024
3.4.1 159 10/25/2024
3.4.0 86 10/24/2024
3.3.3 162 10/15/2024
3.3.2 111 10/12/2024
3.3.1 92 10/7/2024
3.3.0 90 10/8/2024
3.2.5 27,093 9/12/2024
3.2.4 27,133 8/16/2024
3.2.3 98 7/30/2024
3.2.2 140 7/18/2024
3.2.0 119 7/4/2024
3.1.6 168 5/23/2024
3.1.5 156 4/23/2024
3.1.4 244 4/11/2024
3.1.3 42,758 3/13/2024
3.1.2 941 3/7/2024
3.1.1 173 3/5/2024
3.1.0 175 3/4/2024
3.0.12 3,187 2/19/2024
3.0.11 202 2/2/2024
3.0.10 176 1/22/2024
3.0.9 127,637 12/8/2023
3.0.8 1,775 11/29/2023
3.0.7 176 11/21/2023
3.0.6 993 11/16/2023
3.0.5 266 10/10/2023
3.0.4 240 9/14/2023
3.0.3 15,969 9/6/2023
3.0.2 160 9/5/2023
3.0.1 53,591 8/16/2023
3.0.0 373 7/20/2023
2.16.9 286 6/20/2023
2.16.8 195 6/1/2023
2.16.7 180 5/19/2023
2.16.5 292 4/10/2023
2.16.4 261 3/31/2023
2.16.3 290 3/9/2023
2.16.2 281 2/23/2023
2.16.1 255 2/21/2023
2.16.0 56,787 11/28/2022
2.15.9 2,089 10/25/2022
2.15.8 94,300 9/30/2022
2.15.7 23,276 7/22/2022
2.15.6 549 6/16/2022
2.15.5 466 6/15/2022
2.15.4 464 6/13/2022
2.15.3 442 6/10/2022
2.15.2 569 5/12/2022
2.15.1 484 5/5/2022
2.15.0 493 5/2/2022
2.14.0 515 4/19/2022
2.13.4 706 3/25/2022
2.13.3 458 3/23/2022
2.13.2 447 3/23/2022
2.13.1 476 3/17/2022
2.13.0 481 3/9/2022
2.12.1 507 2/28/2022
2.11.5 484 2/16/2022
2.11.4 469 2/4/2022
2.11.3 452 2/3/2022
2.11.2 515 1/10/2022
2.11.1 337 12/15/2021
2.11.0 354 12/9/2021
2.10.2 412 11/30/2021
2.10.0 368 11/30/2021
2.9.6 46,942 10/25/2021
2.9.5 363 10/21/2021
2.9.4 456 8/24/2021
2.9.3 396 8/10/2021
2.9.2 389 7/21/2021
2.9.1 2,496 7/5/2021
2.9.0 52,417 6/29/2021
2.8.33 8,315 6/14/2021
2.8.32 19,330 5/4/2021
2.8.31 3,774 4/21/2021
2.8.30 351 4/13/2021
2.8.29 12,005 3/29/2021
2.8.28 458 3/18/2021
2.8.27 7,352 3/11/2021
2.8.26 6,560 2/2/2021
2.8.25 19,930 2/2/2021
2.8.24 359 2/2/2021
2.8.23 415 1/22/2021
2.8.22 513 1/9/2021
2.8.21 523 1/5/2021
2.8.20 479 1/1/2021
2.8.18 539 12/29/2020
2.8.17 396 12/24/2020
2.8.16 409 12/23/2020
2.8.15 466 12/21/2020
2.8.14 569 12/19/2020
2.8.13 506 12/19/2020
2.8.12 490 12/13/2020
2.8.11 475 12/3/2020
2.8.10 459 12/2/2020
2.8.9 448 12/2/2020
2.8.8 452 11/26/2020
2.8.7 489 11/11/2020
2.8.6 471 11/5/2020
2.8.5 455 11/3/2020
2.8.4 495 10/30/2020
2.8.3 481 10/29/2020
2.8.2 524 10/24/2020
2.8.1 506 10/22/2020
2.8.0 528 10/20/2020
2.7.43 546 10/19/2020
2.7.42 529 10/15/2020
2.7.41 485 10/15/2020
2.7.40 525 10/14/2020
2.7.39 501 10/12/2020
2.7.38 564 10/11/2020
2.7.37 569 10/10/2020
2.7.36 529 10/7/2020
2.7.35 10,444 10/6/2020
2.7.34 529 9/30/2020
2.7.33 476 9/30/2020
2.7.32 571 9/29/2020
2.7.31 514 9/25/2020
2.7.30 8,578 9/20/2020
2.7.29 523 9/18/2020
2.7.28 556 9/17/2020
2.7.27 530 9/15/2020
2.7.26 600 9/12/2020
2.7.25 586 9/9/2020
2.7.24 535 9/7/2020
2.7.23 516 9/7/2020
2.7.22 598 9/6/2020
2.7.21 729 9/3/2020
2.7.20 528 8/26/2020
2.7.19 528 8/26/2020
2.7.18 547 8/26/2020
2.7.17 502 8/25/2020
2.7.16 499 8/19/2020
2.7.15 2,541 8/14/2020
2.7.14 600 8/6/2020
2.7.13 519 8/6/2020
2.7.12 570 8/6/2020
2.7.11 535 8/5/2020
2.7.10 585 8/5/2020
2.7.9 1,161 7/23/2020
2.7.8 526 7/23/2020
2.7.7 511 7/23/2020
2.7.6 629 7/22/2020
2.7.5 615 7/21/2020
2.7.4 524 7/21/2020
2.7.3 579 7/20/2020
2.7.2 572 7/20/2020
2.7.1 597 7/18/2020
2.7.0 536 7/15/2020
2.6.22 505 7/15/2020
2.6.21 503 7/15/2020
2.6.20 577 7/8/2020
2.6.19 551 7/6/2020
2.6.18 548 6/11/2020
2.6.17 1,330 6/9/2020
2.6.16 560 6/5/2020
2.6.15 4,803 6/4/2020
2.6.14 601 6/2/2020
2.6.13 634 5/29/2020
2.6.12 533 5/29/2020
2.6.11 660 5/21/2020
2.6.10 570 5/20/2020
2.6.9 561 5/18/2020
2.6.8 557 5/18/2020
2.6.7 533 5/13/2020
2.6.6 565 5/4/2020
2.6.5 1,858 4/21/2020
2.6.4 570 4/18/2020
2.6.3 550 4/15/2020
2.6.2 537 4/15/2020
2.6.1 533 4/14/2020
2.6.0 756 4/10/2020
2.5.19 553 4/8/2020
2.5.18 560 4/6/2020
2.5.17 574 4/3/2020
2.5.16 530 4/3/2020
2.5.15 575 3/24/2020
2.5.14 701 3/22/2020
2.5.13 545 3/22/2020
2.5.10 546 3/3/2020
2.5.9 565 3/2/2020
2.5.8 578 2/28/2020
2.5.7 2,007 2/22/2020
2.5.6 674 2/22/2020
2.5.5 645 2/21/2020
2.5.2 775 2/19/2020
2.5.1 708 2/18/2020
2.5.0 592 2/18/2020
2.4.21 645 2/18/2020
2.4.19 646 2/17/2020
2.4.18 593 2/17/2020
2.4.17 692 2/13/2020
2.4.16 559 2/13/2020
2.4.15 696 1/20/2020
2.4.14 593 1/20/2020
2.4.13 638 1/5/2020
2.4.12 667 1/3/2020
2.4.11 630 1/2/2020
2.4.10 751 1/1/2020
2.4.9 631 1/1/2020
2.4.8 656 1/1/2020
2.4.7 732 12/31/2019
2.4.6 718 12/31/2019
2.4.5 678 12/30/2019
2.4.4 573 12/24/2019
2.4.3 643 12/22/2019
2.4.2 615 12/22/2019
2.4.1-netcore-alpha 1,653 5/9/2019