projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e233774) | patch
Fix type checking of to_real (#1127)
authorMartin Brain <martin.brain@cs.ox.ac.uk>
Wed, 27 Sep 2017 03:00:17 +0000 (20:00 -0700)
committerAndres Noetzli <noetzli@stanford.edu>
Wed, 27 Sep 2017 03:03:31 +0000 (20:03 -0700)
commitf82e4308d1f1b8cc033ca6bfd70e707e4695a47d
tree421c33ec98e4ac2104671a6ee28a9006687bf586tree
parente23377411d993e126403eb186c80f664419d512ccommit | diff
Fix type checking of to_real (#1127)

to_real takes a single argument as given in kinds.
src/theory/fp/theory_fp_type_rules.h diff | blob | history