cucapra / cucapra/baa

Allow zero-sized `BitVecValue`

Open
#4 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
9
Forks
2
Avg merge
2h 43m
Merged PRs (30d)
1

Description

Those are useful as the base case for things like `fold` when you are concatenating elements from an iterator.

On top of that, I'd make the zero-sized `BitVecValue` the `Default`.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.