Commit History

Author SHA1 Message Date
  Chimrod 2cad3abf18 Updated the type checker in a more precise way 1 year ago
  Chimrod 73e7e0ca6b Updated the tests 1 year ago
  Chimrod 8101e3d393 Update the readme 1 year ago
  Chimrod 234ce9447f Update documentation 1 year ago
  Chimrod 0b75cd5bc0 Used the dead-end checker in main analysis 1 year ago
  Chimrod 736456d995 New message for error 1 year ago
  Chimrod ee2cddf734 Removed unused comment 1 year ago
  Chimrod d1248cd0dd Also used the new Check modulein the tests 1 year ago
  Chimrod 28981268a4 Applied this new way to check the errors in the main code 1 year ago
  Chimrod b38bcd572d New checker which operate accumulate differents other checkers 1 year ago
  Chimrod f85abcb996 Used the type S.repr in Syntax/Location.t 1 year ago
  Chimrod f135a5fcb6 Made the interface more parametrized 1 year ago
  Chimrod 4b47c572fc Added an interface for the type_of syntax module 1 year ago
  Chimrod c2f87ff1e6 Made explicit the use of the report in the parser 1 year ago
  Chimrod a70c88bd72 Updated the common interface in order to require the report 1 year ago
  Chimrod 7f2b8c0b9f Made the report result explicit in parsing 1 year ago
  Chimrod 5a18a66763 Switched the keyword from string to a sum type 1 year ago
  Chimrod 49f69c1ab4 New analyzer for the dead end 1 year ago
  Chimrod 8ec89159f8 Added default syntax implementation 1 year ago
  Chimrod a7e382aa2b New errors reported 1 year ago
  Chimrod 617d2ee554 Added a new error case 1 year ago
  Chimrod 7ff1e525b3 Added the error message in case of unclosed quote in a text 1 year ago
  Chimrod 97ab5c9a21 Moved qparser and syntax in the library folder 1 year ago
  Chimrod 40f4dbe784 Two new error messages 1 year ago
  Chimrod 002ec21cce Added a new error message 1 year ago
  Chimrod 2602e44427 Variable shallowing made me lost somes errors. Should be better now 1 year ago
  Chimrod e8b746742f Update the compilation rule for git hash inclusion 1 year ago
  Chimrod ea509dd21e Added a small report indicating the number of errors and warning 1 year ago
  Chimrod c7683b81be Handle the case where no args are given 1 year ago
  Chimrod f21a7b0552 In windows, do not ask the user before terminating 1 year ago