Age | Commit message (Expand) | Author |
---|---|---|
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 |