Anitha B Gollamudi issues

Repositories
Issues
Comments

Results 2 issues of


                                            Anitha B Gollamudi

Opening a FStar file raises an exception

On my Macbook, opening any .fst file using 'vim' gives this error. ``` Error detected while processing /Users/anithagollamudi/.vim/bundle/VimFStar/ftplugin/fstar.vim: line 47: Traceback (most recent call last): File "", line 1, in...

metaSMT build error on Mac OSX

After building dependencies, I proceeded to build metaSMT. (cd $metaSMT/build; make). This gives me the following error. How to fix this issue? My compiler specs are also given below. ##...