Skip to content

Latest commit

 

History

History
30 lines (17 loc) · 1.06 KB

README.md

File metadata and controls

30 lines (17 loc) · 1.06 KB

TypeInferencer

This project verifies if a Cool program is correct and shows the AST variables, context and scope of the resulting analysis. It also adds the AUTO_TYPE feature to Cool to be able to ignore the type declaration. :

Starting

To use the project, clone it or download it to your local computer.

Requirements 📋

It is necessary to have python v-3.7.2, pydot, eel andchrome or chromium installed to make full use of the application's functionalities.

Installation 🔧

To execute the project, just open the console from the root location of the project and execute:

python main.py

It is important to note that the symbols of the code must be inserted with a blank space separating them.

Authors ✒️

  • Miguel Tenorio Potrony -- AntiD2ta
  • Lazaro Raul Iglesias Vera -- e1Ru1o

License 📄

This project is under the License (MIT License) - see the file LICENSE.md for details.