Skip to content

Explore Compare Saved

DevHubBuilt for curious developers. Data from GitHub.

Back to repositories

Public repository / fvutils

dv-solve

Constraint solver focused on the needs of verification

1Stars

0Forks

0Open issues

0Subscribers

Language distribution

Share of source bytes reported by GitHub

C38%

SMT36%

Python24%

SystemVerilog1%

CMake<1%

Shell<1%

Verilog<1%

Recent activity

Latest commits on the default branch

Scope nightly tool checks to the suites actually run; re-pin yosys-binmballance · Oct 13, 2026 Malloc lifecycle analysis, allocation tracer and survey appendicesmballance · Oct 12, 2026 NoOverlap2D: energetic scratch in the propagator, no allocation per firemballance · Oct 12, 2026 Fix unsound and unsafe allocation paths found by the malloc survey (B122-B126)mballance · Oct 12, 2026 SMT2 reset: arena reuses its blocks; rewrite cache in its own arena (B120, B121)mballance · Oct 12, 2026 Dynamic pool plan: follow-ups progress and logmballance · Oct 12, 2026 LCG: clause-pointer array and analysis scratch from the context's allocator

Project details

Created Apr 2026 Updated Oct 2026 Apache License 2.0

Contributors

1

mballance258 commits

mballance · Oct 12, 2026

Incremental add: problems read only during the call; ids, widths and names checked first (B117, B118, B119)mballance · Oct 12, 2026

NoOverlap2D: sized to its rectangle count, past 64 rectanglesmballance · Oct 12, 2026

Checkpoints nest past 32: growable checkpoint stack and level arraysmballance · Oct 12, 2026