search

GaloisInc / what4

Symbolic formula representation and solver interaction library
155 stars 13 forks source link

what4: Don't annotate bound variables #245

Closed langston-barrett closed 11 months ago

langston-barrett commented 11 months ago

Fixes #244. Should result in slightly better performance for code that annotates bound variables, and prettier printing.

langston-barrett commented 11 months ago

FWIW, I've tested this against a (unfortunately, closed-source) codebase that makes heavy use of the annotation mechanism and these changes don't seem to affect its functionality (which is good).