search

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

Compute transformation schedule based on a probabilistic function #14

Closed theosotr closed 3 years ago

theosotr commented 3 years ago

Some transformations are not meaningful if they are applied before others. For example, it's meaningless to apply TypeArgumentErasure before ParameterizedSubstituion. Similarly, ValueSubstitution and TypeWidening are only meaningful if they are already some parent-child classes in the program.

Our tool needs to select the next transfromation to apply based on a specific probabilistic function. This function should consider the transformation that have been applied so far.

StefanosChaliasos commented 3 years ago

@theosotr any update?

theosotr commented 3 years ago

backlog

theosotr commented 3 years ago

Close this because we don't support transformations.