# hacspec library


[![crates.io][crate-lib]](https://crates.io/crates/hacspec-lib) 
[![Docs][docs-image]](https://hacspec.github.io/hacspec/hacspec_lib/index.html)
[![Build & Test Status][build-image]][build-link]

This is the hacspec standard library for hacspec programs.

### Print attributes and statistics

Using the `attributes` crate, we can monitor the number of functions in each
category : primitive, external, library, to remove, internal.

To get the statistics simply use

    bash get_func_stats.sh

*Note* : you need to have the nightly Rust toolchain installed to enable
this feature. Install it using :

    rustup toolchain install nightly

[//]: # (badges)

[crate-lib]: https://img.shields.io/crates/v/hacspec-lib.svg?logo=rust
[docs-image]: https://img.shields.io/badge/docs-master-blue.svg?logo=rust
[build-image]: https://github.com/hacspec/hacspec/workflows/Build%20&%20Test/badge.svg?branch=master&event=push
[build-link]: https://github.com/hacspec/hacspec/actions?query=workflow%3A%22Build+%26+Test%22