summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sets/int-real-univ.smt2
AgeCommit message (Expand)Author
2021-11-08sets: Rename kinds with a more consistent naming scheme. (#7595)Aina Niemetz
2020-10-05Remove subtyping for sets (#5205)mudathirmahgoub
2017-04-21Handle subtypes in sets. Bug fixes for tuples with subtypes.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback