Boogie 2.6.19

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


                    

                
nuke :add-package Boogie --version 2.6.19

An SMT-based program verifier.

Product Compatible and additional computed target framework versions.
.NET net5.0 was computed.  net5.0-windows was computed.  net6.0 was computed.  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. 
.NET Core netcoreapp3.1 is compatible. 
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.5.1 217 a month ago
3.4.3 1,847 5 months ago
3.4.2 141 5 months ago
3.4.1 173 6 months ago
3.4.0 100 6 months ago
3.3.3 178 6 months ago
3.3.2 121 6 months ago
3.3.1 101 6 months ago
3.3.0 101 6 months ago
3.2.5 42,500 7 months ago
3.2.4 43,287 8 months ago
3.2.3 106 8 months ago
3.2.2 147 9 months ago
3.2.0 128 9 months ago
3.1.6 175 5/23/2024
3.1.5 161 4/23/2024
3.1.4 250 4/11/2024
3.1.3 42,824 3/13/2024
3.1.2 949 3/7/2024
3.1.1 179 3/5/2024
3.1.0 182 3/4/2024
3.0.12 3,197 2/19/2024
3.0.11 211 2/2/2024
3.0.10 183 1/22/2024
3.0.9 128,202 12/8/2023
3.0.8 1,780 11/29/2023
3.0.7 179 11/21/2023
3.0.6 1,000 11/16/2023
3.0.5 273 10/10/2023
3.0.4 248 9/14/2023
3.0.3 15,994 9/6/2023
3.0.2 163 9/5/2023
3.0.1 53,696 8/16/2023
3.0.0 380 7/20/2023
2.16.9 288 6/20/2023
2.16.8 208 6/1/2023
2.16.7 189 5/19/2023
2.16.5 299 4/10/2023
2.16.4 268 3/31/2023
2.16.3 298 3/9/2023
2.16.2 291 2/23/2023
2.16.1 262 2/21/2023
2.16.0 56,875 11/28/2022
2.15.9 2,523 10/25/2022
2.15.8 95,223 9/30/2022
2.15.7 23,320 7/22/2022
2.15.6 561 6/16/2022
2.15.5 477 6/15/2022
2.15.4 475 6/13/2022
2.15.3 452 6/10/2022
2.15.2 582 5/12/2022
2.15.1 497 5/5/2022
2.15.0 507 5/2/2022
2.14.0 529 4/19/2022
2.13.4 719 3/25/2022
2.13.3 470 3/23/2022
2.13.2 459 3/23/2022
2.13.1 488 3/17/2022
2.13.0 501 3/9/2022
2.12.1 521 2/28/2022
2.11.5 497 2/16/2022
2.11.4 487 2/4/2022
2.11.3 466 2/3/2022
2.11.2 534 1/10/2022
2.11.1 353 12/15/2021
2.11.0 369 12/9/2021
2.10.2 440 11/30/2021
2.10.0 383 11/30/2021
2.9.6 46,967 10/25/2021
2.9.5 377 10/21/2021
2.9.4 474 8/24/2021
2.9.3 411 8/10/2021
2.9.2 404 7/21/2021
2.9.1 2,537 7/5/2021
2.9.0 52,987 6/29/2021
2.8.33 8,501 6/14/2021
2.8.32 19,617 5/4/2021
2.8.31 3,791 4/21/2021
2.8.30 367 4/13/2021
2.8.29 12,171 3/29/2021
2.8.28 476 3/18/2021
2.8.27 7,369 3/11/2021
2.8.26 6,581 2/2/2021
2.8.25 20,103 2/2/2021
2.8.24 379 2/2/2021
2.8.23 436 1/22/2021
2.8.22 535 1/9/2021
2.8.21 543 1/5/2021
2.8.20 500 1/1/2021
2.8.18 571 12/29/2020
2.8.17 417 12/24/2020
2.8.16 430 12/23/2020
2.8.15 488 12/21/2020
2.8.14 593 12/19/2020
2.8.13 527 12/19/2020
2.8.12 510 12/13/2020
2.8.11 497 12/3/2020
2.8.10 478 12/2/2020
2.8.9 469 12/2/2020
2.8.8 480 11/26/2020
2.8.7 509 11/11/2020
2.8.6 492 11/5/2020
2.8.5 478 11/3/2020
2.8.4 517 10/30/2020
2.8.3 502 10/29/2020
2.8.2 546 10/24/2020
2.8.1 525 10/22/2020
2.8.0 550 10/20/2020
2.7.43 569 10/19/2020
2.7.42 551 10/15/2020
2.7.41 508 10/15/2020
2.7.40 548 10/14/2020
2.7.39 524 10/12/2020
2.7.38 588 10/11/2020
2.7.37 590 10/10/2020
2.7.36 551 10/7/2020
2.7.35 10,468 10/6/2020
2.7.34 553 9/30/2020
2.7.33 499 9/30/2020
2.7.32 591 9/29/2020
2.7.31 536 9/25/2020
2.7.30 8,602 9/20/2020
2.7.29 545 9/18/2020
2.7.28 577 9/17/2020
2.7.27 550 9/15/2020
2.7.26 619 9/12/2020
2.7.25 610 9/9/2020
2.7.24 555 9/7/2020
2.7.23 542 9/7/2020
2.7.22 620 9/6/2020
2.7.21 750 9/3/2020
2.7.20 550 8/26/2020
2.7.19 549 8/26/2020
2.7.18 569 8/26/2020
2.7.17 522 8/25/2020
2.7.16 523 8/19/2020
2.7.15 2,564 8/14/2020
2.7.14 620 8/6/2020
2.7.13 539 8/6/2020
2.7.12 591 8/6/2020
2.7.11 556 8/5/2020
2.7.10 605 8/5/2020
2.7.9 1,185 7/23/2020
2.7.8 548 7/23/2020
2.7.7 534 7/23/2020
2.7.6 649 7/22/2020
2.7.5 636 7/21/2020
2.7.4 545 7/21/2020
2.7.3 600 7/20/2020
2.7.2 595 7/20/2020
2.7.1 618 7/18/2020
2.7.0 557 7/15/2020
2.6.22 530 7/15/2020
2.6.21 527 7/15/2020
2.6.20 597 7/8/2020
2.6.19 571 7/6/2020
2.6.18 567 6/11/2020
2.6.17 1,373 6/9/2020
2.6.16 583 6/5/2020
2.6.15 4,826 6/4/2020
2.6.14 623 6/2/2020
2.6.13 656 5/29/2020
2.6.12 556 5/29/2020
2.6.11 682 5/21/2020
2.6.10 591 5/20/2020
2.6.9 583 5/18/2020
2.6.8 579 5/18/2020
2.6.7 555 5/13/2020
2.6.6 588 5/4/2020
2.6.5 1,880 4/21/2020
2.6.4 592 4/18/2020
2.6.3 572 4/15/2020
2.6.2 562 4/15/2020
2.6.1 555 4/14/2020
2.6.0 778 4/10/2020
2.5.19 575 4/8/2020
2.5.18 582 4/6/2020
2.5.17 597 4/3/2020
2.5.16 552 4/3/2020
2.5.15 597 3/24/2020
2.5.14 724 3/22/2020
2.5.13 567 3/22/2020
2.5.10 570 3/3/2020
2.5.9 588 3/2/2020
2.5.8 600 2/28/2020
2.5.7 2,030 2/22/2020
2.5.6 697 2/22/2020
2.5.5 666 2/21/2020
2.5.2 798 2/19/2020
2.5.1 731 2/18/2020
2.5.0 613 2/18/2020
2.4.21 667 2/18/2020
2.4.19 669 2/17/2020
2.4.18 617 2/17/2020
2.4.17 713 2/13/2020
2.4.16 581 2/13/2020
2.4.15 719 1/20/2020
2.4.14 614 1/20/2020
2.4.13 660 1/5/2020
2.4.12 689 1/3/2020
2.4.11 654 1/2/2020
2.4.10 774 1/1/2020
2.4.9 655 1/1/2020
2.4.8 679 1/1/2020
2.4.7 757 12/31/2019
2.4.6 741 12/31/2019
2.4.5 701 12/30/2019
2.4.4 596 12/24/2019
2.4.3 667 12/22/2019
2.4.2 639 12/22/2019
2.4.1-netcore-alpha 1,687 5/9/2019