PropR
PropR copied to clipboard
Tritlo
Genetic program repair using GHC
By using a spectrum-based approach, we get a lot more information on what to repair beyond the current "target anything that has been touched" approach.
In CSI: Haskell, we get a runtime trace whenever we encounter an error. By integrating these into PropR, we should be able to do a lot better when repairing programs...
We are currently using very naive hole-based synthesis. We could integrate the ECTA-based synthesis of expressions for typed-holes as used in the Spectacular paper.
Currently, PropR works on a per-module basis. For PropR to be viable on big project, users must be able point it to a *package*, and PropR will then: 1. Inspect...
Similar to excluding targets, i think it would be good to blacklist certain hole-fits. Things I would consider are e.g. `id` or `discard`.
We have quite some elements around different GHC related things. I just want to have a short issue where we cover the tasks for the migration: - [ ] Issue...
They've inexplicably removed GHC 8.10 from the Haskell build server, and moved straight on to GHC 9.2
Since we only evaluate the counter-example and a shrunk counter-example at that, we might be missing important branhces when using pre-computed fixes. So it's not neccessarily sound as a default...
We now show only the top line, but we should be showing the removal of all the lines.