mirror of
https://github.com/AdaCore/alt-ergo.git
synced 2026-02-12 12:39:26 -08:00
* Add feature to parse a string as an input file * Add a webworker for Alt-Ergo * Add a small web example that uses the alt-ergo webworker * Add documentation for the worker and its example * Fix formatter * Add the webworker build in javascript workflow in the ci