index
:
qsp_parser.git
master
Parser and analyzer for the QSP Language
Sébastien Dailly
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
syntax
Age
Commit message (
Expand
)
Author
2023-11-09
Made the compose evaluation lazy
Chimrod
2023-11-09
Added a way to compose a test with another one
Chimrod
2023-11-06
In the string expression simplification, only report the strings converted in...
Chimrod
2023-11-04
Allow test to be enabled or disabled by command line
Chimrod
2023-11-04
List all the available tests on command line
Chimrod
2023-11-03
Added the /= operator
Chimrod
2023-11-03
Extracting the report from the Location checker is now in it’s own function
Chimrod
2023-11-02
Added a new checkers for unecessary use of strig containing an escaped expres...
Chimrod
2023-11-02
Updated the interface
Chimrod
2023-11-02
Updated the tests
Chimrod
2023-10-25
Updated the documentation
Chimrod
2023-10-25
Now I have the API I want. Everything is abstract in the type S.Analyzer
Chimrod
2023-10-25
Refactoring the API
Chimrod
2023-10-21
Updated the type checker in a more precise way
Chimrod
2023-10-18
Used the dead-end checker in main analysis
Chimrod
2023-10-18
Removed unused comment
Chimrod
2023-10-18
Applied this new way to check the errors in the main code
Chimrod
2023-10-18
New checker which operate accumulate differents other checkers
Chimrod
2023-10-18
Used the type S.repr in Syntax/Location.t
Chimrod
2023-10-18
Made the interface more parametrized
Chimrod
2023-10-18
Added an interface for the type_of syntax module
Chimrod
2023-10-18
Made explicit the use of the report in the parser
Chimrod
2023-10-15
Updated the common interface in order to require the report
Chimrod
2023-10-15
Made the report result explicit in parsing
Chimrod
2023-10-15
Switched the keyword from string to a sum type
Chimrod
2023-10-15
New analyzer for the dead end
Chimrod
2023-10-15
Added default syntax implementation
Chimrod
2023-10-06
Moved qparser and syntax in the library folder
Chimrod