Development Build

Sireum IVE and CLI development builds for supported platforms

4.20241212.3e630db

Added AST View support for Slang .scala files.

4.20241202.c94661b

Updated logika. [distro]

4.20241122.a3b711d

Updated dep.

4.20241104.1c0dea6

Updated CI-distro.yml.

4.20241028.60464f2

Updated runtime. [distro]

4.20241024.6da7a54

Upgraded deps.

4.20241017.f6e1eff

Updated bin/install.

4.20241016.60c1a61

Fixed Logika transition caching wrt. Modifies clause.

4.20241015.9f71e14

Update bin/install.