symdiff

symdiff copied to clipboard

Building with modern tools

1

Hello, I am interested in using SymDiff in a project, but I ran into issues when trying to build the project. I have tried to build the project using dotnet,...

markxb

SymDiff does a lot of dumping and reparsing of Boogie programs, which seems be where the tool spends most of its time. This happens in multiple places, including when SymDiff...

zafer-esen

made a typo in the previous PR.

typerSniper