search

flux-rs / flux

Refinement Types for Rust
MIT License
648 stars 21 forks source link

Add support for polymorphic bit-vector sizes #674

Closed nilehmann closed 3 months ago

nilehmann commented 3 months ago

Implement polymorphic bit-vector sizes that can be automatically inferred at call sites. This allows us to define bit-vector theory functions for all sizes.