RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard

Published 20 hours ago • verified publisher icon AdaCore

Improve integer conversions in code generation

Open treiher opened this issue 4 years ago • 0 comments

The typing information in expressions should be used to only convert integers in the generated SPARK code when it is necessary.

treiher avatar Nov 26 '20 15:11 treiher