• Robbert Krebbers's avatar
    Solve atomic also using reification/vm_compute. · 2966b4da
    Robbert Krebbers authored
    I also reverted 7952bca4 since there is no need for atomic to be a
    boolean predicate anymore. Moreover, I introduced a hint database
    fsaV for solving side-conditions related to FSAs, in particular,
    side-conditions related to expressions being atomic.
    2966b4da
sts.v 1.84 KB