diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2012-10-03 12:32:19 -0700 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2012-10-03 12:32:19 -0700 |
| commit | 17a14997cbcdad8bb0a435cf48dfb783ea21f3ac (patch) | |
| tree | 6fe0bd210ef15b1c57ae862087e99445f6b1bff9 /Util/Emacs | |
| parent | f8d1b56b3ea802d196c8fbe3421ed774a373008c (diff) | |
bunch of refactorings
- moved doomed and predication code into separate projects;
for doomed there is a static dependency from BoogieDriver
but for predication even that dependency has been eliminated
- deleted Provers\Simplify and Provers\Z3
- removed Provers\Z3api from the solution
- consolidated Core\GraphAlgorithms.cs VCGeneration\GraphAlgorithms.cs into Graph\Graph.cs
Diffstat (limited to 'Util/Emacs')
0 files changed, 0 insertions, 0 deletions