adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

x64 refine: add a RefineOnly image which skips Orphanage

This commit is contained in:
Matthew Brecknell 2017-04-24 23:50:29 +10:00
parent 2c742ed2c6
commit 23057ee017
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
proof/ROOT
View File

@ -36,6 +36,11 @@ session Refine = BaseRefine +
"refine/$L4V_ARCH/Refine"
"refine/$L4V_ARCH/Orphanage"
session RefineOnly = BaseRefine +
description {* Refinement between Haskell and Abstract spec. *}
theories
"refine/$L4V_ARCH/Refine"
session RefineQD = BaseRefine +
theories [quick_and_dirty]
"refine/$L4V_ARCH/Refine"