Mentions légales du service

Skip to content

Improve TryWhy3

Guillaume Melquiond requested to merge trywhy3-formats into master

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.

Edited by Guillaume Melquiond

Merge request reports