extend weakmem to hoare/choare/ehoare/equiv #490

Closed bgregoir closed 11 months ago