Optimize BigInteger constant computation #3453
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
lang: c#
Dafny's C# transpiler and its runtime
lang: java
Dafny's Java transpiler and its runtime
part: code-generation
Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
Summary
is compiled to a multiplication of big integers instead of in the result itself. There should be a flag to optimize constant folding so that there is only one big integer instead of a computation is has to do every time.
Background and Motivation
Every other compiler has optimization flags.
Proposed Feature
see above.
Alternatives
Writing the result is not practical.
The text was updated successfully, but these errors were encountered: