Skip to content

Releases: CERTCC/kaiju

231227

27 Dec 18:06
93b52e3
Compare
Choose a tag to compare

What's Changed

Full Changelog: 231204...231227

231204

04 Dec 16:28
fa6c2dd
Compare
Choose a tag to compare

What's Changed

Full Changelog: 231201...231204

231201

01 Dec 15:39
f5cdbdc
Compare
Choose a tag to compare

What's Changed

Full Changelog: 231003...231201

231003

03 Oct 15:49
b61e44e
Compare
Choose a tag to compare

What's Changed

Full Changelog: 230922...231003

230922

22 Sep 23:31
2563fec
Compare
Choose a tag to compare

What's Changed

Full Changelog: 230921...230922

230921

21 Sep 18:33
da38a32
Compare
Choose a tag to compare

What's Changed

Full Changelog: 230518...230921

230518

19 May 06:11
73a84a6
Compare
Choose a tag to compare

See CHANGELOG.md for more information.

230406

06 Apr 17:00
Compare
Choose a tag to compare

Includes a small patch to print better debugging information, to help address #38

See CHANGELOG.md for more information.

230331

31 Mar 17:35
ce442a4
Compare
Choose a tag to compare

This release is a quick bugfix for loading libz3 on windows.

See CHANGELOG.md for more information.

230330

30 Mar 16:50
284a11c
Compare
Choose a tag to compare

See CHANGELOG.md for more information.