sssp (Bellman-Ford) demo added
a little refactoring stuff in ./applications/demos/graph concerning verification procedure
a little refactoring stuff in ./applications/demos/graph concerning verification procedure
some optimizations applied to sssp code, verification is failing due to race conditions
SSSP (Bellman-Ford) demo completed; test verified on up to --scale=20 graphs
1. Verification approach is refactored, made common for all tests (bfs, bfs_spmd, sssp); common.hpp removed, instead added bfs.hpp and sssp.hpp. 2. Tabs are replaced with double spaces.
Merge pull request #153 from alexfrolov/master

SSSP Bellman-Ford implementation