[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-project/csmith] e16753: Remove the least useful code



  Branch: refs/heads/cleanup
  Home:   https://github.com/csmith-project/csmith
  Commit: e167530e0e25a227f6640e4643cf942e76bd9e96
      https://github.com/csmith-project/csmith/commit/e167530e0e25a227f6640e4643cf942e76bd9e96
  Author: jxyang <nitsnow@gmail.com>
  Date:   2019-03-31 (Sun, 31 Mar 2019)

  Changed paths:
    M src/AbsRndNumGenerator.cpp
    M src/AbsRndNumGenerator.h
    M src/ArrayVariable.cpp
    M src/CGOptions.cpp
    M src/CGOptions.h
    M src/CMakeLists.txt
    M src/DefaultOutputMgr.cpp
    M src/DefaultProgramGenerator.cpp
    M src/DefaultRndNumGenerator.cpp
    R src/DeltaMonitor.cpp
    R src/DeltaMonitor.h
    M src/ExpressionAssign.cpp
    M src/ExpressionComma.cpp
    M src/ExpressionFuncall.cpp
    M src/ExpressionVariable.cpp
    M src/ExtensionMgr.cpp
    R src/MspFilters.cpp
    R src/MspFilters.h
    M src/Probabilities.cpp
    M src/RandomProgramGenerator.cpp
    R src/Reducer.cpp
    R src/Reducer.h
    R src/ReducerOutputMgr.cpp
    R src/ReducerOutputMgr.h
    M src/SafeOpFlags.cpp
    M src/SequenceFactory.cpp
    R src/SimpleDeltaRndNumGenerator.cpp
    R src/SimpleDeltaRndNumGenerator.h
    R src/SimpleDeltaSequence.cpp
    R src/SimpleDeltaSequence.h
    R src/SplatExtension.cpp
    R src/SplatExtension.h
    M src/Variable.cpp

  Log Message:
  -----------
  Remove the least useful code

Eager reducer and simple delta reducer: we have proven them to be less
efficient than CReduce.
Msp filters: I suggest we use a new mechanism for silicon vendors to
restrict which arithmetic operations are supported on their processors.
The mechanism should be through a config file, instead of we creating
vendor specific filters in Csmith.
Splat extension: Splat seems to be less popular than klee and crest
nowadays. Even for klee and crest, we should move them out of Csmith in
the future when we have a generic way to support outputing the random
programs in customized ways.