From 42a0b39dd187f2697f1fc8652836dd47ab936d63 Mon Sep 17 00:00:00 2001 From: omelkonian Date: Sun, 20 Oct 2024 01:01:23 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20omelkoni?= =?UTF-8?q?an/formal-utxo@7a6221a825c97a46cae66b738f629c12af92b4d0=20?= =?UTF-8?q?=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- typecheck.time | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/typecheck.time b/typecheck.time index 7b44ed7..f6fb42d 100644 --- a/typecheck.time +++ b/typecheck.time @@ -1,8 +1,8 @@ -TOTAL: 4m12s +TOTAL: 4m4s UTxO/Hashing/Base: 0m9s UTxO/Value: 0m8s -UTxO/Types: 0m2s -UTxO/Hashing/Types: 0m1s +UTxO/Types: 0m3s +UTxO/Hashing/Types: 0m0s UTxO/Hashing: 0m0s UTxO/TxUtilities: 0m3s UTxO/Validity: 0m1s @@ -13,18 +13,18 @@ UTxO/GlobalPreservation: 0m8s UTxO/TokenProvenance: 0m3s UTxO/TokenProvenanceNF: 0m10s StateMachine/Base: 0m9s -StateMachine/Properties: 0m45s +StateMachine/Properties: 0m42s Bisimulation/Base: 0m11s -Bisimulation/Soundness: 0m38s -Bisimulation/Completeness: 0m35s +Bisimulation/Soundness: 0m37s +Bisimulation/Completeness: 0m34s Bisimulation: 0m0s StateMachine/Examples/GuessingGame: 0m0s StateMachine/Inductive/Core: 0m1s StateMachine/Inductive/Combinators: 0m0s StateMachine/Inductive: 0m0s -StateMachine/Examples/MultiSig: 0m3s -StateMachine/Properties/Ledger: 0m7s -StateMachine/Examples/Counter: 0m1s -StateMachine/Initiality: 0m1s -StateMachine/Extract: 0m44s -Main: 0m0s +StateMachine/Examples/MultiSig: 0m2s +StateMachine/Properties/Ledger: 0m8s +StateMachine/Examples/Counter: 0m0s +StateMachine/Initiality: 0m2s +StateMachine/Extract: 0m41s +Main: 0m1s