Commit 7f1c3933 authored by Yi Lin's avatar Yi Lin

Merge branch 'defuse' into 'master'

freeze heuristics, slight change to tree gen

See merge request !51
parents 37c19daa bf9d1668
Pipeline #1266 passed with stages
in 51 minutes and 17 seconds