svf-lib 1.0.2249 → 1.0.2251

package/.github/workflows/publish-svf-lib.yml

@@ -18,4 +18,23 @@ jobs:
           cat package.json
           npm publish
         env:
-          NODE_AUTH_TOKEN: ${{secrets.npm_token}}
+          NODE_AUTH_TOKEN: ${{secrets.npm_token}}
+  trigger-svf-python:
+    if: github.event_name == 'push'  # Only run on push events
+    needs: build
+    runs-on: ubuntu-latest
+    steps:
+      - name: Trigger SVF-Python workflow
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.WORKFLOW_PAT }}
+          script: |
+            await github.rest.actions.createWorkflowDispatch({
+              owner: 'SVF-tools',
+              repo: 'SVF-Python',
+              workflow_id: 'release.yml',
+              ref: 'main',
+              inputs: {
+                triggered_by: 'SVF-npm'
+              }
+            })

package/SVF-linux-aarch64/Release-build/include/SVFIR/SVFType.h

@@ -323,12 +323,14 @@ class SVFFunctionType : public SVFType
 
 private:
     const SVFType* retTy;
+    std::vector<const SVFType*> params;
 
 public:
-    SVFFunctionType(const SVFType* rt)
-        : SVFType(false, SVFFunctionTy, 1), retTy(rt)
+    SVFFunctionType(const SVFType* rt, const std::vector<const SVFType*>& p)
+        : SVFType(false, SVFFunctionTy, 1), retTy(rt), params(p)
     {
     }
+
     static inline bool classof(const SVFType* node)
     {
         return node->getKind() == SVFFunctionTy;
@@ -338,6 +340,11 @@ public:
         return retTy;
     }
 
+    const std::vector<const SVFType*>& getParamTypes() const
+    {
+        return params;
+    }
+
     void print(std::ostream& os) const override;
 };
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2249",
+  "version": "1.0.2251",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {