@aufover Group

@aufover/cbmc

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

• EPEL 8 : x86_64

@aufover/simplified-rpms

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

• Fedora 40 : x86_64
• Fedora 41 : x86_64
• Fedora 42 : x86_64
• Fedora rawhide : x86_64

@aufover/ldpwrap

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

• Fedora 40 : x86_64
• Fedora 41 : x86_64
• Fedora 42 : x86_64
• Fedora rawhide : x86_64

@aufover/gllvm

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

• Fedora 40 : x86_64
• Fedora 41 : x86_64
• Fedora 42 : x86_64
• Fedora rawhide : x86_64

@aufover/symbiotic

Tool for verifying computer programs based on instrumentation, program slicing and symbolic executor KLEE.

@aufover/divine

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.

• Fedora 40 : x86_64
• Fedora 41 : x86_64
• Fedora 42 : x86_64
• Fedora rawhide : x86_64

@aufover/predator

A Shape Analyzer Based on Symbolic Memory Graphs

• EPEL 10 : x86_64
• EPEL 7 : x86_64
• EPEL 8 : x86_64
• EPEL 9 : x86_64
• Fedora 40 : x86_64
• Fedora 41 : x86_64
• Fedora 42 : x86_64
• Fedora rawhide : x86_64

10 Build Batches 0 Importing 103 Pending 3 Starting 129 Running Running tasks during last 24 hours: