halmos icon indicating copy to clipboard operation
halmos copied to clipboard

Incremental verification

Open 0xkarmacoma opened this issue 8 months ago • 0 comments

Quick note: cache queries across builds of the same project

Is your feature request related to a problem? Please describe. A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Describe the solution you'd like A clear and concise description of what you want to happen.

Describe alternatives you've considered A clear and concise description of any alternative solutions or features you've considered.

Additional context Add any other context or screenshots about the feature request here.

0xkarmacoma avatar Jun 06 '24 00:06 0xkarmacoma