Boogie 2.5.2
There is a newer version of this package available.
See the version list below for details.
See the version list below for details.
dotnet tool install --global Boogie --version 2.5.2
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.5.2
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Boogie&version=2.5.2
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
nuke :add-package Boogie --version 2.5.2
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
An SMT-based program verifier.
Product | Versions 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. |
.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.4.3 | 76 | 11/26/2024 |
3.4.2 | 110 | 11/14/2024 |
3.4.1 | 153 | 10/25/2024 |
3.4.0 | 80 | 10/24/2024 |
3.3.3 | 157 | 10/15/2024 |
3.3.2 | 104 | 10/12/2024 |
3.3.1 | 83 | 10/7/2024 |
3.3.0 | 81 | 10/8/2024 |
3.2.5 | 18,570 | 9/12/2024 |
3.2.4 | 19,483 | 8/16/2024 |
3.2.3 | 93 | 7/30/2024 |
3.2.2 | 130 | 7/18/2024 |
3.2.0 | 112 | 7/4/2024 |
3.1.6 | 163 | 5/23/2024 |
3.1.5 | 153 | 4/23/2024 |
3.1.4 | 237 | 4/11/2024 |
3.1.3 | 42,725 | 3/13/2024 |
3.1.2 | 938 | 3/7/2024 |
3.1.1 | 168 | 3/5/2024 |
3.1.0 | 170 | 3/4/2024 |
3.0.12 | 3,184 | 2/19/2024 |
3.0.11 | 199 | 2/2/2024 |
3.0.10 | 173 | 1/22/2024 |
3.0.9 | 126,839 | 12/8/2023 |
3.0.8 | 1,771 | 11/29/2023 |
3.0.7 | 173 | 11/21/2023 |
3.0.6 | 990 | 11/16/2023 |
3.0.5 | 261 | 10/10/2023 |
3.0.4 | 235 | 9/14/2023 |
3.0.3 | 15,966 | 9/6/2023 |
3.0.2 | 157 | 9/5/2023 |
3.0.1 | 53,518 | 8/16/2023 |
3.0.0 | 368 | 7/20/2023 |
2.16.9 | 283 | 6/20/2023 |
2.16.8 | 192 | 6/1/2023 |
2.16.7 | 177 | 5/19/2023 |
2.16.5 | 289 | 4/10/2023 |
2.16.4 | 258 | 3/31/2023 |
2.16.3 | 287 | 3/9/2023 |
2.16.2 | 278 | 2/23/2023 |
2.16.1 | 252 | 2/21/2023 |
2.16.0 | 56,782 | 11/28/2022 |
2.15.9 | 1,986 | 10/25/2022 |
2.15.8 | 93,616 | 9/30/2022 |
2.15.7 | 23,040 | 7/22/2022 |
2.15.6 | 543 | 6/16/2022 |
2.15.5 | 460 | 6/15/2022 |
2.15.4 | 458 | 6/13/2022 |
2.15.3 | 436 | 6/10/2022 |
2.15.2 | 563 | 5/12/2022 |
2.15.1 | 478 | 5/5/2022 |
2.15.0 | 487 | 5/2/2022 |
2.14.0 | 509 | 4/19/2022 |
2.13.4 | 700 | 3/25/2022 |
2.13.3 | 452 | 3/23/2022 |
2.13.2 | 441 | 3/23/2022 |
2.13.1 | 470 | 3/17/2022 |
2.13.0 | 475 | 3/9/2022 |
2.12.1 | 501 | 2/28/2022 |
2.11.5 | 478 | 2/16/2022 |
2.11.4 | 461 | 2/4/2022 |
2.11.3 | 446 | 2/3/2022 |
2.11.2 | 509 | 1/10/2022 |
2.11.1 | 328 | 12/15/2021 |
2.11.0 | 346 | 12/9/2021 |
2.10.2 | 406 | 11/30/2021 |
2.10.0 | 360 | 11/30/2021 |
2.9.6 | 46,903 | 10/25/2021 |
2.9.5 | 356 | 10/21/2021 |
2.9.4 | 450 | 8/24/2021 |
2.9.3 | 388 | 8/10/2021 |
2.9.2 | 383 | 7/21/2021 |
2.9.1 | 2,488 | 7/5/2021 |
2.9.0 | 52,156 | 6/29/2021 |
2.8.33 | 8,234 | 6/14/2021 |
2.8.32 | 19,178 | 5/4/2021 |
2.8.31 | 3,768 | 4/21/2021 |
2.8.30 | 343 | 4/13/2021 |
2.8.29 | 11,925 | 3/29/2021 |
2.8.28 | 446 | 3/18/2021 |
2.8.27 | 7,345 | 3/11/2021 |
2.8.26 | 6,552 | 2/2/2021 |
2.8.25 | 19,848 | 2/2/2021 |
2.8.24 | 349 | 2/2/2021 |
2.8.23 | 406 | 1/22/2021 |
2.8.22 | 507 | 1/9/2021 |
2.8.21 | 515 | 1/5/2021 |
2.8.20 | 471 | 1/1/2021 |
2.8.18 | 529 | 12/29/2020 |
2.8.17 | 390 | 12/24/2020 |
2.8.16 | 401 | 12/23/2020 |
2.8.15 | 460 | 12/21/2020 |
2.8.14 | 563 | 12/19/2020 |
2.8.13 | 498 | 12/19/2020 |
2.8.12 | 482 | 12/13/2020 |
2.8.11 | 468 | 12/3/2020 |
2.8.10 | 451 | 12/2/2020 |
2.8.9 | 440 | 12/2/2020 |
2.8.8 | 446 | 11/26/2020 |
2.8.7 | 481 | 11/11/2020 |
2.8.6 | 460 | 11/5/2020 |
2.8.5 | 448 | 11/3/2020 |
2.8.4 | 488 | 10/30/2020 |
2.8.3 | 471 | 10/29/2020 |
2.8.2 | 517 | 10/24/2020 |
2.8.1 | 498 | 10/22/2020 |
2.8.0 | 520 | 10/20/2020 |
2.7.43 | 540 | 10/19/2020 |
2.7.42 | 523 | 10/15/2020 |
2.7.41 | 479 | 10/15/2020 |
2.7.40 | 519 | 10/14/2020 |
2.7.39 | 495 | 10/12/2020 |
2.7.38 | 558 | 10/11/2020 |
2.7.37 | 561 | 10/10/2020 |
2.7.36 | 523 | 10/7/2020 |
2.7.35 | 10,436 | 10/6/2020 |
2.7.34 | 523 | 9/30/2020 |
2.7.33 | 470 | 9/30/2020 |
2.7.32 | 563 | 9/29/2020 |
2.7.31 | 508 | 9/25/2020 |
2.7.30 | 8,572 | 9/20/2020 |
2.7.29 | 514 | 9/18/2020 |
2.7.28 | 548 | 9/17/2020 |
2.7.27 | 522 | 9/15/2020 |
2.7.26 | 592 | 9/12/2020 |
2.7.25 | 580 | 9/9/2020 |
2.7.24 | 527 | 9/7/2020 |
2.7.23 | 508 | 9/7/2020 |
2.7.22 | 592 | 9/6/2020 |
2.7.21 | 723 | 9/3/2020 |
2.7.20 | 521 | 8/26/2020 |
2.7.19 | 520 | 8/26/2020 |
2.7.18 | 538 | 8/26/2020 |
2.7.17 | 494 | 8/25/2020 |
2.7.16 | 492 | 8/19/2020 |
2.7.15 | 2,533 | 8/14/2020 |
2.7.14 | 593 | 8/6/2020 |
2.7.13 | 512 | 8/6/2020 |
2.7.12 | 562 | 8/6/2020 |
2.7.11 | 529 | 8/5/2020 |
2.7.10 | 577 | 8/5/2020 |
2.7.9 | 1,152 | 7/23/2020 |
2.7.8 | 516 | 7/23/2020 |
2.7.7 | 504 | 7/23/2020 |
2.7.6 | 620 | 7/22/2020 |
2.7.5 | 606 | 7/21/2020 |
2.7.4 | 515 | 7/21/2020 |
2.7.3 | 570 | 7/20/2020 |
2.7.2 | 565 | 7/20/2020 |
2.7.1 | 589 | 7/18/2020 |
2.7.0 | 526 | 7/15/2020 |
2.6.22 | 498 | 7/15/2020 |
2.6.21 | 497 | 7/15/2020 |
2.6.20 | 568 | 7/8/2020 |
2.6.19 | 543 | 7/6/2020 |
2.6.18 | 540 | 6/11/2020 |
2.6.17 | 1,322 | 6/9/2020 |
2.6.16 | 552 | 6/5/2020 |
2.6.15 | 4,795 | 6/4/2020 |
2.6.14 | 594 | 6/2/2020 |
2.6.13 | 628 | 5/29/2020 |
2.6.12 | 527 | 5/29/2020 |
2.6.11 | 654 | 5/21/2020 |
2.6.10 | 564 | 5/20/2020 |
2.6.9 | 555 | 5/18/2020 |
2.6.8 | 551 | 5/18/2020 |
2.6.7 | 527 | 5/13/2020 |
2.6.6 | 559 | 5/4/2020 |
2.6.5 | 1,851 | 4/21/2020 |
2.6.4 | 564 | 4/18/2020 |
2.6.3 | 544 | 4/15/2020 |
2.6.2 | 530 | 4/15/2020 |
2.6.1 | 526 | 4/14/2020 |
2.6.0 | 749 | 4/10/2020 |
2.5.19 | 546 | 4/8/2020 |
2.5.18 | 554 | 4/6/2020 |
2.5.17 | 568 | 4/3/2020 |
2.5.16 | 524 | 4/3/2020 |
2.5.15 | 569 | 3/24/2020 |
2.5.14 | 695 | 3/22/2020 |
2.5.13 | 539 | 3/22/2020 |
2.5.10 | 540 | 3/3/2020 |
2.5.9 | 559 | 3/2/2020 |
2.5.8 | 572 | 2/28/2020 |
2.5.7 | 2,001 | 2/22/2020 |
2.5.6 | 668 | 2/22/2020 |
2.5.5 | 639 | 2/21/2020 |
2.5.2 | 769 | 2/19/2020 |
2.5.1 | 701 | 2/18/2020 |
2.5.0 | 586 | 2/18/2020 |
2.4.21 | 636 | 2/18/2020 |
2.4.19 | 640 | 2/17/2020 |
2.4.18 | 587 | 2/17/2020 |
2.4.17 | 686 | 2/13/2020 |
2.4.16 | 553 | 2/13/2020 |
2.4.15 | 688 | 1/20/2020 |
2.4.14 | 587 | 1/20/2020 |
2.4.13 | 632 | 1/5/2020 |
2.4.12 | 655 | 1/3/2020 |
2.4.11 | 623 | 1/2/2020 |
2.4.10 | 745 | 1/1/2020 |
2.4.9 | 625 | 1/1/2020 |
2.4.8 | 650 | 1/1/2020 |
2.4.7 | 726 | 12/31/2019 |
2.4.6 | 712 | 12/31/2019 |
2.4.5 | 672 | 12/30/2019 |
2.4.4 | 566 | 12/24/2019 |
2.4.3 | 636 | 12/22/2019 |
2.4.2 | 608 | 12/22/2019 |
2.4.1-netcore-alpha | 1,645 | 5/9/2019 |