From c2af01851918cfac91680b035b24e924c597924e Mon Sep 17 00:00:00 2001 From: omelkonian Date: Sun, 15 Oct 2023 01:27:19 +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 | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/typecheck.time b/typecheck.time index 114d8a4..52b9e46 100644 --- a/typecheck.time +++ b/typecheck.time @@ -1,30 +1,30 @@ -TOTAL: 17m13s -UTxO/Hashing/Base: 6m19s -UTxO/Value: 3m5s +TOTAL: 17m15s +UTxO/Hashing/Base: 6m25s +UTxO/Value: 3m4s UTxO/Types: 0m4s -UTxO/Hashing/Types: 0m0s +UTxO/Hashing/Types: 0m1s UTxO/Hashing: 0m0s UTxO/TxUtilities: 0m6s -UTxO/Validity: 0m4s -UTxO/Defaults: 0m1s -UTxO/ExampleLedger: 0m3s +UTxO/Validity: 0m3s +UTxO/Defaults: 0m2s +UTxO/ExampleLedger: 0m2s UTxO/Uniqueness: 0m1s UTxO/GlobalPreservation: 0m19s -UTxO/TokenProvenance: 0m5s +UTxO/TokenProvenance: 0m6s UTxO/TokenProvenanceNF: 0m21s StateMachine/Base: 0m19s StateMachine/Properties: 1m35s Bisimulation/Base: 0m23s -Bisimulation/Soundness: 1m17s -Bisimulation/Completeness: 1m11s -Bisimulation: 0m0s -StateMachine/Examples/GuessingGame: 0m1s +Bisimulation/Soundness: 1m16s +Bisimulation/Completeness: 1m10s +Bisimulation: 0m1s +StateMachine/Examples/GuessingGame: 0m0s StateMachine/Inductive/Core: 0m1s -StateMachine/Inductive/Combinators: 0m0s -StateMachine/Inductive: 0m1s +StateMachine/Inductive/Combinators: 0m1s +StateMachine/Inductive: 0m0s StateMachine/Examples/MultiSig: 0m4s -StateMachine/Properties/Ledger: 0m13s -StateMachine/Examples/Counter: 0m1s +StateMachine/Properties/Ledger: 0m14s +StateMachine/Examples/Counter: 0m0s StateMachine/Initiality: 0m3s -StateMachine/Extract: 1m22s -Main: 0m1s +StateMachine/Extract: 1m21s +Main: 0m0s