diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2023-08-08 19:37:54 +0200 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2023-08-08 19:37:54 +0200 |
| commit | 7fb2e47c13f798511b0fa6b47c34f53d42c00f34 (patch) | |
| tree | 13ca537dd08067933cb5d9cdcf95cd845f5df205 /subprojects/store-dse/src/main/java/tools | |
| parent | Added two build tests for custom coding and equivalence checking algorithms. (diff) | |
| download | refinery-7fb2e47c13f798511b0fa6b47c34f53d42c00f34.tar.gz refinery-7fb2e47c13f798511b0fa6b47c34f53d42c00f34.tar.zst refinery-7fb2e47c13f798511b0fa6b47c34f53d42c00f34.zip | |
ObjectCodeImpl.effectiveSize introduced to correctly handle models with different indices.
Diffstat (limited to 'subprojects/store-dse/src/main/java/tools')
0 files changed, 0 insertions, 0 deletions