Skip to content

A desktop app that checks if a COOL program with AUTO_TYPE new add-on for type inference is correct.

License

Notifications You must be signed in to change notification settings

2kodevs/TypeInferencer

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

49 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

A desktop app that checks if a COOL program with AUTO_TYPE new add-on for type inference is correct.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published