diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-15 17:23:37 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-15 17:23:37 -0500 |
| commit | 3828e31116169225ac11b86aa25c29061a57ffb7 (patch) | |
| tree | e973aab907ee8122bd1781851e2cde263def888f /README.md | |
| parent | 4f6b15de8323320e006e7f66eda077f00455bebb (diff) | |
Empty commit with complete build log
Targets nonautogenerated-specific-display non-specific
Time | File Name
-----------------------------------------------------------------------------------
50m31.46s | Total
-----------------------------------------------------------------------------------
9m01.84s | Curves/Weierstrass/AffineProofs
3m36.36s | Curves/Weierstrass/Projective
2m59.28s | Curves/Montgomery/AffineProofs
2m49.04s | Curves/Weierstrass/Jacobian/Precomputed
2m15.93s | Specific/X25519/C64/ladderstep
1m44.54s | Specific/NISTP256/AMD64/femul
1m44.18s | Spec/Test/X25519
1m12.86s | Specific/X2448/Karatsuba/C64/femul
0m55.58s | Specific/X25519/C32/femul
0m55.36s | Demo
0m49.81s | Compilers/Z/Named/RewriteAddToAdcInterp
0m42.72s | Arithmetic/Karatsuba
0m41.49s | Spec/Ed25519
0m40.44s | Specific/X25519/C32/fesquare
0m35.34s | Compilers/Z/ArithmeticSimplifierInterp
0m33.13s | Compilers/Z/ArithmeticSimplifierWf
0m32.14s | Specific/X25519/C32/freeze
0m28.91s | Compilers/CommonSubexpressionEliminationWf
0m27.84s | Specific/NISTP256/AMD128/femul
0m25.50s | Primitives/EdDSARepChange
0m24.24s | Curves/Montgomery/XZProofs
0m23.52s | Curves/Edwards/AffineProofs
0m23.48s | Specific/X25519/C32/fecarry
0m22.90s | Arithmetic/MontgomeryReduction/WordByWord/Abstract/Dependent/Proofs
0m22.07s | Arithmetic/Core
0m21.03s | Specific/NISTP256/AMD64/fesub
0m20.99s | Specific/X25519/C32/Synthesis
0m20.82s | Curves/Edwards/XYZT/Basic
0m20.74s | Specific/X25519/C32/fesub
0m19.86s | Specific/NISTP256/AMD64/feadd
0m19.54s | Specific/X25519/C64/femul
0m18.94s | Specific/X25519/C32/feadd
0m17.96s | Compilers/Named/MapCastWf
0m17.23s | Specific/X25519/C64/freeze
0m16.54s | Specific/X25519/C64/fesquare
0m16.18s | Compilers/Named/MapCastInterp
0m15.88s | Specific/NISTP256/AMD64/feopp
0m15.65s | Specific/NISTP256/AMD128/feadd
0m15.47s | Specific/NISTP256/AMD128/fesub
0m15.14s | Compilers/Named/ContextProperties/SmartMap
0m14.37s | Specific/NISTP256/AMD64/fenz
0m14.21s | Compilers/Named/ContextProperties/NameUtil
0m14.19s | Specific/NISTP256/AMD128/fenz
0m14.06s | Arithmetic/Saturated/AddSub
0m13.88s | Specific/X25519/C64/fecarry
0m13.70s | Algebra/Field
0m12.55s | Compilers/Z/Syntax/Equality
0m12.55s | Specific/X25519/C64/fesub
0m12.53s | Specific/NISTP256/AMD128/feopp
0m11.76s | Arithmetic/Saturated/MontgomeryAPI
0m11.64s | Specific/X25519/C64/feadd
0m11.52s | Arithmetic/MontgomeryReduction/WordByWord/Abstract/Proofs
0m11.23s | Primitives/MxDHRepChange
0m10.94s | Arithmetic/Saturated/Core
0m10.64s | Specific/X2448/Karatsuba/C64/Synthesis
0m10.20s | Util/ZUtil
0m09.71s | LegacyArithmetic/Double/Proofs/Multiply
0m09.57s | Arithmetic/MontgomeryReduction/Proofs
0m09.25s | Algebra/Ring
0m08.46s | Compilers/Z/CNotations
0m08.30s | LegacyArithmetic/Double/Proofs/ShiftRightDoubleWordImmediate
0m08.02s | Compilers/Named/RegisterAssignInterp
0m08.00s | LegacyArithmetic/ArchitectureToZLikeProofs
0m07.36s | Specific/NISTP256/AMD64/Synthesis
0m07.33s | Util/ZUtil/ZSimplify/Autogenerated
0m07.31s | Compilers/InlineConstAndOpWf
0m07.30s | Compilers/Named/CompileInterpSideConditions
0m07.29s | LegacyArithmetic/Double/Proofs/SpreadLeftImmediate
0m06.66s | Arithmetic/Saturated/MulSplit
0m06.30s | Util/FixedWordSizesEquality
0m06.26s | LegacyArithmetic/Double/Proofs/RippleCarryAddSub
0m06.19s | Specific/X25519/C64/Synthesis
0m06.00s | Compilers/InlineWf
0m05.62s | Compilers/Z/Bounds/InterpretationLemmas/PullCast
0m05.62s | Curves/Edwards/Pre
0m05.58s | Compilers/LinearizeWf
0m05.52s | Compilers/Z/HexNotationConstants
0m05.18s | LegacyArithmetic/Pow2BaseProofs
0m05.16s | Compilers/WfProofs
0m04.94s | Algebra/Field_test
0m04.82s | Compilers/Z/Bounds/Pipeline/Definition
0m04.82s | Util/ListUtil
0m04.55s | Compilers/Z/BinaryNotationConstants
0m04.54s | Util/ZUtil/Modulo
0m04.46s | Curves/Montgomery/Affine
0m04.19s | Compilers/Named/CompileWf
0m04.13s | Arithmetic/BarrettReduction/HAC
0m03.97s | Util/ForLoop/Unrolling
0m03.88s | Specific/Framework/ArithmeticSynthesis/Montgomery
0m03.80s | Arithmetic/MontgomeryReduction/WordByWord/Proofs
0m03.64s | LegacyArithmetic/InterfaceProofs
0m03.58s | Compilers/Z/ArithmeticSimplifier
0m03.47s | Specific/NISTP256/AMD128/Synthesis
0m03.42s | Compilers/EtaWf
0m03.23s | Arithmetic/BarrettReduction/Generalized
0m03.17s | Arithmetic/ModularArithmeticTheorems
0m03.11s | Util/ZUtil/AddGetCarry
0m03.02s | LegacyArithmetic/ZBoundedZ
0m03.00s | Compilers/Named/ContextProperties
0m02.96s | LegacyArithmetic/Double/Proofs/ShiftRight
0m02.94s | Compilers/InlineInterp
0m02.92s | Algebra/Group
0m02.82s | LegacyArithmetic/Double/Proofs/ShiftLeft
0m02.81s | Compilers/Z/Bounds/InterpretationLemmas/IsBoundedBy
0m02.74s | LegacyArithmetic/Double/Proofs/Decode
0m02.70s | Compilers/Named/CompileInterp
0m02.69s | Spec/MontgomeryCurve
0m02.66s | Arithmetic/Saturated/Freeze
0m02.61s | Bedrock/Word
0m02.48s | Compilers/Z/Bounds/Relax
0m02.44s | Compilers/TestCase
0m02.36s | LegacyArithmetic/BarretReduction
0m02.30s | Compilers/CommonSubexpressionEliminationProperties
0m02.26s | Compilers/Z/RewriteAddToAdcInterp
0m02.25s | Util/WordUtil
0m02.23s | Specific/Framework/ArithmeticSynthesis/Defaults
0m02.09s | Util/ForLoop/InvariantFramework
0m02.04s | Compilers/Named/NameUtilProperties
0m01.86s | Compilers/Named/ContextProperties/Proper
0m01.85s | Compilers/WfReflective
0m01.83s | Compilers/Z/JavaNotations
0m01.81s | LegacyArithmetic/MontgomeryReduction
0m01.79s | Arithmetic/CoreUnfolder
0m01.78s | Util/Tuple
0m01.72s | Arithmetic/BarrettReduction/Wikipedia
0m01.69s | Spec/WeierstrassCurve
0m01.66s | Arithmetic/PrimeFieldTheorems
0m01.52s | Compilers/Named/WfFromUnit
0m01.51s | Compilers/Named/InterpretToPHOASWf
0m01.43s | Curves/Edwards/XYZT/Precomputed
0m01.43s | Specific/Framework/ArithmeticSynthesis/Karatsuba
0m01.43s | Util/Loop
0m01.41s | Compilers/Relations
0m01.35s | Algebra/ScalarMult
0m01.33s | Specific/Framework/ArithmeticSynthesis/Base
0m01.33s | Util/ZUtil/Quot
0m01.31s | Util/NatUtil
0m01.23s | Compilers/MultiSizeTest
0m01.22s | Arithmetic/Saturated/CoreUnfolder
0m01.20s | Experiments/Loops
0m01.16s | Compilers/Z/RewriteAddToAdcWf
0m01.14s | Compilers/LinearizeInterp
0m01.14s | Curves/Montgomery/AffineInstances
0m01.09s | LegacyArithmetic/Double/Proofs/BitwiseOr
0m01.08s | Arithmetic/Saturated/WrappersUnfolder
0m01.07s | Arithmetic/Saturated/UniformWeight
0m01.07s | Util/ZUtil/Pow2Mod
0m01.06s | Specific/Framework/SynthesisFramework
0m01.04s | LegacyArithmetic/Double/Proofs/LoadImmediate
0m01.04s | Specific/Framework/ReificationTypes
0m01.02s | Algebra/IntegralDomain
0m01.02s | Compilers/Z/Bounds/Pipeline/ReflectiveTactics
0m01.00s | Util/NumTheoryUtil
0m00.98s | Specific/X25519/C32/CurveParameters
0m00.97s | Compilers/Named/InterpretToPHOASInterp
0m00.94s | Specific/Framework/ArithmeticSynthesis/Freeze
0m00.92s | Arithmetic/Saturated/MulSplitUnfolder
0m00.91s | Compilers/Z/CommonSubexpressionElimination
0m00.90s | Compilers/MapCastByDeBruijnInterp
0m00.90s | LegacyArithmetic/BaseSystemProofs
0m00.88s | Compilers/Named/FMapContext
0m00.86s | Compilers/WfInversion
0m00.85s | Arithmetic/Saturated/FreezeUnfolder
0m00.85s | Compilers/InterpByIsoProofs
0m00.85s | Compilers/Z/Syntax/Util
0m00.85s | Specific/Framework/ArithmeticSynthesis/LadderstepPackage
0m00.85s | Specific/Framework/ReificationTypesPackage
0m00.85s | Util/ZUtil/Div
0m00.83s | Specific/Framework/ArithmeticSynthesis/HelperTactics
0m00.82s | Specific/Framework/MontgomeryReificationTypesPackage
0m00.82s | Util/PartiallyReifiedProp
0m00.81s | Specific/Framework/ArithmeticSynthesis/BasePackage
0m00.81s | Specific/Framework/ArithmeticSynthesis/SquareFromMul
0m00.80s | Compilers/Z/Bounds/Pipeline
0m00.80s | Specific/Framework/ArithmeticSynthesis/DefaultsPackage
0m00.80s | Specific/Framework/ArithmeticSynthesis/FreezePackage
0m00.80s | Specific/Framework/ArithmeticSynthesis/MontgomeryPackage
0m00.80s | Specific/Framework/MontgomeryReificationTypes
0m00.79s | Arithmetic/MontgomeryReduction/WordByWord/Definition
0m00.79s | Compilers/Named/CompileProperties
0m00.79s | Specific/Framework/IntegrationTestTemporaryMiscCommon
0m00.78s | Arithmetic/Saturated/UniformWeightInstances
0m00.78s | Compilers/Named/InterpSideConditionsInterp
0m00.78s | Compilers/Z/Reify
0m00.78s | Util/ZUtil/Testbit
0m00.77s | Util/CPSUtil
0m00.76s | Arithmetic/Saturated/Wrappers
0m00.76s | Compilers/InlineConstAndOpInterp
0m00.76s | Compilers/MapCastByDeBruijnWf
0m00.76s | Specific/Framework/IntegrationTestDisplayCommon
0m00.75s | Compilers/Named/AListContext
0m00.74s | Specific/Framework/ArithmeticSynthesis/KaratsubaPackage
0m00.74s | Specific/Framework/ArithmeticSynthesis/Ladderstep
0m00.72s | Util/QUtil
0m00.70s | LegacyArithmetic/Double/Proofs/SelectConditional
0m00.68s | Compilers/CommonSubexpressionEliminationInterp
0m00.68s | Compilers/SmartMap
0m00.68s | Util/ZUtil/Stabilization
0m00.67s | LegacyArithmetic/Interface
0m00.64s | Compilers/Z/Bounds/Pipeline/Glue
0m00.62s | Compilers/Named/WfInterp
0m00.62s | Compilers/Z/Named/RewriteAddToAdc
0m00.62s | Spec/CompleteEdwardsCurve
0m00.62s | Util/Decidable
0m00.61s | Compilers/CommonSubexpressionElimination
0m00.61s | Compilers/Z/Bounds/MapCastByDeBruijnWf
0m00.61s | Curves/Montgomery/XZ
0m00.60s | Compilers/Z/Bounds/MapCastByDeBruijnInterp
0m00.60s | Compilers/Z/MapCastByDeBruijnInterp
0m00.60s | Curves/Weierstrass/Affine
0m00.60s | Util/NUtil
0m00.60s | Util/ZUtil/Modulo/PullPush
0m00.58s | Compilers/MapBaseTypeWf
0m00.58s | Compilers/Z/Bounds/InterpretationLemmas/Tactics
0m00.58s | LegacyArithmetic/Double/Core
0m00.57s | Compilers/Z/CommonSubexpressionEliminationInterp
0m00.57s | Util/Decidable/Decidable2Bool
0m00.56s | Compilers/WfReflectiveGen
0m00.54s | Compilers/Z/ArithmeticSimplifierUtil
0m00.54s | Compilers/Z/Bounds/MapCastByDeBruijn
0m00.54s | Compilers/Z/Syntax
0m00.54s | LegacyArithmetic/ArchitectureToZLike
0m00.54s | LegacyArithmetic/ZBounded
0m00.54s | Util/HList
0m00.53s | Arithmetic/ModularArithmeticPre
0m00.53s | Compilers/GeneralizeVarInterp
0m00.53s | Compilers/InputSyntax
0m00.53s | Compilers/Z/Bounds/RoundUpLemmas
0m00.53s | Compilers/Z/CommonSubexpressionEliminationWf
0m00.52s | Compilers/InlineConstAndOpByRewriteWf
0m00.52s | Compilers/InterpWfRel
0m00.52s | Compilers/Named/PositiveContext/DefaultsProperties
0m00.52s | Compilers/Z/Bounds/Interpretation
0m00.52s | Compilers/Z/Inline
0m00.52s | Compilers/Z/InterpSideConditions
0m00.52s | Compilers/Z/MapCastByDeBruijnWf
0m00.52s | Util/ZBounded
0m00.51s | Compilers/Z/FoldTypes
0m00.51s | Compilers/Z/InlineInterp
0m00.51s | Compilers/Z/MapCastByDeBruijn
0m00.51s | Compilers/ZExtended/MapBaseType
0m00.50s | Spec/EdDSA
0m00.49s | LegacyArithmetic/Double/Proofs/ShiftLeftRightTactic
0m00.48s | Arithmetic/MontgomeryReduction/Definition
0m00.48s | Compilers/GeneralizeVarWf
0m00.48s | Compilers/InterpWf
0m00.48s | Compilers/Named/DeadCodeEliminationInterp
0m00.48s | Compilers/Z/GeneralizeVarInterp
0m00.48s | Compilers/Z/InlineConstAndOpByRewriteWf
0m00.48s | Compilers/Z/InlineWf
0m00.48s | Compilers/Z/RewriteAddToAdc
0m00.48s | LegacyArithmetic/BaseSystem
0m00.47s | Algebra/Nsatz
0m00.47s | Compilers/Z/InlineConstAndOpByRewrite
0m00.46s | Compilers/InterpProofs
0m00.46s | Compilers/Z/InlineConstAndOpInterp
0m00.46s | Compilers/Z/InlineConstAndOpWf
0m00.46s | Specific/Framework/CurveParameters
0m00.46s | Util/AdditionChainExponentiation
0m00.46s | Util/ForLoop/Tests
0m00.45s | Compilers/InlineConstAndOpByRewriteInterp
0m00.45s | Compilers/Named/WeakListContext
0m00.45s | Compilers/Reify
0m00.45s | Compilers/Z/InlineConstAndOp
0m00.45s | Specific/X25519/C64/CurveParameters
0m00.44s | Compilers/InlineConstAndOp
0m00.44s | LegacyArithmetic/Pow2Base
0m00.44s | Util/ZUtil/EquivModulo
0m00.43s | Compilers/Z/InlineConstAndOpByRewriteInterp
0m00.43s | Compilers/Z/Named/DeadCodeElimination
0m00.43s | Compilers/ZExtended/Syntax
0m00.43s | Spec/ModularArithmetic
0m00.43s | Util/ZRange
0m00.43s | Util/ZUtil/Morphisms
0m00.43s | Util/ZUtil/Peano
0m00.43s | Util/ZUtil/ZSimplify/Simple
0m00.42s | Util/ZUtil/CPS
0m00.41s | Compilers/Z/GeneralizeVarWf
0m00.39s | Compilers/InterpRewriting
0m00.39s | Compilers/Z/Named/DeadCodeEliminationInterp
0m00.38s | Compilers/Named/DeadCodeElimination
0m00.38s | Compilers/Named/MapCast
0m00.38s | Compilers/Z/GeneralizeVar
0m00.37s | Specific/Framework/IntegrationTestDisplayCommonTactics
0m00.36s | Compilers/Linearize
0m00.36s | Compilers/MapCastByDeBruijn
0m00.36s | Compilers/Z/Bounds/Pipeline/OutputType
0m00.36s | Specific/Framework/CurveParametersPackage
0m00.36s | Util/BoundedWord
0m00.35s | Compilers/ExprInversion
0m00.35s | Compilers/GeneralizeVar
0m00.35s | Compilers/Named/MapType
0m00.35s | Compilers/Named/Wf
0m00.35s | Compilers/Z/TypeInversion
0m00.35s | Compilers/ZExtended/InlineConstAndOpByRewriteInterp
0m00.35s | Specific/NISTP256/AMD128/CurveParameters
0m00.35s | Util/ZUtil/Tactics/Ztestbit
0m00.34s | Compilers/CommonSubexpressionEliminationDenote
0m00.34s | Compilers/Inline
0m00.34s | Compilers/InterpByIso
0m00.34s | Compilers/Named/Compile
0m00.34s | Compilers/Named/ContextDefinitions
0m00.34s | Compilers/Named/ContextOn
0m00.34s | Compilers/Named/ContextProperties/Tactics
0m00.34s | Compilers/Named/CountLets
0m00.34s | Compilers/Named/ExprInversion
0m00.34s | Compilers/Named/InterpSideConditions
0m00.34s | Compilers/Named/PositiveContext
0m00.34s | Compilers/Named/RegisterAssign
0m00.34s | Compilers/ZExtended/Syntax/Util
0m00.34s | Specific/Framework/RawCurveParameters
0m00.34s | Util/ZUtil/Tactics/SimplifyFractionsLe
0m00.33s | Compilers/InlineConstAndOpByRewrite
0m00.33s | Compilers/Named/EstablishLiveness
0m00.33s | Compilers/Named/SmartMap
0m00.33s | Compilers/ZExtended/InlineConstAndOpByRewriteWf
0m00.33s | Compilers/ZExtended/InlineConstAndOpInterp
0m00.33s | Specific/X2448/Karatsuba/C64/CurveParameters
0m00.33s | Util/ZUtil/Tactics/LtbToLt
0m00.32s | Algebra/Monoid
0m00.32s | Compilers/FoldTypes
0m00.32s | Compilers/MapBaseType
0m00.32s | Compilers/StripExpr
0m00.32s | Compilers/Tuple
0m00.32s | Util/ZUtil/Hints
0m00.32s | Util/ZUtil/Hints/Core
0m00.32s | Util/ZUtil/MulSplit
0m00.32s | Util/ZUtil/Tactics/PeelLe
0m00.32s | Util/ZUtil/Tactics/PullPush/Modulo
0m00.31s | Compilers/CountLets
0m00.31s | Compilers/FilterLive
0m00.31s | Compilers/Named/Context
0m00.31s | Compilers/Named/IdContext
0m00.31s | Compilers/ZExtended/InlineConstAndOp
0m00.31s | Util/Factorize
0m00.31s | Util/ZUtil/Hints/Ztestbit
0m00.31s | Util/ZUtil/Sgn
0m00.30s | Compilers/Named/PositiveContext/Defaults
0m00.30s | Compilers/Named/Syntax
0m00.30s | Compilers/Z/OpInversion
0m00.30s | Compilers/ZExtended/InlineConstAndOpByRewrite
0m00.30s | Compilers/ZExtended/InlineConstAndOpWf
0m00.30s | Specific/NISTP256/AMD64/CurveParameters
0m00.30s | Util/FixedWordSizes
0m00.30s | Util/IdfunWithAlt
0m00.30s | Util/ZUtil/Hints/PullPush
0m00.30s | Util/ZUtil/Tactics
0m00.30s | Util/ZUtil/Z2Nat
0m00.30s | Util/ZUtil/ZSimplify/Core
0m00.29s | Util/ZUtil/Tactics/RewriteModSmall
0m00.29s | Util/ZUtil/Tactics/ZeroBounds
0m00.28s | Bedrock/Nomega
0m00.28s | Compilers/Named/GetNames
0m00.28s | Compilers/Named/InterpretToPHOAS
0m00.28s | Util/ForLoop/Instances
0m00.28s | Util/ZUtil/Tactics/DivModToQuotRem
0m00.28s | Util/ZUtil/Zselect
0m00.27s | Arithmetic/MontgomeryReduction/WordByWord/Abstract/Dependent/Definition
0m00.27s | Util/ZUtil/Hints/ZArith
0m00.26s | Algebra/Hierarchy
0m00.26s | Arithmetic/MontgomeryReduction/WordByWord/Abstract/Definition
0m00.26s | Util/SideConditions/RingPackage
0m00.26s | Util/Sum
0m00.26s | Util/ZUtil/Tactics/DivideExistsMul
0m00.26s | Util/ZUtil/Tactics/LinearSubstitute
0m00.26s | Util/ZUtil/Tactics/PrimeBound
0m00.26s | Util/ZUtil/ZSimplify
0m00.25s | Util/ZUtil/Ge
0m00.25s | Util/ZUtil/Tactics/PullPush
0m00.25s | Util/ZUtil/Tactics/ReplaceNegWithPos
0m00.24s | Compilers/Equality
0m00.24s | Compilers/EtaInterp
0m00.24s | Util/ZUtil/Definitions
0m00.24s | Util/ZUtil/Land
0m00.24s | Util/ZUtil/Tactics/CompareToSgn
0m00.22s | Spec/MxDH
0m00.22s | Util/Decidable/Bool2Prop
0m00.22s | Util/PointedProp
0m00.22s | Util/SideConditions/Autosolve
0m00.20s | Util/SideConditions/ReductionPackages
0m00.20s | Util/ZUtil/ModInv
0m00.19s | Util/ForLoop
0m00.19s | Util/ZUtil/Notations
0m00.16s | Compilers/InSet/TypeifyInterp
0m00.16s | Util/LetInMonad
0m00.15s | Compilers/RewriterWf
0m00.15s | Util/Option
0m00.12s | Util/ListUtil/FoldBool
0m00.11s | Compilers/Conversion
0m00.11s | Compilers/Named/NameUtil
0m00.11s | Compilers/TypeInversion
0m00.11s | Compilers/Wf
0m00.11s | Specific/Framework/Packages
0m00.11s | Util/Prod
0m00.11s | Util/Sigma
0m00.10s | Util/ListUtil/Forall
0m00.10s | Util/Relations
0m00.09s | Util/TagList
0m00.08s | Compilers/Eta
0m00.08s | Compilers/Intros
0m00.08s | Compilers/RewriterInterp
0m00.07s | Compilers/Rewriter
0m00.07s | Compilers/Syntax
0m00.07s | LegacyArithmetic/VerdiTactics
0m00.07s | Util/DefaultedTypes
0m00.07s | Util/Equality
0m00.07s | Util/Tactics/ClearDuplicates
0m00.06s | Compilers/InSet/Syntax
0m00.06s | Compilers/InSet/Typeify
0m00.06s | Compilers/InterpSideConditions
0m00.06s | Util/AutoRewrite
0m00.06s | Util/Bool
0m00.06s | Util/IffT
0m00.06s | Util/SideConditions/AdmitPackage
0m00.06s | Util/Sigma/Lift
0m00.06s | Util/Sumbool
0m00.06s | Util/Tactics
0m00.06s | Util/Tactics/ClearbodyAll
0m00.06s | Util/Tactics/ConvoyDestruct
0m00.06s | Util/Tactics/SideConditionsBeforeToAfter
0m00.06s | Util/Tactics/SpecializeBy
0m00.06s | Util/Tactics/SplitInContext
0m00.06s | Util/Tactics/SubstEvars
0m00.06s | Util/Tower
0m00.05s | Compilers/RenameBinders
0m00.05s | Compilers/TypeUtil
0m00.05s | Util/Bool/IsTrue
0m00.05s | Util/FixCoqMistakes
0m00.05s | Util/HProp
0m00.05s | Util/LetIn
0m00.05s | Util/Logic/ImplAnd
0m00.05s | Util/Notations
0m00.05s | Util/SideConditions/CorePackages
0m00.05s | Util/Sigma/Associativity
0m00.05s | Util/Tactics/BreakMatch
0m00.05s | Util/Tactics/CacheTerm
0m00.05s | Util/Tactics/ChangeInAll
0m00.05s | Util/Tactics/DestructHead
0m00.05s | Util/Tactics/DestructHyps
0m00.05s | Util/Tactics/Head
0m00.05s | Util/Tactics/MoveLetIn
0m00.05s | Util/Tactics/OnSubterms
0m00.05s | Util/Tactics/PrintContext
0m00.05s | Util/Tactics/RewriteHyp
0m00.05s | Util/Tactics/VM
0m00.05s | Util/Unit
0m00.04s | Compilers/Map
0m00.04s | Util/CPSNotations
0m00.04s | Util/ChangeInAll
0m00.04s | Util/Curry
0m00.04s | Util/GlobalSettings
0m00.04s | Util/Isomorphism
0m00.04s | Util/Logic
0m00.04s | Util/Sigma/MapProjections
0m00.04s | Util/Tactics/ClearAll
0m00.04s | Util/Tactics/Contains
0m00.04s | Util/Tactics/DebugPrint
0m00.04s | Util/Tactics/DestructTrivial
0m00.04s | Util/Tactics/DoWithHyp
0m00.04s | Util/Tactics/ESpecialize
0m00.04s | Util/Tactics/ETransitivity
0m00.04s | Util/Tactics/EvarExists
0m00.04s | Util/Tactics/Forward
0m00.04s | Util/Tactics/GetGoal
0m00.04s | Util/Tactics/HeadUnderBinders
0m00.04s | Util/Tactics/Not
0m00.04s | Util/Tactics/PoseTermWithName
0m00.04s | Util/Tactics/Revert
0m00.04s | Util/Tactics/SetEvars
0m00.04s | Util/Tactics/SetoidSubst
0m00.04s | Util/Tactics/SimplifyProjections
0m00.04s | Util/Tactics/SimplifyRepeatedIfs
0m00.04s | Util/Tactics/SubstLet
0m00.04s | Util/Tactics/Test
0m00.04s | Util/Tactics/TransparentAssert
0m00.04s | Util/Tactics/UnfoldArg
0m00.04s | Util/Tactics/UnifyAbstractReflexivity
0m00.04s | Util/Tactics/UniquePose
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions