-
Notifications
You must be signed in to change notification settings - Fork 118
Insights: boogie-org/boogie
Dependency graph
23 Total
- NuGet · Source/ExecutionEngine/ExecutionEngine.csproj · Detected automatically on Mar 19, 2024 · MITSystem.Reactive 4.4.1
- NuGet · Source/ExecutionEngine/ExecutionEngine.csproj · Detected automatically on Mar 19, 2024 · MITSystem.Runtime.Caching 6.0.0
- NuGet · Source/Provers/SMTLib/SMTLib.csproj · Detected automatically on Feb 17, 2022 · MITSystem.Linq.Async 6.0.1
- NuGet · Source/VCGeneration/VCGeneration.csproj · Detected automatically on Feb 23, 2023 · MITSystem.Reactive 4.4.1
- NuGet · Source/UnitTests/CoreTests/CoreTests.csproj · Detected automatically on Feb 17, 2022 · OTHERMicrosoft.NET.Test.Sdk 16.2.0
- NuGet · Source/UnitTests/CoreTests/CoreTests.csproj · Detected automatically on Feb 17, 2022 · MITNUnit 3.12.0
- NuGet · Source/UnitTests/CoreTests/CoreTests.csproj · Detected automatically on Feb 17, 2022 · MITNUnit3TestAdapter 3.15.1
- NuGet · Source/UnitTests/TestUtil/TestUtil.csproj · Detected automatically on Jul 14, 2021 · MITNUnit 3.12.0
- NuGet · Source/UnitTests/BaseTypesTests/BaseTypesTests.csproj · Detected automatically on Jul 14, 2021 · OTHERMicrosoft.NET.Test.Sdk 16.2.0
- NuGet · Source/UnitTests/BaseTypesTests/BaseTypesTests.csproj · Detected automatically on Jul 14, 2021 · MITNUnit 3.12.0
- NuGet · Source/UnitTests/BaseTypesTests/BaseTypesTests.csproj · Detected automatically on Jul 14, 2021 · MITNUnit3TestAdapter 3.15.1
- NuGet · Source/UnitTests/ExecutionEngineTests/ExecutionEngineTests.csproj · Detected automatically on Sep 18, 2021 · OTHERMicrosoft.NET.Test.Sdk 16.2.0
- NuGet · Source/UnitTests/ExecutionEngineTests/ExecutionEngineTests.csproj · Detected automatically on Sep 18, 2021 · MITNUnit 3.12.0
- NuGet · Source/UnitTests/ExecutionEngineTests/ExecutionEngineTests.csproj · Detected automatically on Sep 18, 2021 · MITNUnit3TestAdapter 3.15.1
- GitHub Actions · .github/workflows/test.yml · Detected automatically on Feb 11, 2025actions/checkout 3.*.*
- GitHub Actions · .github/workflows/test.yml · Detected automatically on Feb 11, 2025actions/setup-dotnet 4.*.*
-
GitHub Actions
·
.github/workflows/test.yml
·
Detected automatically on Feb 11, 2025
-
GitHub Actions
·
.github/workflows/test.yml
·
Detected automatically on Feb 11, 2025
- GitHub Actions · .github/workflows/test-lean-auto.yml · Detected automatically on Feb 11, 2025actions/checkout 3.*.*
- GitHub Actions · .github/workflows/test-lean-auto.yml · Detected automatically on Feb 11, 2025actions/setup-dotnet 3.*.*
ProTip!
Supported ecosystems will have transitivity labels on their packages.