Skip to content

Releases: ScriptWare-Software/native-predicate-solver

Build 78

15 Nov 03:12
@github-actions github-actions
build-78
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 78 Latest
Latest

Build Information

Date: 2025-11-15
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.2.8614 (build 8614)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Assets 23

Build 77

14 Nov 03:19
@github-actions github-actions
build-77
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 77

Build Information

Date: 2025-11-14
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.2.8614 (build 8614)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 76

13 Nov 03:21
@github-actions github-actions
build-76
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 76

Build Information

Date: 2025-11-13
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 75

12 Nov 03:18
@github-actions github-actions
build-75
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 75

Build Information

Date: 2025-11-12
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 74

11 Nov 03:19
@github-actions github-actions
build-74
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 74

Build Information

Date: 2025-11-11
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 73

10 Nov 03:25
@github-actions github-actions
build-73
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 73

Build Information

Date: 2025-11-10
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 72

09 Nov 03:18
@github-actions github-actions
build-72
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 72

Build Information

Date: 2025-11-09
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 71

08 Nov 03:10
@github-actions github-actions
build-71
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 71

Build Information

Date: 2025-11-08
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 70

07 Nov 03:16
@github-actions github-actions
build-70
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 70

Build Information

Date: 2025-11-07
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading

Build 69

06 Nov 03:19
@github-actions github-actions
build-69
691a9cc
This commit was signed with the committer’s verified signature.
3rdit Erdit
GPG key ID: E79F36F740687483
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Build 69

Build Information

Date: 2025-11-06
Commit: 691a9cc

Supported Binary Ninja Versions

  • dev (build dev)
  • 5.1.8005 (build 8005)
  • 5.1.8104 (build 8104)
  • 5.0.7290 (build 7290)
  • 5.0.7486 (build 7486)
  • 5.0.7648 (build 7648)

Installation

Option 1 (Recommended): Use the loader plugin which automatically downloads and updates the correct binary for your Binary Ninja version.

Option 2: Manual installation - download the appropriate binary for your platform and Binary Ninja version, then place it in your Binary Ninja plugins directory.

Naming format:

  • Stable: NativePredicateSolver-<version>.<ext>
  • Dev: NativePredicateSolver-dev.<ext>

Where <ext> is dll (Windows), so (Linux), or dylib (macOS).

Loading