Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ Repair with meta-program, search with Casino.
* zlib
* libcurses
* pthread
* cJSON

## Docker Image
Run `docker pull kyj1411/msv` to get docker image.
Expand Down
2 changes: 1 addition & 1 deletion src/BenchProgram.h
Original file line number Diff line number Diff line change
Expand Up @@ -20,8 +20,8 @@
#include "ProfileErrorLocalizer.h"
#include "RepairCandidateGenerator.h"
#include "ConfigFile.h"
#include "cJSON/cJSON.h"

#include <cjson/cJSON.h>
#include <clang/Frontend/ASTUnit.h>
#include <clang/AST/Expr.h>
#include <string>
Expand Down
1 change: 0 additions & 1 deletion src/ExprSynthesizer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,6 @@
#include "CodeRewrite.h"
#include "DuplicateDetector.h"
#include "FeatureParameter.h"
#include "cJSON/cJSON.h"
#include "ProfileWriter.h"

#include "llvm/Support/CommandLine.h"
Expand Down
20 changes: 10 additions & 10 deletions src/Makefile.am
Original file line number Diff line number Diff line change
Expand Up @@ -46,33 +46,33 @@ ClangLDADD += -lLLVMXRay -lLLVMWindowsManifest -lLLVMTableGen -lLLVMSymbolize -l

pdiffer_SOURCES = pdiffer.cpp Utils.cpp ASTDiffer.cpp ProfileWriter.cpp SourceContextManager.cpp LocalAnalyzer.cpp \
GlobalAnalyzer.cpp ASTUtils.cpp BenchProgram.cpp RepairCandidateGenerator.cpp \
CodeRewrite.cpp FeatureExtract.cpp cJSON/cJSON_Utils.c cJSON/cJSON.c
CodeRewrite.cpp FeatureExtract.cpp
pdiffer_LDFLAGS = `llvm-config --ldflags`
pdiffer_LDADD = $(ClangLDADD) -lexplain
pdiffer_LDADD = $(ClangLDADD) -lexplain -lcjson

learner_SOURCES = learner.cpp FeatureExtract.cpp ProfileWriter.cpp SourceContextManager.cpp LocalAnalyzer.cpp \
GlobalAnalyzer.cpp ASTUtils.cpp BenchProgram.cpp RepairCandidateGenerator.cpp \
Utils.cpp CodeRewrite.cpp cJSON/cJSON_Utils.c cJSON/cJSON.c
Utils.cpp CodeRewrite.cpp
learner_LDFLAGS = `llvm-config --ldflags`
learner_LDADD = $(ClangLDADD) -lexplain
learner_LDADD = $(ClangLDADD) -lexplain -lcjson

prophet_SOURCES = Main.cpp Utils.cpp RepairSearchEngine.cpp ProfileWriter.cpp BenchProgram.cpp ASTUtils.cpp \
ErrorLocalizer.cpp LocalAnalyzer.cpp ProfileErrorLocalizer.cpp SourceContextManager.cpp \
GlobalAnalyzer.cpp DuplicateDetector.cpp ExprSynthesizer.cpp RepairCandidateGenerator.cpp SBFLLocalizer.cpp \
CodeRewrite.cpp FeatureExtract.cpp cJSON/cJSON_Utils.c cJSON/cJSON.c
CodeRewrite.cpp FeatureExtract.cpp
prophet_LDFLAGS = `llvm-config --ldflags`
prophet_LDADD = $(ClangLDADD) -lexplain
prophet_LDADD = $(ClangLDADD) -lexplain -lcjson

msv_SOURCES = Main.cpp Utils.cpp RepairSearchEngine.cpp ProfileWriter.cpp BenchProgram.cpp ASTUtils.cpp \
ErrorLocalizer.cpp LocalAnalyzer.cpp ProfileErrorLocalizer.cpp SourceContextManager.cpp \
GlobalAnalyzer.cpp DuplicateDetector.cpp ExprSynthesizer.cpp RepairCandidateGenerator.cpp SBFLLocalizer.cpp \
CodeRewrite.cpp FeatureExtract.cpp cJSON/cJSON_Utils.c cJSON/cJSON.c
CodeRewrite.cpp FeatureExtract.cpp
msv_LDFLAGS = `llvm-config --ldflags`
msv_LDADD = $(ClangLDADD) -lexplain
msv_LDADD = $(ClangLDADD) -lexplain -lcjson

playground_SOURCES = PlayGround.cpp Utils.cpp BenchProgram.cpp cJSON/cJSON_Utils.c cJSON/cJSON.c
playground_SOURCES = PlayGround.cpp Utils.cpp BenchProgram.cpp
playground_LDFLAGS = `llvm-config --ldflags`
playground_LDADD = $(ClangLDADD) -lexplain
playground_LDADD = $(ClangLDADD) -lexplain -lcjson

libprofiler_la_SOURCES = ProfilerAction.cpp
libprofiler_la_LDFLAGS = `llvm-config --ldflags`
Expand Down
2 changes: 1 addition & 1 deletion src/ProfileErrorLocalizer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
#include "BenchProgram.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Support/CommandLine.h"
#include "cJSON/cJSON.h"
#include <cjson/cJSON.h>
#include <map>
#include <queue>
#include <fstream>
Expand Down
4 changes: 2 additions & 2 deletions src/SBFLLocalizer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
#include <clang/AST/RecursiveASTVisitor.h>
#include <clang/AST/Stmt.h>
#include <iostream>
#include "cJSON/cJSON.h"
#include <cjson/cJSON.h>
#include "SBFLLocalizer.h"
#include "Utils.h"

Expand Down Expand Up @@ -190,4 +190,4 @@ void SBFLLocalizer::printResult(const std::string &outfile){
<<(size_t)(result[i].first*1000000) << "\t\t" << 0 << "\t\t" << 0 << std::endl;
}
file.close();
}
}
Empty file removed src/cJSON/.deps/.dirstamp
Empty file.
Empty file removed src/cJSON/.dirstamp
Empty file.
23 changes: 0 additions & 23 deletions src/cJSON/.editorconfig

This file was deleted.

11 changes: 0 additions & 11 deletions src/cJSON/.gitattributes

This file was deleted.

18 changes: 0 additions & 18 deletions src/cJSON/.gitignore

This file was deleted.

28 changes: 0 additions & 28 deletions src/cJSON/.travis.yml

This file was deleted.

Loading