source/vstd/contrib · verus · Tangled

forked from verus-lang/verus

verus source vstd contrib

1 folder · 1 file

zhengyao · exec_spec macro: replace ExecSpecEq with PartialEq + ObeysDeepEq (#3351) · 2w ago

exec_spec macro: replace ExecSpecEq with PartialEq + ObeysDeepEq (#3351)

Split assume_ieee_float off into a separate pull request