v0.1.1

Changes

• Added Plausible property-based tests for ToBitField deriving handler
• Updated license to Apache-2.0
• Updated toolchain to 4.27.0-rc1 for Plausible compatibility
• All 15 property tests verify correct bit mapping

Test Results

All tests pass:

• Field-to-bit mapping (bits 0-3 for Flags4, bits 0,1,7 for Reg8)
• Boundary values: all-false → 0, all-true → 2^n-1
• Individual bit isolation tests

v0.1.0

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