Improve the performance of the tool

hephaestus-compiler-project / hephaestus

A framework for testing compilers' type checkers

https://hephaestus-compiler-project.github.io/

GNU General Public License v3.0

49 stars 10 forks source link

Improve the performance of the tool #32

Closed theosotr closed 3 years ago

theosotr commented 3 years ago

We need to start making optimizations, because as we start adding more feature the performance of the tool drops.

StefanosChaliasos commented 3 years ago

It will be a good idea to profile the tool and create a list with functions that take much time. In some cases, we may need to redesign a few things, which may not be trivial.

theosotr commented 3 years ago

Based on this PR https://github.com/theosotr/check-type-system/pull/33, we removed some bottlenecks. If we face performance problems again, we will re-open this issue.