Changeset 2e9b59b for src/Validate/module.mk

Timestamp:

Apr 19, 2022, 3:00:04 PM (3 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

5b84a321

Parents:

ba897d21 (diff), bb7c77d (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

added benchmark and evaluations chapter to thesis

File:

• src/Validate/module.mk (modified) (2 diffs)

src/Validate/module.mk

@@ -22 +22 @@
         Validate/ForallPointerDecay.cpp \
         Validate/ForallPointerDecay.hpp \
+        Validate/GenericParameter.cpp \
+        Validate/GenericParameter.hpp \
         Validate/HandleAttributes.cc \
         Validate/HandleAttributes.h \
@@ -28 +30 @@
         Validate/LabelAddressFixer.cpp \
         Validate/LabelAddressFixer.hpp \
+        Validate/ReturnCheck.cpp \
+        Validate/ReturnCheck.hpp \
         Validate/FindSpecialDeclsNew.cpp \
         Validate/FindSpecialDecls.cc \