Write the code to get the variable location (col) in the claim
Modifying how get the variable location in the claim
Updated the GetDataClaim and Starting to isolate the data pointed in the claim
Update how get the object in the claim and starting the claim translation
Starting testing with grammar to gather data claim
Testing BNF grammar
Write code to isolate data claim to UPPER and LOWER bound
New tags to claims translation added
CSV output added in the claim translation
Starting code write to pretty print and organize folders
Created the base of the structure to execute jfortes

It was create the main file to execute jfortes, and also was added the test cases, as well as, a script to execute the test cases.

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Created log to claims translation

It was added in jfortes a input arg to execute only the claim translation, which the output is as following: Program ; NOT translation ; INCOMPLETE translation ; FAILED translation ; OKAY translation.

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
New test cases and preprocessing step added

New test cases and preprocessing step added in jfortes. Addtionally, it was added a trigger to handle with expections in the calling of the claim translation.

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>
Updating in translation rules and test cases log added

The following rules were added in JFORTES: Constraint; NonNullInit; and Exception. In the project was added the log with the data about the experiments executed adopting the test cases in the project.

Signed-off-by: Herbert <herberthb12@gmail.com>