Improve TryWhy3
This pull request fixes various issues with TryWhy3. Most notably, it implements support for multiple input formats, e.g., micro-C, and a much better undo/redo system.
This pull request fixes various issues with TryWhy3. Most notably, it implements support for multiple input formats, e.g., micro-C, and a much better undo/redo system.