Skip to content
Snippets Groups Projects
Select Git revision
  • ci
  • master default protected
  • debug-partition-size
  • wta-generator
  • fixes
  • bench-hex
  • ci-artifacts
  • new-monoids
  • stack
  • sumbag
  • tutorial
  • web
  • features/disable-sanity
  • ghc-8.4.4
  • linux-bin-artifacts
  • syntax-doc
  • ci-stack
  • rationals
  • double-round
  • init-time
  • group-weight
21 results

MonoidValued.hs

Blame
  • hoard.py 602 B
    import src.allocator
    
    
    version = 2.7
    sources = src.allocator.Allocator_Sources("Hoard",
                retrieve_cmds=["git clone https://github.com/emeryberger/Hoard.git"],
                reset_cmds=["git stash"])
    
    class Hoard (src.allocator.Allocator):
        """Hoard definition for allocbench"""
        def __init__(self, name, **kwargs):
    
            kwargs["sources"] = sources
            kwargs["LD_PRELOAD"] = "{srcdir}/src/libhoard.so"
            kwargs["build_cmds"] = ["cd {srcdir}/src; make", "mkdir -p {dir}"]
            kwargs["patches"] = ["{patchdir}/hoard_make.patch"]
    
            super().__init__(name, **kwargs)