forked from benedikt-schesch/AST-Merging-Evaluation
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge ../AST-Merging-Evaluation-branch-master into ben-main
- Loading branch information
Showing
5,102 changed files
with
81,128 additions
and
83,362 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
[user] | ||
email = [email protected] | ||
name = Example Example |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,46 @@ | ||
name: Reproducibility Check | ||
on: [push, pull_request] | ||
jobs: | ||
test: | ||
strategy: | ||
matrix: | ||
maven: [ '3.9.2' ] | ||
runs-on: ubuntu-latest | ||
defaults: | ||
run: | ||
shell: bash -l {0} | ||
steps: | ||
- uses: actions/setup-java@v4 | ||
with: | ||
distribution: 'zulu' | ||
java-version: 17.0.7 | ||
- run: echo "JAVA17_HOME=$JAVA_HOME" >> $GITHUB_ENV | ||
- run: java -version | ||
- uses: actions/checkout@v4 | ||
with: | ||
submodules: 'true' | ||
- name: Set up Python 3.12 | ||
uses: actions/setup-python@v5 | ||
with: | ||
python-version: '3.12' | ||
- name: Setup miniconda | ||
uses: conda-incubator/setup-miniconda@v3 | ||
with: | ||
python-version: 3.12 | ||
auto-update-conda: true | ||
mamba-version: "*" | ||
channels: conda-forge,defaults | ||
activate-environment: AST | ||
environment-file: environment.yml | ||
- name: Clean caches & workspace | ||
run: make clean | ||
- run: echo "LOGURU_COLORIZE=NO" >> $GITHUB_ENV | ||
- name: Build | ||
run: cd src/scripts/merge_tools/merging && ./gradlew -q shadowJar | ||
- name: make check-merges-reproducibility | ||
run: | | ||
python3 src/python/replay_merge.py --merges_csv results/combined/result.csv -delete_workdir --idx 38-192 | ||
head -n 151 results/combined/result.csv > temp.csv && mv temp.csv results/combined/result.csv | ||
make check-merges-reproducibility | ||
env: | ||
GITHUB_TOKEN: ${{ secrets.TOKEN_GITHUB }} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,38 @@ | ||
name: Update Overleaf with Plots | ||
|
||
on: | ||
push: | ||
branches: | ||
- main | ||
|
||
jobs: | ||
update-overleaf: | ||
runs-on: ubuntu-latest | ||
|
||
steps: | ||
- uses: GuillaumeFalourd/[email protected] | ||
- name: Checkout repository | ||
uses: actions/checkout@v4 | ||
|
||
- name: Setup Git Config and Credentials | ||
run: | | ||
git config --global user.email "[email protected]" | ||
git config --global user.name "GitHub CI/CD Bot" | ||
- name: Create directory for Overleaf Repository | ||
run: mkdir -p ../AST-Merging-Evaluation-Paper | ||
|
||
- name: Clone Overleaf Repository | ||
env: | ||
OVERLEAF_GIT_REPO: ${{ secrets.OVERLEAF_GIT_REPO }} | ||
run: | | ||
git clone ${OVERLEAF_GIT_REPO} ../AST-Merging-Evaluation-Paper | ||
- name: Run make command to copy plots | ||
run: make copy-paper | ||
|
||
- name: Commit and Push to Overleaf | ||
run: | | ||
cd ../AST-Merging-Evaluation-Paper | ||
git add . | ||
git diff --staged --exit-code || (git commit -m "Automated plot updates by GitHub CI/CD Bot" && git push origin master) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,62 +1,65 @@ | ||
name: Run Small test | ||
name: Small test | ||
on: [push, pull_request] | ||
jobs: | ||
test: | ||
strategy: | ||
matrix: | ||
maven: [ '3.9.2'] | ||
maven: [ '3.9.2' ] | ||
runs-on: ubuntu-latest | ||
defaults: | ||
run: | ||
shell: bash -l {0} | ||
steps: | ||
- uses: actions/setup-java@v3 | ||
- uses: actions/setup-java@v4 | ||
with: | ||
distribution: 'zulu' | ||
java-version: 8 | ||
- run: echo "JAVA8_HOME=$JAVA_HOME" >> $GITHUB_ENV | ||
- run: java -version | ||
- uses: actions/setup-java@v3 | ||
- uses: actions/setup-java@v4 | ||
with: | ||
distribution: 'zulu' | ||
java-version: 11 | ||
- run: echo "JAVA11_HOME=$JAVA_HOME" >> $GITHUB_ENV | ||
- run: java -version | ||
- uses: actions/setup-java@v3 | ||
- uses: actions/setup-java@v4 | ||
with: | ||
distribution: 'zulu' | ||
java-version: 17 | ||
- run: echo "JAVA17_HOME=$JAVA_HOME" >> $GITHUB_ENV | ||
- run: echo "${GITHUB_WORKSPACE}/src/scripts/merge_tools" >> $GITHUB_PATH | ||
- run: java -version | ||
- uses: actions/checkout@v4 | ||
- name: Set up Python 3.8 | ||
with: | ||
submodules: 'true' | ||
- name: Set up Python 3.12 | ||
uses: actions/setup-python@v5 | ||
with: | ||
python-version: '3.8' | ||
python-version: '3.12' | ||
- name: Setup miniconda | ||
uses: conda-incubator/setup-miniconda@v3.0.3 | ||
uses: conda-incubator/setup-miniconda@v3 | ||
with: | ||
python-version: 3.8 | ||
python-version: 3.12 | ||
auto-update-conda: true | ||
mamba-version: "*" | ||
channels: conda-forge,defaults | ||
activate-environment: AST | ||
environment-file: environment.yml | ||
- name: Install PdfLaTeX | ||
run: sudo apt update && sudo apt install texlive-latex-extra -y | ||
- name: Install maven | ||
uses: s4u/setup-maven-action@v1.8.0 | ||
uses: s4u/setup-maven-action@v1.12.0 | ||
with: | ||
java-version: 17 | ||
maven-version: ${{ matrix.maven }} | ||
- name: Clean caches & workspace | ||
run: make clean | ||
- name: Build Java programs | ||
run: ./gradlew build | ||
- name: Install killall | ||
run: sudo apt update && sudo apt install psmisc -y | ||
- run: echo "LOGURU_COLORIZE=NO" >> $GITHUB_ENV | ||
- name: Run small test | ||
run: | | ||
git config --global user.email "[email protected]" | ||
git config --global user.name "Example Example" | ||
git config --global merge.customMerge.name "Always incorrect custom merge driver" | ||
git config --global merge.customMerge.driver 'fake-merge-driver %O %A %B %L %P' | ||
make small-test | ||
env: | ||
GITHUB_TOKEN: ${{ secrets.TOKEN_GITHUB }} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -16,6 +16,7 @@ cache*.tar | |
cache.tar | ||
output.txt | ||
replay_logs/ | ||
my.secrets | ||
|
||
output/ | ||
merge_repo/ | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
[submodule "src/scripts/merge_tools/merging"] | ||
path = src/scripts/merge_tools/merging | ||
url = https://github.com/plume-lib/merging.git | ||
ignore = dirty |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,28 @@ | ||
#!/usr/bin/env sh | ||
|
||
# usage: ./gitmerge_ort_imports.sh <clone_dir> <branch-1> <branch-2> | ||
|
||
clone_dir=$1 | ||
branch1=$2 | ||
branch2=$3 | ||
|
||
export JAVA_HOME="$JAVA17_HOME" | ||
|
||
cd "$clone_dir" || exit 1 | ||
|
||
git checkout "$branch1" --force | ||
|
||
attributes_file=".git/info/attributes" | ||
echo "*.java merge=merge-java" >> "$attributes_file" | ||
git config --local merge.merge-java.name "Merge Java files" | ||
git config --local merge.merge-java.driver 'java-merge-driver.sh "%A" "%O" "%B"' | ||
|
||
git merge --no-edit "$branch2" | ||
retVal=$? | ||
|
||
# report conflicts | ||
if [ "$retVal" -ne 0 ]; then | ||
echo "Conflict" | ||
fi | ||
|
||
exit "$retVal" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.