Ignore:
Timestamp:
Sep 10, 2015, 4:38:24 PM (4 years ago)
Author:
nmedfort
Message:

More distribution law work

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/CMakeLists.txt

    r4764 r4766  
    6363SET(PABLO_SRC pablo/pabloAST.cpp pablo/ps_if.cpp pablo/ps_while.cpp pablo/function.cpp pablo/codegenstate.cpp pablo/builder.cpp pablo/symbol_generator.cpp pablo/printer_pablos.cpp)
    6464SET(PABLO_SRC ${PABLO_SRC} pablo/pablo_compiler.cpp pablo/carry_manager.cpp pablo/carry_data.cpp IDISA/idisa_builder.cpp)
     65SET(PABLO_SRC ${PABLO_SRC} pablo/analysis/pabloverifier.cpp)
    6566SET(PABLO_SRC ${PABLO_SRC} pablo/optimizers/pablo_simplifier.cpp pablo/optimizers/pablo_codesinking.cpp pablo/optimizers/booleanreassociationpass.cpp)
    6667IF (ENABLE_MULTIPLEXING)
Note: See TracChangeset for help on using the changeset viewer.