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 23, 2024
1 parent 1cbc067 commit be3d972
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,26 +1,26 @@
TOTAL: 2m12s
TOTAL: 2m11s
BitML/BasicTypes: 0m11s
BitML/Predicate: 0m2s
BitML/Contracts/Types: 0m2s
BitML/Contracts/Induction: 0m1s
BitML/Contracts/Collections: 0m7s
BitML/Predicate: 0m1s
BitML/Contracts/Types: 0m3s
BitML/Contracts/Induction: 0m2s
BitML/Contracts/Collections: 0m6s
BitML/Contracts/Validity: 0m1s
BitML/Contracts/ModuleMacros: 0m0s
BitML/Contracts/Subterms: 0m2s
BitML/Contracts: 0m1s
BitML/Example/Contracts: 0m1s
BitML/Example/Contracts: 0m2s
BitML/Semantics/Action: 0m2s
BitML/Semantics/Configurations/Types: 0m5s
BitML/Semantics/Configurations/Helpers: 0m9s
BitML/Semantics/Configurations/Types: 0m4s
BitML/Semantics/Configurations/Helpers: 0m8s
BitML/Semantics/Label: 0m12s
BitML/Semantics/Predicate: 0m0s
BitML/Semantics/InferenceRules: 0m2s
BitML/Semantics/Predicate: 0m1s
BitML/Semantics/InferenceRules: 0m1s
BitML/Semantics/RuleMatching: 0m6s
BitML/Semantics/DecidableInference: 0m3s
BitML/Semantics: 0m1s
BitML/Semantics/DecidableInference: 0m4s
BitML/Semantics: 0m0s
BitML/Example/TimedCommitment: 0m5s
BitML/Properties/Helpers: 0m6s
BitML/Properties/TraceAd: 0m6s
BitML/Properties/Helpers: 0m7s
BitML/Properties/TraceAd: 0m5s
BitML/Properties/TraceAuthCommit: 0m6s
BitML/Properties/TraceAuthInit: 0m7s
BitML/Properties/TraceInit: 0m7s
Expand Down

0 comments on commit be3d972

Please sign in to comment.