aboutsummaryrefslogtreecommitdiffstats
path: root/src/QInst.v
Commit message (Expand)AuthorAgeFilesLines
* Link equality on uninterpreted sorts with SMT equality (#86)ckeller2021-02-231-10/+54
* Error message to state that tactics are not supported with native-coq (#47)ckeller2019-04-121-0/+80