Search
17:42:39
pfdietz
Interesting work in SMT-based superoptimization these days.
17:43:41
scymtym
definitely. my stuff is less ambitious (and has to be since i provide the solver)
4:20:41
beach
Good morning everyone!
4:21:38
beach
scymtym: Nice decision tree. I take it it is good that it is shallow and wide, right?