Skip to content
  • Robbert Krebbers's avatar
    Many changes. · e05af4c4
    Robbert Krebbers authored
    - Better representation of symbolic integers
    - Better representation of symbolic locations
    - Support while in the vcg
    - Support alloc in the vcg
    - A better reification mechanism
    - Better proofmode support for mapsto with lists
    - Normalize fractions
    - Restructure lots of proofs
    - ...
    e05af4c4