Lexicon

Pin Versions

Kind: technique

Layer: Computation Core

Record: lexicon:pin-versions

Canonical: Lexicon

A technique for recording exact versions of dependencies and tools, so every build uses the same inputs.

Listed in Lexicon terms, after Postcondition Check and before Ignored Analyzer Findings.

Category

  • Correctness / Determinism / Verification

Refactors

  • Reproducibility

Linked from

  • Correctness / Determinism / Verification