Releases · ScriptWare-Software/native-predicate-solver

Build 61

29 Oct 03:21

github-actions

build-61

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 61 Latest

Latest

Build Information

Date: 2025-10-29
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).

Assets 20

• NativePredicateSolver-5.0.7290.dll
  sha256:14377b8d604a74f996f2d881342097eb11310255c47ee4fc2595da8e8eca4564

  184 KB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7290.dylib
  sha256:46509648c8bcdacab42156db2862f918416654669c9a1cbe9cb8dfc92dc62126

  6.43 MB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7290.so
  sha256:0fd46bb1f1ea4fa7ef7d920f974fea2a7be30c3b03bfe0e154ba82d6910a9b8d

  4.12 MB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7486.dll
  sha256:38afdb1b0a6986510b10dfe3806cbfb5dac70480723e134ba30f9b7d917c13c8

  184 KB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7486.dylib
  sha256:737bd79234e4426e7a2a213d6bbc196a27f837bb1b7460361697d46036b3d36d

  6.43 MB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7486.so
  sha256:7ef32d3e71b1be04fa00cab638a18dc80be1015b6a36bd9f99b71dc0f6b6aeca

  4.12 MB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7648.dll
  sha256:58aa666fd03255e80b5f18a1fdbfa969b7949fecbfe23b6bc3823fa6b5553525

  184 KB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7648.dylib
  sha256:737bd79234e4426e7a2a213d6bbc196a27f837bb1b7460361697d46036b3d36d

  6.43 MB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.0.7648.so
  sha256:7ef32d3e71b1be04fa00cab638a18dc80be1015b6a36bd9f99b71dc0f6b6aeca

  4.12 MB 2025-10-29T03:21:06Z
• NativePredicateSolver-5.1.8005.dll
  sha256:ee61f4a72e3976422762d2b14bc137079e47dd23417ee4e4fb4a94c12d758a87

  185 KB 2025-10-29T03:21:06Z
• Source code (zip)
  2025-10-15T00:04:01Z
• Source code (tar.gz)
  2025-10-15T00:04:01Z
• Show all 20 assets

Build 60

28 Oct 03:13

github-actions

build-60

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 60

Build Information

Date: 2025-10-28
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).

Assets 20

Loading

Build 59

27 Oct 03:25

github-actions

build-59

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 59

Build Information

Date: 2025-10-27
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).

Assets 20

Loading

Build 58

26 Oct 03:15

github-actions

build-58

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 58

Build Information

Date: 2025-10-26
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).

Assets 20

Loading

Build 57

25 Oct 03:08

github-actions

build-57

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 57

Build Information

Date: 2025-10-25
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).

Assets 20

Loading

Build 56

24 Oct 03:06

github-actions

build-56

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 56

Build Information

Date: 2025-10-24
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).

Assets 20

Loading

Build 55

23 Oct 03:09

github-actions

build-55

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 55

Build Information

Date: 2025-10-23
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).

Assets 20

Loading

Build 54

22 Oct 03:16

github-actions

build-54

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 54

Build Information

Date: 2025-10-22
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).

Assets 20

Loading

Build 53

21 Oct 03:11

github-actions

build-53

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 53

Build Information

Date: 2025-10-21
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).

Assets 20

Loading

Build 52

20 Oct 03:20

github-actions

build-52

691a9cc

This commit was signed with the committer’s verified signature.

3rdit Erdit

GPG key ID: E79F36F740687483

Verified

Learn about vigilant mode.

Compare

Choose a tag to compare

Filter

View all tags

Build 52

Build Information

Date: 2025-10-20
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).

Assets 20

Loading