-
Simon Morlat authored
optimize memory allocations by using a vector of assignments which is cleaned() in case of rule aborted, instead of context created and spliced to parent at each stage.
734c22de
optimize memory allocations by using a vector of assignments which is cleaned() in case of rule aborted, instead of context created and spliced to parent at each stage.