source: src/ResolvExpr/module.mk @ 8573729

resolv-new
Last change on this file since 8573729 was 8573729, checked in by Aaron Moss <a3moss@…>, 7 years ago

Start new assertion resolution branch

  • assertion resolution visitor is stubbed in
  • ignores equally-minimal deleted expressions
  • Property mode set to 100644
File size: 1.3 KB
RevLine 
[6e7e2b36]1######################### -*- Mode: Makefile-Gmake -*- ########################
2##
3## Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
4##
5## The contents of this file are covered under the licence agreement in the
6## file "LICENCE" distributed with Cforall.
7##
[e4d829b]8## module.mk --
[6e7e2b36]9##
10## Author           : Richard C. Bilson
11## Created On       : Mon Jun  1 17:49:17 2015
12## Last Modified By : Peter A. Buhr
13## Last Modified On : Mon Jun  1 17:53:28 2015
14## Update Count     : 1
15###############################################################################
16
[51b7345]17SRC += ResolvExpr/AlternativeFinder.cc \
[00cc023]18       ResolvExpr/Alternative.cc \
[51b7345]19       ResolvExpr/Unify.cc \
20       ResolvExpr/PtrsAssignable.cc \
21       ResolvExpr/CommonType.cc \
22       ResolvExpr/ConversionCost.cc \
23       ResolvExpr/CastCost.cc \
24       ResolvExpr/PtrsCastable.cc \
25       ResolvExpr/AdjustExprType.cc \
26       ResolvExpr/AlternativePrinter.cc \
27       ResolvExpr/Resolver.cc \
28       ResolvExpr/ResolveTypeof.cc \
29       ResolvExpr/RenameVars.cc \
30       ResolvExpr/FindOpenVars.cc \
31       ResolvExpr/PolyCost.cc \
32       ResolvExpr/Occurs.cc \
[e4d829b]33       ResolvExpr/TypeEnvironment.cc \
[a8b27c6]34       ResolvExpr/CurrentObject.cc \
[8573729]35       ResolvExpr/ExplodedActual.cc \
36       ResolvExpr/ResolveAssertions.cc
Note: See TracBrowser for help on using the repository browser.