Ignore:
Timestamp:
Mar 12, 2018, 5:28:11 PM (6 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
resolv-new
Children:
4edf753
Parents:
6171841
Message:

Start new assertion resolution branch

  • assertion resolution visitor is stubbed in
  • ignores equally-minimal deleted expressions
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/module.mk

    r6171841 r8573729  
    3333       ResolvExpr/TypeEnvironment.cc \
    3434       ResolvExpr/CurrentObject.cc \
    35        ResolvExpr/ExplodedActual.cc
     35       ResolvExpr/ExplodedActual.cc \
     36       ResolvExpr/ResolveAssertions.cc
Note: See TracChangeset for help on using the changeset viewer.