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 set VIS_LIBRARY_PATH=$cwd/share Installing vl2mv: ---------------- Follow instructions in the README file in http://vlsi.colorado.edu/~vis/vis_files_2.4.html "make check" will fail since the vl2mv-2.4/examples folder is empty. Don't worry about that
* 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