Age | Commit message (Expand) | Author |
---|---|---|
2021-06-30 | Do not apply fmfBound to standard quantifiers when only stringsExp is enabled... | Andrew Reynolds |
2021-04-25 | More check models (#6439) | Andrew Reynolds |
2020-01-04 | Fix finiteness check for bounded fmf (#3589) | Andrew Reynolds |
2019-12-10 | Allow unsat cores with sygus inference (#3550) | Andrew Reynolds |
2019-12-09 | Fix case of uninterpreted constant instantiation in FMF (#3543) | Andrew Reynolds |