-
Andre Maroneze authored
Fix a soundness bug when initializing rationals from integers See merge request frama-c/frama-c!2699
e827554a
To find the state of this project's repository at the time of any of these versions, check out the tags.
Fix a soundness bug when initializing rationals from integers See merge request frama-c/frama-c!2699