Fix bugs on exception trace; Add assertion on vertex value and outgoing messages
Fix style issues in PR
Merge pull request #25 from tbq/master

Fix bugs on exception trace; Add assertion on vertex value and outgoing ...
Merge pull request #24 from vikeshkhanna/master

End-to-end message and vertex violations
Merge pull request #26 from vikeshkhanna/master

Fixing Destination->Vertex Value in vertex violations
Reorganize backend
TestCaseGenerator refactoring.
Reorganize plugin
Merge pull request #27 from vikeshkhanna/master

Refactoring editor code, stabilising debugger and fixing issues and adding the coloring for vertex violations
Refactor
Refactor
Merge pull request #29 from vikeshkhanna/master

Adding edgeValue feature to the core editor API.
Merge pull request #28 from tbq/master

Refactor
Adding retries for all AJAX calls, and noty for graceful notification of AJAX failures
Removing vim swap files and adding ignore in .gitignore