# About

The goal of this project is to give a complete executable semantics to the [LLVM assembly language](http://llvm.org/docs/LangRef.html) (LLVM IR). The language will be defined in the [K Semantic Framework](http://k-framework.org).

# Contributing

This project is available on [GitHub](https://github.com/davidlazar/llvm-semantics) and [Bitbucket](https://bitbucket.org/davidlazar/llvm-semantics/). You may contribute changes using either.

Please report bugs and feature requests using the [GitHub issue tracker](https://github.com/davidlazar/llvm-semantics/issues).

# About

The goal of this project is to give a complete executable semantics to the [LLVM assembly language](http://llvm.org/docs/LangRef.html) (LLVM IR). The language is being defined in the [K Semantic Framework](http://k-framework.org).

# Contributing

This project is available on [GitHub](https://github.com/davidlazar/llvm-semantics) and [Bitbucket](https://bitbucket.org/davidlazar/llvm-semantics/). You may contribute changes using either.

Please report bugs and feature requests using the [GitHub issue tracker](https://github.com/davidlazar/llvm-semantics/issues).

Correct tense in project description.
Correct tense in project description.
