Merge pull request #95 from nishant-sachdeva/llvm17lit

Moving tests to LIT and added docs.

Author: svkeerthy

.github/workflows/doxygen.yml

@@ -0,0 +1,39 @@
+# This is a basic workflow to help you get started with Actions
+
+name: Doxygen Action
+
+# Controls when the action will run. Triggers the workflow on push or pull request
+# events but only for the master branch
+on:
+  push:
+    branches: [ main ]
+
+
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+  # This workflow contains a single job called "build"
+  build:
+    # The type of runner that the job will run on
+    runs-on: ubuntu-latest
+
+    # Steps represent a sequence of tasks that will be executed as part of the job
+    steps:
+    # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
+    - uses: actions/checkout@v2
+
+    - name: Doxygen Action
+      uses: mattnotmitt/[email protected]
+      with:
+        # Path to Doxyfile
+        doxyfile-path: "./Doxyfile" # default is ./Doxyfile
+        # Working directory
+        working-directory: "." # default is .
+
+    - name: Deploy
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GH_PERSONAL_ACCESS_TOKEN }}
+        # Default Doxyfile build documentation to html directory.
+        # Change the directory if changes in Doxyfile
+        publish_dir: ./html

.github/workflows/publish-docs.yml

@@ -0,0 +1,41 @@
+name: GitHub Wiki upload
+
+on:
+  push:
+    branches:
+      - main
+    paths: [docs/**, .github/workflows/publish-docs.yml]
+
+concurrency:
+  group: wiki
+  cancel-in-progress: true
+
+permissions:
+  contents: write
+
+jobs:
+  wiki:
+    name: Publish to GitHub Wiki
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Code
+        uses: actions/checkout@v4
+        with:
+          repository: ${{github.repository}}
+          path: ${{github.repository}}
+
+      - name: Checkout Wiki
+        uses: actions/checkout@v4
+        with:
+          repository: ${{github.repository}}.wiki
+          path: ${{github.repository}}.wiki
+
+      - name: Push to wiki
+        run: |
+          set -e
+          cd $GITHUB_WORKSPACE/${{github.repository}}.wiki
+          cp -r $GITHUB_WORKSPACE/${{github.repository}}/docs/* .
+          git config --local user.email "[email protected]"
+          git config --local user.name "GitHub Action"
+          git add .
+          git diff-index --quiet HEAD || git commit -m "action: wiki sync" && git push

.github/workflows/publish.yml

@@ -14,9 +14,14 @@ jobs:
     runs-on: ubuntu-20.04
 
     steps:
+    - name: Install libzstd-dev
+      run: sudo apt-get install -y libzstd-dev
+    - name: Install LIT and Filecheck
+      run: |
+        sudo python3 -m pip install lit
+        sudo python3 -m pip install filecheck
     - name: Install LLVM-17
       run: |
-        sudo apt-get install -y libzstd-dev
         wget https://apt.llvm.org/llvm.sh
         sudo bash llvm.sh 17
     - uses: actions/checkout@v2

.github/workflows/test.yml

@@ -19,6 +19,10 @@ jobs:
     steps:
     - name: Install libzstd-dev
       run: sudo apt-get install libzstd-dev
+    - name: Install LIT and Filecheck
+      run: |
+        sudo python3 -m pip install lit
+        sudo python3 -m pip install filecheck
     - name: Install LLVM-17
       run: |
         wget https://apt.llvm.org/llvm.sh
@@ -41,4 +45,4 @@ jobs:
     - name: make
       run: cd build && make -j8
     - name: Run-tests
-      run: cd build && ulimit -s unlimited && make verify-all
+      run: cd build && ulimit -s unlimited && make check

.gitignore

@@ -6,3 +6,6 @@ experiments/*/output
 seed_embeddings/triplets.txt
 seed_embeddings/preprocessed/*
 .cache/
+
+html
+latex