From a201f8aa9f81c3f0fe9a3b7a7d4487f518aa57dd Mon Sep 17 00:00:00 2001 From: omelkonian Date: Tue, 22 Oct 2024 01:12:10 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20@=20omelkoni?= =?UTF-8?q?an/formal-bitml@ba8876ce93bf14b419510881e5ad571e7ba5788b=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 | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/typecheck.time b/typecheck.time index f3f3e4a..1f7f7f3 100644 --- a/typecheck.time +++ b/typecheck.time @@ -5,20 +5,20 @@ BitML/Contracts/Types: 0m2s BitML/Contracts/Induction: 0m2s BitML/Contracts/Collections: 0m6s BitML/Contracts/Validity: 0m1s -BitML/Contracts/ModuleMacros: 0m0s +BitML/Contracts/ModuleMacros: 0m1s BitML/Contracts/Subterms: 0m2s -BitML/Contracts: 0m1s -BitML/Example/Contracts: 0m1s +BitML/Contracts: 0m0s +BitML/Example/Contracts: 0m2s BitML/Semantics/Action: 0m2s -BitML/Semantics/Configurations/Types: 0m5s +BitML/Semantics/Configurations/Types: 0m4s BitML/Semantics/Configurations/Helpers: 0m8s -BitML/Semantics/Label: 0m11s -BitML/Semantics/Predicate: 0m1s +BitML/Semantics/Label: 0m12s +BitML/Semantics/Predicate: 0m0s BitML/Semantics/InferenceRules: 0m1s -BitML/Semantics/RuleMatching: 0m6s -BitML/Semantics/DecidableInference: 0m4s -BitML/Semantics: 0m0s -BitML/Example/TimedCommitment: 0m5s +BitML/Semantics/RuleMatching: 0m7s +BitML/Semantics/DecidableInference: 0m3s +BitML/Semantics: 0m1s +BitML/Example/TimedCommitment: 0m4s BitML/Properties/Helpers: 0m6s BitML/Properties/TraceAd: 0m6s BitML/Properties/TraceAuthCommit: 0m6s @@ -26,6 +26,6 @@ BitML/Properties/TraceAuthInit: 0m7s BitML/Properties/TraceInit: 0m7s BitML/Properties/TraceAuthControl: 0m7s BitML/Properties/Lifetime: 0m1s -BitML/Properties/TraceContract: 0m12s -BitML/Properties: 0m0s -BitML: 0m1s +BitML/Properties/TraceContract: 0m11s +BitML/Properties: 0m1s +BitML: 0m0s