added a diff view that shows the difference between elements across versions of the dump info file
fix self-crit
Fix several bugs found by the analyzer
remove duplicate label in diff view
Merge branch 'master' into diff
fixed florians comments
add tests for diffing and my async functions