semantic-diff topic

Awesome tools that show differences between files and folders.

mmueller2012

Community support for SemanticDiff, the programming language aware diff for Visual Studio Code and GitHub.

Sysmagine

Tools for working with KGCL

INCATools

SymDiff-Differential-Program-Verifier

boogie-org