@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 39 : x86_64
• Fedora 40 : x86_64
• Fedora 41 : 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 39 : x86_64
• Fedora 40 : x86_64
• Fedora 41 : 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 39 : x86_64
• Fedora 40 : x86_64
• Fedora 41 : 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 39 : x86_64
• Fedora 40 : x86_64
• Fedora 41 : x86_64
• Fedora rawhide : x86_64

@aufover/predator

A Shape Analyzer Based on Symbolic Memory Graphs

• EPEL 7 : x86_64
• EPEL 8 : x86_64
• EPEL 9 : x86_64
• Fedora 39 : x86_64
• Fedora 40 : x86_64
• Fedora 41 : x86_64
• Fedora rawhide : x86_64

4 Build Batches 1 Importing 3 Pending 4 Starting 124 Running Running tasks during last 24 hours: