kenmcmil / ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Other
77 stars 24 forks source link

AttributeError: 'IsolateDef' object has no attribute 'create_isolate' #44

Open ArneVogel opened 2 years ago

ArneVogel commented 2 years ago

I get the above error when trying to use ivy following the instructions at: http://microsoft.github.io/ivy/install.html

Command to trigger the error ivy doc/examples/client_server_example.ivy

The error occurs both when installing from source or installing the binary with pip; both on ubuntu 20.04 and an arch based system.

Full output below

Traceback (most recent call last):
  File "/usr/bin/ivy", line 10, in <module>
    sys.exit(main())
  File "/usr/lib/python2.7/site-packages/ivy/ivy.py", line 14, in main
    ui_main_loop(ivy_init())
  File "/usr/lib/python2.7/site-packages/ivy/ivy_init.py", line 106, in ivy_init
    source_file(fn,f,**skwargs)
  File "/usr/lib/python2.7/site-packages/ivy/ivy_init.py", line 72, in source_file
    ivy_load_file(f,**kwargs)
  File "/usr/lib/python2.7/site-packages/ivy/ivy_compiler.py", line 2301, in ivy_load_file
    ivy_compile(decls,**kwargs)
  File "/usr/lib/python2.7/site-packages/ivy/ivy_compiler.py", line 2239, in ivy_compile
    iso.create_isolate(isolate.get(),mod,**kwargs)
AttributeError: 'IsolateDef' object has no attribute 'create_isolate'
nano-o commented 2 years ago

You could try one of the docker setups here if you're having trouble running Ivy: https://github.com/nano-o/ivy-docker

ArneVogel commented 2 years ago

You could try one of the docker setups here if you're having trouble running Ivy: https://github.com/nano-o/ivy-docker

thanks


Also an update to the report: ivy_check and ivy_to_cpp seem to work fine. It's just the ivy command that seems to be broken for me.

nano-o commented 2 years ago

Ah okay, I didn't get that. I never use the ivy command and I'm not sure what it's supposed to do.

kape1395 commented 2 years ago

The same problem with the ivy command here.

TonyZhangND commented 2 years ago

Same issue experienced on both OSX and Ubuntu

NamrathaG commented 2 years ago

Same issue on Windows

VSEJGFB commented 2 years ago

Same issue on Ubuntu.