Skip to content

Booster implies: discharge leftover consequent obligations under the antecedent via SMT - #4156

Merged
ehildenb merged 9 commits into
masterfrom
implies-reasoning
Jun 18, 2026
Merged

Booster implies: discharge leftover consequent obligations under the antecedent via SMT#4156
ehildenb merged 9 commits into
masterfrom
implies-reasoning

test/rpc-server/implies: migrate response goldens to the status field

6473f41
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar