18/01/2016: ----------- Installing VIS model checker ---------------------------- Download from: http://vlsi.colorado.edu/~vis/vis_files_2.4.html Note: First do the installation of glu and then install vis or vl2mv (order doesn't matter) Installation: Follow the steps in the VIS README file in http://vlsi.colorado.edu/~vis/vis_files_2.4.html Pitfalls: Dont extract the vis and glu .tar.gz files using gui. Instead use the commands given below % gzip -dc /tmp/glu-2.4.tar.gz | tar xf - % gzip -dc /tmp/vis-2.4.tar.gz | tar xf - Setting environment for VIS ...
* Changing the tab width to 4 spaces permanenlty Add the following to .vimrc (create one if not found in ~/) filetype plugin indent on " show existing tab with 4 spaces width set tabstop=4 " when indenting with '>', use 4 spaces width set shiftwidth=4 " On pressing tab, insert 4 spaces set expandtab Ref: http://stackoverflow.com/questions/234564/tab-key-4-spaces-and-auto-indent-after-curly-braces-in-vim Indenting a block of codes in Vim V j j > Ref: http://stackoverflow.com/questions/235839/indent-multiple-lines-quickly-in-vi