minotaur-toolkit/minotaur

This is stars and forks stats for /minotaur-toolkit/minotaur repository. As of 02 May, 2024 this repository has 75 stars and 1 forks.

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer A description of how Minotaur works can be found in https://arxiv.org/abs/2306.00229. Build Minotaur using Docker To build the docker container use: docker build -t minotaur-dev -f Dockerfile . To run the container use: docker run -it minotaur-dev bash Build Minotaur from source code The project requires cmake, ninja-build, gcc-10, g++-10, redis, redis-server, libhiredis-dev, libbsd-resource-perl, libredis-perl, libgtest-dev, and re2c as dependencies....