hamsa

KO | EN

gitlite — search

#hacktoberfest #android #machine-learning #rust #linux #docker #macos #nodejs #windows #awesome #awesome-list #vue #mcp #ios

(★ 17)

A tool to extract complexities and costs from programs and kernels

hamsa 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Hamsa
Kernels are nests of loops that process multidimensional arrays. **Hamsa** is a tool to extract kernels from programs and infer their asymptotic complexity. Figure 1 illustrates this:

For linear loop bounds, inferring the complexity is trivial. However, for non-linear bounds this task is more challenging. We intend to use the approach proposed by [Gulwani et al.](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/sas11-bound.pdf) to implement it.

<hr>

## Building the tool

First of all, you need to inform the directory where LLVM is built. You can do this by changing the value of `LLVM_BUILD_DIR` at `tool/setup.sh`.

After configuring the build dir, you can setup the tool by running this command:

./setup.sh

## Running

After you've built the tool, you can run it as a Clang plugin. However the `tool/run.sh` script makes it easier to run. You can use it like this:

./run.sh inputFile outputFile outputFormat

## Setup tutorial

You can also watch our [tutorial video](https://youtu.be/Vu9EpnKtjGU) about how to setup the tool and run it inside a Docker container.

hamsa

hamsa 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

hamsa

hamsa 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README