@aufover/predator

( forked from kdudka/predator )

Project ID: 48696

Description

A Shape Analyzer Based on Symbolic Memory Graphs

Installation Instructions

dnf copr enable @aufover/predator && dnf install predator

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release Architectures Repo Download
EPEL 10 x86_64 (20)* EPEL 10 (10 downloads)
EPEL 7 x86_64 (100)* EPEL 7 (57 downloads)
EPEL 8 x86_64 (138)* EPEL 8 (52 downloads)
EPEL 9 x86_64 (123)* EPEL 9 (49 downloads)
Fedora 40 x86_64 (22)* Fedora 40 (0 downloads)
Fedora 41 x86_64 (42)* Fedora 41 (22 downloads)
Fedora 42 x86_64 (12)* Fedora 42 (13 downloads)
Fedora rawhide x86_64 (524)* Fedora rawhide (236 downloads)

* Total number of downloaded packages.