This is not directly related to the compiler tickets; this is only for quickly switching, since users might want to switch to refine theories in other backends.
This also might just be an easy stop gap to provide users now, and later we use it to switch mode+invoke compiler all at once easily.
thoughtpolice
commented
11 years ago
Includes things like C, SBV, VHDL, etc.
This is not directly related to the compiler tickets; this is only for quickly switching, since users might want to switch to refine theories in other backends.
This also might just be an easy stop gap to provide users now, and later we use it to switch mode+invoke compiler all at once easily.