Add annotations implementation:

- Merge args for external calls - Add config example in config/annotations.json
S1eGa · Feb 22, 2024 · b399e64 · b399e64
1 parent 9b1cd71
commit b399e64
Show file tree

Hide file tree

Showing 83 changed files with 3,998 additions and 785 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -146,7 +146,6 @@ jobs:
     runs-on: macos-latest
     env:
       BASE: /tmp
-      LLVM_VERSION: 11
       SOLVERS: STP
       UCLIBC_VERSION: 0
       USE_TCMALLOC: 0