1. Overview
  2. 1. Quick Reference Guide
    1. 1.1. Adding a Language
    2. 1.2. New specifications
    3. 1.3. New modes
  3. 2. Techical Setup
    1. 2.1. Workflow
    2. 2.2. Language
    3. 2.3. Build System
  4. 3. Common Object Language
    1. 3.1. Nodes
    2. 3.2. References
    3. 3.3. Origins
    4. 3.4. Checking
    5. 3.5. Coercion
    6. 3.6. Pretty-Printing
    7. 3.7. Comparing
    8. 3.8. Serialization
  5. 4. Resolution
  6. 5. Rewriting
    1. 5.1. Outline
    2. 5.2. Dispatch
    3. 5.3. Generations
    4. 5.4. Succession
    5. 5.5. Blames
    6. 5.6. Nested Rewriters
    7. 5.7. Substitution
  7. 6. Backend and Errors
    1. 6.1. Program Translation
    2. 6.2. Error Translation
  8. 7. Utilities
    1. 7.1. Caching
    2. 7.2. Profiling and Progress
    3. 7.3. Importing

VerCors Development Book

Quick Reference Guide

Were you linked here, but not sure where to start? Maybe try a quick reference guide:

  • Adding a new input language to VerCors
  • Add a new type of specification to VerCors
  • Making VerCors do something other than verifying files