support CUDA

Author: Wei-TianHao

.github/workflows/CI.yml

@@ -41,6 +41,12 @@ jobs:
             ${{ runner.os }}-test-${{ env.cache-name }}-
             ${{ runner.os }}-test-
             ${{ runner.os }}-
+      - uses: Jimver/[email protected]
+        id: cuda-toolkit
+        with:
+          cuda: '12.4.1'
+      - run: echo "Installed cuda version is: ${{steps.cuda-toolkit.outputs.cuda}}"
+      - run: echo "Cuda install location: ${{steps.cuda-toolkit.outputs.CUDA_PATH}}"
       - name: Install local dependencies
         run: |
           julia --project=. -e 'using Pkg; Pkg.develop(path="onnx_parser/NaiveNASflux")'

README.md

@@ -131,7 +131,6 @@ Please consider citing this toolbox if it is useful for your research.
 @misc{wei2024MV,
   title = {ModelVerification.jl},
   author = {Wei, Tianhao and Hu, Hanjiang and Niu, Peizhi and Marzari, Luca and Yun, Kai S. and Luo, Xusheng and Liu, Changliu},
-  advisor = {Liu, Changliu},
   howpublished = {\url{https://github.com/intelligent-control-lab/ModelVerification.jl}},
   year = {2024}
 }