src/main/java/leon/codegen/runtime/Tuple.java · b02471be50c7aa3896e13d8bbf0e59a56e7c5d08 · LARA / inox

11 years ago

Proper hashing for records in codegen. · b02471be

Philippe Suter authored 11 years ago

This commit introduces a proper hashCode function for case classes and
tuples used in codegen. It also changes the internal datastructure for
maps and sets from TreeX to HashX.

b02471be

History

Proper hashing for records in codegen.

Philippe Suter authored 11 years ago

This commit introduces a proper hashCode function for case classes and
tuples used in codegen. It also changes the internal datastructure for
maps and sets from TreeX to HashX.