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)