<commit_before># 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).<commit_msg>Correct tense in project description.<commit_after># 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).
{'fraction_non_alphanumeric': 0.10984540276647681, 'fraction_numerical': 0.0, 'mean_word_length': 5.212121212121212, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 6, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2419204', 'n_tokens_mistral': 360, 'n_tokens_neox': 340, 'n_words': 117}