def main():
ivy_init.read_params()
iu.set_parameters({'show_compiled':'true'})
if len(sys.argv) != 2 or not sys.argv[1].endswith('ivy'):
print "<bhavya> in ivy_show"
usage()
with im.Module():
with utl.ErrorPrinter():
ivy_init.source_file(sys.argv[1],ivy_init.open_read(sys.argv[1]),create_isolate=False)
check_module()
def main():
ivy_init.read_params()
if len(sys.argv) != 2 or not sys.argv[1].endswith('ivy'):
usage()
with im.Module():
with utl.ErrorPrinter():
ivy_init.source_file(sys.argv[1],
ivy_init.open_read(sys.argv[1]),
create_isolate=False)
check_module()
print "OK"
def main():
ivy_init.read_params()
if not sys.argv[1].endswith('ivy'):
usage()
for i in range(2, len(sys.argv)):
st = sys.argv[i].split('=')
instance[st[0]] = eval(st[1])
with im.Module():
with utl.ErrorPrinter():
with iu.SourceFile(sys.argv[1]):
decls = read_module(ivy_init.open_read(sys.argv[1]))
translate(decls)
def main():
import signal
signal.signal(signal.SIGINT,signal.SIG_DFL)
import ivy_alpha
ivy_alpha.test_bottom = False # this prevents a useless SAT check
ivy_init.read_params()
if len(sys.argv) != 2 or not sys.argv[1].endswith('ivy'):
usage()
with im.Module():
with utl.ErrorPrinter():
ivy_init.source_file(sys.argv[1],ivy_init.open_read(sys.argv[1]),create_isolate=False)
check_module()
print "OK"