aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-11-13Simplified the representation of expressions in stringsChimrod
2023-11-09Made the compose evaluation lazyChimrod
2023-11-09Added a way to compose a test with another oneChimrod
2023-11-09Added a testChimrod
2023-11-06In the string expression simplification, only report the strings converted in...Chimrod
2023-11-05Fixup in the --help messageChimrod
2023-11-04Allow test to be enabled or disabled by command lineChimrod
2023-11-04List all the available tests on command lineChimrod
2023-11-03Removed the interractive command line optionChimrod
2023-11-03Added the /= operatorChimrod
2023-11-03Extracting the report from the Location checker is now in it’s own functionChimrod
2023-11-02Added a new checkers for unecessary use of strig containing an escaped expres...Chimrod
2023-11-02Managed the strings in stringsChimrod
2023-11-02Added tests for the nested literal mecanismChimrod
2023-11-02Updated the interfaceChimrod
2023-11-02Set up a context for parsing the literal stringsChimrod
2023-11-02Updated the testsChimrod
2023-11-02Updated the way to process the stringsChimrod
2023-11-02Used the same state for the expression levelsChimrod
2023-10-30Added a state in the string evaluationChimrod
2023-10-30Removed unused tokensChimrod
2023-10-26Update the documentation in the parserChimrod
2023-10-25Updated the documentationChimrod
2023-10-25Now I have the API I want. Everything is abstract in the type S.AnalyzerChimrod
2023-10-25Refactoring the APIChimrod
2023-10-21Updated the type checker in a more precise wayChimrod
2023-10-21Updated the testsChimrod
2023-10-21Update the readmeChimrod
2023-10-18Update documentationChimrod
2023-10-18Used the dead-end checker in main analysisChimrod
2023-10-18New message for errorChimrod
2023-10-18Removed unused commentChimrod
2023-10-18Also used the new Check modulein the testsChimrod
2023-10-18Applied this new way to check the errors in the main codeChimrod
2023-10-18New checker which operate accumulate differents other checkersChimrod
2023-10-18Used the type S.repr in Syntax/Location.tChimrod
2023-10-18Made the interface more parametrizedChimrod
2023-10-18Added an interface for the type_of syntax moduleChimrod
2023-10-18Made explicit the use of the report in the parserChimrod
2023-10-15Updated the common interface in order to require the reportChimrod
2023-10-15Made the report result explicit in parsingChimrod
2023-10-15Switched the keyword from string to a sum typeChimrod
2023-10-15New analyzer for the dead endChimrod
2023-10-15Added default syntax implementationChimrod
2023-10-15New errors reportedChimrod
2023-10-15Added a new error caseChimrod
2023-10-07Added the error message in case of unclosed quote in a textChimrod
2023-10-06Moved qparser and syntax in the library folderChimrod
2023-10-05Two new error messagesChimrod
2023-10-05Added a new error messageChimrod