About

Metadata

  • Last updated , by KevinQuick
  • License BSD-3-Clause
  • Categories Development
  • Maintained by: kquick@galois.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.6.3
  2. 9.4.6
  3. 9.2.8
  4. 9.0.2
  5. 8.10.7
  6. 8.8.4

Package Flags

Use the -f option with cabal commands to enable flags

    debug (off by default)

    build with debug output and panics enabled

Readme

Provides a demangler (and mangler) for C++ names, with an intermediate representation that captures the nuances of each composite name to allow for semantic utilization of different portions of a name. . Also provides text sharing for efficient storage of a large number of demangled names. . See https://itanium-cxx-abi.github.io/cxx-abi/abi.html#mangling for more details on mangling