aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/check.mli
AgeCommit message (Collapse)Author
2024-12-02Moved the checks in a dedicated libraryChimrod
2024-09-15Uses std library instead of implementing itChimrod
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