Name | Last commit | Last update |
---|---|---|
.. | ||
API.md | ||
DEPLOY.md | ||
EDSL.md | ||
STRUCTURE.md |
* `docs/DEPLOY.md`: Deployment instructions * `docs/STRUCTURE.md`: File structure * Minor fixes in `README.md`, `Z3/API.hs`, `Normalizer.hs` * Deleted old `.gitmodules`
Name | Last commit | Last update |
---|---|---|
.. | ||
API.md | ||
DEPLOY.md | ||
EDSL.md | ||
STRUCTURE.md |