Skip to content

Commit

Permalink
Deploying to gh-pages from @ ba8876c 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
omelkonian committed Aug 10, 2024
1 parent 93ca47d commit bc6ccf5
Showing 1 changed file with 14 additions and 14 deletions.
28 changes: 14 additions & 14 deletions typecheck.time
Original file line number Diff line number Diff line change
@@ -1,31 +1,31 @@
TOTAL: 2m18s
BitML/BasicTypes: 0m12s
TOTAL: 2m5s
BitML/BasicTypes: 0m10s
BitML/Predicate: 0m1s
BitML/Contracts/Types: 0m2s
BitML/Contracts/Induction: 0m3s
BitML/Contracts/Induction: 0m2s
BitML/Contracts/Collections: 0m6s
BitML/Contracts/Validity: 0m2s
BitML/Contracts/Validity: 0m1s
BitML/Contracts/ModuleMacros: 0m0s
BitML/Contracts/Subterms: 0m2s
BitML/Contracts/Subterms: 0m3s
BitML/Contracts: 0m0s
BitML/Example/Contracts: 0m3s
BitML/Example/Contracts: 0m2s
BitML/Semantics/Action: 0m2s
BitML/Semantics/Configurations/Types: 0m4s
BitML/Semantics/Configurations/Helpers: 0m9s
BitML/Semantics/Label: 0m13s
BitML/Semantics/Configurations/Helpers: 0m8s
BitML/Semantics/Label: 0m11s
BitML/Semantics/Predicate: 0m1s
BitML/Semantics/InferenceRules: 0m1s
BitML/Semantics/RuleMatching: 0m6s
BitML/Semantics/DecidableInference: 0m4s
BitML/Semantics: 0m1s
BitML/Semantics/DecidableInference: 0m3s
BitML/Semantics: 0m0s
BitML/Example/TimedCommitment: 0m5s
BitML/Properties/Helpers: 0m7s
BitML/Properties/Helpers: 0m6s
BitML/Properties/TraceAd: 0m5s
BitML/Properties/TraceAuthCommit: 0m7s
BitML/Properties/TraceAuthCommit: 0m6s
BitML/Properties/TraceAuthInit: 0m6s
BitML/Properties/TraceInit: 0m8s
BitML/Properties/TraceAuthControl: 0m7s
BitML/Properties/TraceAuthControl: 0m6s
BitML/Properties/Lifetime: 0m1s
BitML/Properties/TraceContract: 0m12s
BitML/Properties/TraceContract: 0m11s
BitML/Properties: 0m1s
BitML: 0m0s

0 comments on commit bc6ccf5

Please sign in to comment.