Ultimate v0.2.4 release

Release of the latest tagged version of Ultimate (November 2023)

Ultimate as of 2024-01-21

This is an update to Ultimate after SVCOMP'23 with some additions after version 0.2.4.
Fixes some bugs and improves performance on a couple of benchmarks.

Ultimate Automizer 10/28/2023

Release after several improvements in Ultimate Automizer.

Ultimate Automizer 09/19/23

2023-09-19-certik

Update of Ultimate

2023-08-02-certik

Release 2023-08-02-certik

Release 2023-06-15-certik

Enable CD

Signed-off-by: Ju Chen <ju.chen@certik.com>

Release 2023-04-28-certik

Enable CD.

Signed-off-by: Ju Chen <ju.chen@certik.com>