https://github.com/weaversa/bitvector

A C simple bitvector library
https://github.com/weaversa/bitvector

Last synced: 19 days ago
JSON representation

A C simple bitvector library

• Host: GitHub
• URL: https://github.com/weaversa/bitvector
• Owner: weaversa
• License: bsd-3-clause
• Created: 2018-11-15T20:30:05.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-08-03T12:29:10.000Z (almost 3 years ago)
• Last Synced: 2025-02-17T08:34:21.235Z (4 months ago)
• Language: C
• Size: 99.6 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[![Build Status](https://travis-ci.com/weaversa/bitvector.svg?branch=master)](https://travis-ci.com/weaversa/bitvector)

# A Simple C Bitvector Library

This library assists in the construction and manipulation of

fixed-width bitvectors.

The main features of this library are (so far) the ability to slice

and reshape bitvectors as well as support for equality testing and the

Boolean operations AND, OR, and XOR. The full list is available here:

https://github.com/weaversa/bitvector/blob/master/src/bitvector.c

# SAW Proof

There are formal correctness proofs for every function, written in

[saw-script](https://github.com/GaloisInc/saw-script). However, the

proofs are only able to be done at specified bitvector widths.