@aufover Group

FAS details | View Members

Projects in @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
  • Fedora 35 : x86_64

@aufover/csdiff

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • EPEL 7 : x86_64
  • EPEL 8 : aarch64, x86_64
  • Fedora 35 : aarch64, x86_64
  • Fedora 36 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

@aufover/cswrap

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • EPEL 7 : x86_64
  • EPEL 8 : x86_64
  • Fedora 35 : x86_64
  • Fedora 36 : x86_64
  • Fedora rawhide : x86_64

@aufover/divine

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 35 : x86_64
  • Fedora 36 : 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 35 : x86_64
  • Fedora 36 : 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 35 : x86_64
  • Fedora 36 : 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 35 : x86_64
  • Fedora 36 : x86_64
  • Fedora rawhide : x86_64

@aufover/simplified-rpms

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 35 : x86_64
  • Fedora 36 : x86_64
  • Fedora rawhide : x86_64

@aufover/symbiotic

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 35 : x86_64
  • Fedora 36 : x86_64
  • Fedora rawhide : x86_64