projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 108b8aa) | patch
Change how RANs are printed (#7955)
authorGereon Kremer <gkremer@stanford.edu>
Sat, 15 Jan 2022 03:17:29 +0000 (19:17 -0800)
committerGitHub <noreply@github.com>
Sat, 15 Jan 2022 03:17:29 +0000 (03:17 +0000)
commit558e2a06bdd961d906c265c4fbd3abbc85ed48a3
treef989d7cb3769cab3376f61b8faaea17f6847886dtree
parent108b8aa42f15b021d351790b36e2ece958871db8commit | diff
Change how RANs are printed (#7955)

This PR adds real algebraic number as a special case in the smt2 printer.
src/printer/smt2/smt2_printer.cpp diff | blob | history