Age | Commit message (Expand) | Author |
---|---|---|
2020-10-05 | Recover from some exceptions. (#5203) | Abdalrhman Mohamed |
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz |
2019-06-04 | Add check that result matches benchmark status (#3028) | Andres Noetzli |