3 Commits

Author	SHA1	Message	Date
Daniel Matichuk	df7693b687	refinement refactor: up to resolve_address_bits ... Proofs have been refactored to use new corres methods, including marking rules with the [corres] attribute so they are automatically applied. VER-737	2017-03-28 22:37:34 +11:00
Daniel Matichuk	2ac4fa3509	corres_method: use corres method by default	2017-02-15 15:00:23 +11:00
Rafal Kolanski	7657681fca	move refine/* to refine/ARM/*, parametrise over $L4V_ARCH	2017-01-30 12:22:22 +11:00