Skip to content

Releases: Certora/collections

v1.7.0

Choose a tag to compare

@ericeil ericeil released this 30 Oct 16:32
0fbf976

What's Changed

  • Fix treap map/list bugs, tighten Treapability rule, expand tests by @ericeil in #29

Full Changelog: 1.6.0...1.7.0

v1.6.0

Choose a tag to compare

@ericeil ericeil released this 27 Feb 00:42
ee8c94a

What's Changed

Full Changelog: 1.5.0...1.6.0

v1.5.0

Choose a tag to compare

@ericeil ericeil released this 07 Jan 20:50
e2d8c8e

What's Changed

Full Changelog: v1.4.0...1.5.0

v1.4.0

Choose a tag to compare

@ericeil ericeil released this 06 Jan 15:03
78857f0

What's Changed

Full Changelog: v1.3.0...v1.4.0

v1.3.0

Choose a tag to compare

@ericeil ericeil released this 19 Dec 19:48
38a54f5

What's Changed

Full Changelog: v1.2.0...v1.3.0

v1.2.0

Choose a tag to compare

@ericeil ericeil released this 14 Dec 15:35
a5f3410

What's Changed

Full Changelog: v1.1.0...v1.2.0

v1.1.0

Choose a tag to compare

@ericeil ericeil released this 09 Dec 23:56
889dfe2

What's Changed

  • Add forEachEntry and arbitraryOrNull by @ericeil in #17

Full Changelog: v1.0.2...v1.1.0

v1.0.2

Choose a tag to compare

@ericeil ericeil released this 12 Nov 20:36
01ac23a

What's Changed

  • Fix type safety issues in sorted collections by @ericeil in #15

Full Changelog: v1.0.1...v1.0.2

v1.0.1

Choose a tag to compare

@ericeil ericeil released this 23 May 20:16
1bb0beb

What's Changed

  • Fix NullPointerException in treapListOf(1).subString(1, 1) (and many other cases) by @ericeil in #16

Full Changelog: v1.0.0...v1.0.1

v1.0.0

Choose a tag to compare

@ericeil ericeil released this 21 May 16:30
840d5eb

What's Changed

Full Changelog: v0.3.0...v1.0.0