Keep more super-fit individuals in genetic synthesis
Fix buffer overflow in genetic synthesiser
Dedup programs when doing genetic synthesis
Tweaked killing logic in genetic synthesis
Turn off floating point
Re-enable explicit enumerating synthesiser
Clean up subprocesses if interrupted by ctrl-c
Fix bug in genetic synthesiser
Add simulated annealing synthesiser
Move performance counter
Fix bug in genetic synthesis's crossover operator
Tweak simulated annealing parameters
Run simulated annealing synthesiser
Remove smt2 from cbmc flags
Restart annealing when it gets too cold
Stop genetic synthesis early if no improvements have been found for a
while