Boogie 2.5.2

There is a newer version of this package available.
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                
nuke :add-package Boogie --version 2.5.2                

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. 
.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