aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/check.mli
AgeCommit message (Expand)Author
2024-02-08Added a general context for each testChimrod
2023-11-04List all the available tests on command lineChimrod
2023-10-25Updated the documentationChimrod
2023-10-25Refactoring the APIChimrod
2023-10-18Applied this new way to check the errors in the main codeChimrod
2023-10-18New checker which operate accumulate differents other checkersChimrod