Skip to content

Releases: sireum/kekinian

Development Build

30 Sep 23:59
@santosjenkins santosjenkins
dev
b4ad269
Compare
Choose a tag to compare
Development Build Pre-release
Pre-release

Sireum IVE and CLI development builds for supported platforms

Assets 18
Loading

4.20241104.1c0dea6

04 Nov 14:47
@github-actions github-actions
4.20241104.1c0dea6
1c0dea6
Compare
Choose a tag to compare
4.20241104.1c0dea6 Latest
Latest 
Updated CI-distro.yml.
Assets 18

4.20241028.60464f2

29 Oct 02:43
@github-actions github-actions
4.20241028.60464f2
60464f2
Compare
Choose a tag to compare
4.20241028.60464f2 
Updated runtime. [distro]
Assets 3
Loading

4.20241024.6da7a54

25 Oct 00:44
@github-actions github-actions
4.20241024.6da7a54
6da7a54
Compare
Choose a tag to compare
4.20241024.6da7a54 
Upgraded deps.
Assets 3
Loading

4.20241017.f6e1eff

17 Oct 19:44
@github-actions github-actions
4.20241017.f6e1eff
f6e1eff
Compare
Choose a tag to compare
4.20241017.f6e1eff 
Updated bin/install.
Assets 3
Loading

4.20241016.60c1a61

17 Oct 00:44
@github-actions github-actions
4.20241016.60c1a61
60c1a61
Compare
Choose a tag to compare
4.20241016.60c1a61 
Fixed Logika transition caching wrt. Modifies clause.
Assets 3
Loading

4.20241015.9f71e14

15 Oct 14:24
@github-actions github-actions
4.20241015.9f71e14
9f71e14
Compare
Choose a tag to compare
4.20241015.9f71e14 
Update bin/install.
Assets 3
Loading

4.20241011.21df31a

12 Oct 01:40
@github-actions github-actions
4.20241011.21df31a
21df31a
Compare
Choose a tag to compare
4.20241011.21df31a 
Updated runtime.
Assets 3
Loading

4.20241007.4d15c3f

07 Oct 19:18
@github-actions github-actions
4.20241007.4d15c3f
4d15c3f
Compare
Choose a tag to compare
4.20241007.4d15c3f 
Slang evaluator.
Assets 3
Loading

4.20241004.9212a66

04 Oct 14:28
@github-actions github-actions
4.20241004.9212a66
9212a66
Compare
Choose a tag to compare
4.20241004.9212a66 
Refined Reflection API.
Assets 3
Loading