Skip to content

Actions: MettaChain/PropChain-contract

Actions

Formal Verification (Kani)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
263 workflow runs
263 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Expand test coverage: dex competitions/cross-chain, governance private voting, insurance triggers, staking penalties Formal Verification (Kani) #188: Pull request #1051 synchronize by khaadish
1m 27s khaadish:feature/expand-contract-test-coverage
khaadish:feature/expand-contract-test-coverage
1m 27s
Make crowdfunding invest payable and add bridge/metadata/third-party coverage Formal Verification (Kani) #187: Pull request #1050 synchronize by Maryermarh
1m 27s Maryermarh:feature/test-coverage-and-error-handling-fixes
Maryermarh:feature/test-coverage-and-error-handling-fixes
1m 27s
Add lending/ipfs/property/identity test coverage and safety fixes Formal Verification (Kani) #186: Pull request #1049 synchronize by zainabbaba31-source
1m 18s zainabbaba31-source:feature/lending-safety-and-test-coverage
zainabbaba31-source:feature/lending-safety-and-test-coverage
1m 18s
Sanctions capacity bound, premium-auction bid custody, data-driven report insights, O(1) governance analytics Formal Verification (Kani) #185: Pull request #1048 synchronize by Muhammadjazuli
1m 28s Muhammadjazuli:feature/analytics-fees-sanctions-governance-fixes
Muhammadjazuli:feature/analytics-fees-sanctions-governance-fixes
1m 28s
Harden time math, permit signature verification, and overflow safety Formal Verification (Kani) #184: Pull request #1057 opened by khalyaro
2m 19s khalyaro:feature/permit-signature-and-overflow-fixes
khalyaro:feature/permit-signature-and-overflow-fixes
2m 19s
test: pin prediction-market resolution, insurance premium engine, factory and sanctions threshold paths Formal Verification (Kani) #183: Pull request #1056 opened by Hassan-oladipupo
2m 18s Hassan-oladipupo:feature/unit-tests-prediction-market-insurance-factory-sanctions
Hassan-oladipupo:feature/unit-tests-prediction-market-insurance-factory-sanctions
2m 18s
test: third-party/compliance integration coverage + monitoring/database unit tests Formal Verification (Kani) #182: Pull request #1055 opened by hikmat67-code
2m 6s hikmat67-code:feature/tests-third-party-compliance-monitoring-database
hikmat67-code:feature/tests-third-party-compliance-monitoring-database
2m 6s
test: close test gaps in version-registry, mock-oracle, common and fees Formal Verification (Kani) #181: Pull request #1054 opened by OladipupuHussein7
1m 53s OladipupuHussein7:feature/tests-version-registry-mock-oracle-common-fees
OladipupuHussein7:feature/tests-version-registry-mock-oracle-common-fees
1m 53s
test: integration coverage for gdpr, factory, ipfs-metadata and fractional contracts Formal Verification (Kani) #180: Pull request #1053 opened by devbackend513-ux
1m 59s devbackend513-ux:feature/integration-tests-gdpr-factory-ipfs-fractional
devbackend513-ux:feature/integration-tests-gdpr-factory-ipfs-fractional
1m 59s
test: integration coverage for insurance, governance, monitoring and sanctions contracts Formal Verification (Kani) #179: Pull request #1052 opened by authenticeasy-sys
2m 13s authenticeasy-sys:feature/integration-tests-insurance-governance-monitoring-sanctions
authenticeasy-sys:feature/integration-tests-insurance-governance-monitoring-sanctions
2m 13s
Expand test coverage: dex competitions/cross-chain, governance private voting, insurance triggers, staking penalties Formal Verification (Kani) #178: Pull request #1051 opened by khaadish
2m 16s khaadish:feature/expand-contract-test-coverage
khaadish:feature/expand-contract-test-coverage
2m 16s
Make crowdfunding invest payable and add bridge/metadata/third-party coverage Formal Verification (Kani) #177: Pull request #1050 opened by Maryermarh
1m 57s Maryermarh:feature/test-coverage-and-error-handling-fixes
Maryermarh:feature/test-coverage-and-error-handling-fixes
1m 57s
Add lending/ipfs/property/identity test coverage and safety fixes Formal Verification (Kani) #176: Pull request #1049 opened by zainabbaba31-source
2m 14s zainabbaba31-source:feature/lending-safety-and-test-coverage
zainabbaba31-source:feature/lending-safety-and-test-coverage
2m 14s
Sanctions capacity bound, premium-auction bid custody, data-driven report insights, O(1) governance analytics Formal Verification (Kani) #175: Pull request #1048 opened by Muhammadjazuli
1m 55s Muhammadjazuli:feature/analytics-fees-sanctions-governance-fixes
Muhammadjazuli:feature/analytics-fees-sanctions-governance-fixes
1m 55s
GDPR consent authorization fix; wire dead analytics/governance modules; drop placeholder submodules Formal Verification (Kani) #174: Pull request #1047 opened by limxiy
2m 32s limxiy:feature/gdpr-consent-auth-and-dead-code-cleanup
limxiy:feature/gdpr-consent-auth-and-dead-code-cleanup
2m 32s
Harden access control (analytics/ipfs-metadata), wire quorum_guard, document third-party API Formal Verification (Kani) #173: Pull request #1046 opened by phertyameen
2m 10s phertyameen:feature/access-control-hardening-and-docs
phertyameen:feature/access-control-hardening-and-docs
2m 10s
Add integration test suites for dex, lending, crowdfunding, and property management Formal Verification (Kani) #172: Pull request #1045 opened by prismn
2m 12s prismn:feature/integration-tests-dex-lending-crowdfunding-property
prismn:feature/integration-tests-dex-lending-crowdfunding-property
2m 12s
Add integration test suites for fees, analytics, identity, and database Formal Verification (Kani) #171: Pull request #1044 opened by kike-alt
1m 59s kike-alt:feature/integration-tests-database-identity-analytics-fees
kike-alt:feature/integration-tests-database-identity-analytics-fees
1m 59s
Wire dead test modules, add lending risk tests, and pin proxy stub behavior Formal Verification (Kani) #170: Pull request #1043 opened by Ibinola
1m 58s Ibinola:feature/oracle-database-test-wiring
Ibinola:feature/oracle-database-test-wiring
1m 58s
docs: complete rustdoc coverage for fees, mock-oracle, oracle and identity message APIs Formal Verification (Kani) #169: Pull request #1042 opened by mxllv
2m 17s mxllv:feature/contract-api-docs
mxllv:feature/contract-api-docs
2m 17s
chore(deps): bump soroban-sdk from 22.0.11 to 27.0.6 Formal Verification (Kani) #168: Pull request #893 opened by dependabot Bot
3m 3s dependabot/cargo/soroban-sdk-27.0.6
dependabot/cargo/soroban-sdk-27.0.6
3m 3s
chore(deps): bump soroban-sdk from 22.0.11 to 27.0.5 Formal Verification (Kani) #167: Pull request #892 opened by dependabot Bot
2m 21s dependabot/cargo/soroban-sdk-27.0.5
dependabot/cargo/soroban-sdk-27.0.5
2m 21s
chore(deps): bump clap from 4.6.1 to 4.6.6 Formal Verification (Kani) #166: Pull request #891 opened by dependabot Bot
2m 9s dependabot/cargo/clap-4.6.6
dependabot/cargo/clap-4.6.6
2m 9s
Revert "fix: resolve issues #739 #740 #741 #742 (#840)" (#890) Formal Verification (Kani) #165: Commit 37a852c pushed by nanaf6203-bit
1m 13s main
main
1m 13s
Revert "fix: resolve issues #739 #740 #741 #742" Formal Verification (Kani) #164: Pull request #890 opened by nanaf6203-bit
1m 27s revert-840-fix/issues-739-740-741-742
revert-840-fix/issues-739-740-741-742
1m 27s