Fixed check-positive-types-actuals when ndecl and decl are in the same current
module; was ignoring ndecl positive types in this case.
Merge remote-tracking branch 'origin/master'
Fixed the wrong background color
added pvs-gui link
Merge branch 'master' of https://github.com/samowre/PVS
Added help...also a few bug fixes.
bug fix
bug fix
bug fixes
changes in main.py
main changed
main changed
bug fix