Skip to content

Fixed point overflow detection in CVC3

Matthew Dawson requested to merge matthew/jtet:fp_overflow into master

This set of commits adds fixed point overflow in CVC3 (the only generator with fixed point support right now). It generates extra TCCs for each operation performed.

Merge request reports