aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax
AgeCommit message (Expand)Author
2024-11-15Fix a correction in the location identification in the unused variable parserChimrod
2024-11-15Added a global check reporting variables only readsChimrod
2024-09-15Uses std library instead of implementing itChimrod
2024-06-15Cleanup the codeChimrod
2024-06-15Better type handlingChimrod
2024-06-11New tests and more typecheckChimrod
2024-06-11Regression in the latest modificationsChimrod
2024-06-06Forgot the case where + is used as a concatenation operatorChimrod
2024-06-05Typeof: Do not raise warning when assigning an integer in a string variableChimrod
2024-06-04Enforced the type_of checkerChimrod
2024-03-28Raise the message level from Warning to Error for duplicated predicates checkChimrod
2024-03-27New test for duplicates evalutations in the codeChimrod
2024-03-15Added eq and hash functions in the Ast.ExpressionChimrod
2024-02-08Ignore the global checkers if there is a syntax error; ignore error during re...Chimrod
2024-02-08Added a new check to ensure that every call to another location points to an ...Chimrod
2024-02-08Added a general context for each testChimrod
2024-02-08Updated the interface for default expression analyzerChimrod
2024-01-18Change STATTXT into an identifier instead of a functionChimrod
2024-01-15Do not raise type error on dyneval functionChimrod
2024-01-14Report as a Warn error when an string is assigned in an Int variableChimrod
2023-12-07QSPVER was incorrectly considered as a function and not a keywordChimrod
2023-11-15Added a functor for creating a lazy version of an Expression moduleChimrod
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-06In the string expression simplification, only report the strings converted in...Chimrod
2023-11-04Allow test to be enabled or disabled by command lineChimrod
2023-11-04List all the available tests on command lineChimrod
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-02Updated the interfaceChimrod
2023-11-02Updated the testsChimrod
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-18Used the dead-end checker in main analysisChimrod
2023-10-18Removed unused commentChimrod
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-18 13:07:56 +0000