Age | Commit message (Expand) | Author |
---|---|---|
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz |
2014-07-10 | membership cvc token changed to `IS_IN' to avoid conflict with IN used for let | Kshitij Bansal |
2014-07-09 | sets cvc parser | Kshitij Bansal |