poitin / Distiller

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

poitin/Distiller Issues

Distiller generates a huge number of equal-modulo-renaming functions
Closed 2 years ago2
Matrix multiplication distillation does not terminate
Closed 2 years ago1
Commutativity of addition does not terminate
Closed 2 years ago3
Too many `f` names
Closed 2 years ago1
Strange results for map with accumulator
Closed 2 years ago1
`nrev2`: incorrect residual program
Closed 2 years ago2
Incorrect distillation result from simple multiplication function
Closed 2 years ago2
Distiller means that X·1 ≡ 0·X
Closed 3 years ago6
Distillation of composition of map and fold over tree does not terminate
Closed 3 years ago2
Incorrect order of reduction
Closed 3 years ago2
Result of distilling map . rev seems wrong
Closed 3 years ago1
Distillation failed: "Prelude.head: empty list"
Closed 3 years ago1
Distillation failed: "Non-exhaustive patterns in function distill"
Closed 3 years ago1
List fold-map composition distillation problem
Closed 3 years ago2
Termination problem on tree-transformation program
Closed 3 years ago3