Age | Commit message (Expand) | Author |
---|---|---|
2021-07-09 | Implement stop-only for new justification heuristic (#6847) | Andrew Reynolds |
2021-05-27 | Enable new justification heuristic by default (#6613) | Andrew Reynolds |
2021-05-24 | Implementation of the new justification heuristic (#6465) | Andrew Reynolds |