Search
17:34:30
scymtym
i made some progress on my SMT-based dispatch: https://techfak.de/~jmoringe/dispatch-example/text.html
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?