Skip to content

v0.1.0

Choose a tag to compare

View all tags
@alok alok released this 26 Dec 06:12
· 1 commit to main since this release
v0.1.0
01a91ce

Initial release of BitFieldVisualizer for Lean 4.

Features

  • Visual bitfield display - Color-coded bits (green=set, gray=unset) with index labels
  • Custom labels - Name individual bits like LOCKED, DIRTY, REFERENCED
  • Descriptions - Hover tooltips for detailed bit documentation
  • Bitwise operations - Visualize AND, OR, XOR, NOT, shifts with change highlighting
  • Composable API - Type class, builder pattern, and combinators for custom visualizations
  • Deriving handler - Auto-generate ToBitField instances from Bool structures

Requirements

  • Lean 4.26.0+
  • ProofWidgets4 v0.0.83
Assets 2
Loading