Skip to content
Closed
Changes from all commits
Commits
Show all changes
2481 commits
Select commit Hold shift + click to select a range
a511d63
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 17, 2024
c4354cd
Set Version: 7.1.190
rv-auditor Dec 17, 2024
29e7579
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 17, 2024
06a03e8
Set Version: 7.1.191
rv-auditor Dec 17, 2024
d6966fa
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 19, 2024
375707d
Set Version: 7.1.192
rv-auditor Dec 19, 2024
2c01f7e
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 29, 2024
b99be28
Set Version: 7.1.193
rv-auditor Dec 29, 2024
7e6984a
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 7, 2025
81d6345
Set Version: 7.1.194
rv-auditor Jan 7, 2025
3eb71db
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 7, 2025
864b285
Set Version: 7.1.195
rv-auditor Jan 7, 2025
6d8e735
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 7, 2025
81bcc24
Set Version: 7.1.196
rv-auditor Jan 7, 2025
63066fa
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 8, 2025
bb69789
Set Version: 7.1.197
rv-auditor Jan 8, 2025
8bb66d4
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 14, 2025
5c9d0a0
Set Version: 7.1.198
rv-auditor Jan 14, 2025
4459092
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 16, 2025
1cd1fcf
Set Version: 7.1.199
rv-auditor Jan 16, 2025
d5052a5
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 17, 2025
b174d05
Set Version: 7.1.200
rv-auditor Jan 17, 2025
bb1bdcd
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 17, 2025
a461666
Set Version: 7.1.201
rv-auditor Jan 17, 2025
82f7d0f
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 20, 2025
006fe06
Set Version: 7.1.202
rv-auditor Jan 20, 2025
1f8033b
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 20, 2025
7a23ab7
Set Version: 7.1.203
rv-auditor Jan 20, 2025
a9fb8ec
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 20, 2025
a966c9b
Set Version: 7.1.204
rv-auditor Jan 20, 2025
c60b570
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 20, 2025
ab00be0
Set Version: 7.1.205
rv-auditor Jan 20, 2025
ff747d6
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 21, 2025
4e07d71
Set Version: 7.1.206
rv-auditor Jan 21, 2025
3f39704
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 23, 2025
53ae31e
Set Version: 7.1.207
rv-auditor Jan 23, 2025
d89bba8
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 27, 2025
1fc791c
Set Version: 7.1.208
rv-auditor Jan 27, 2025
6c9fad1
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 31, 2025
fea3558
Set Version: 7.1.209
rv-auditor Jan 31, 2025
9fea889
Merge remote-tracking branch 'origin/develop'
rv-auditor Feb 3, 2025
54b7a9c
Set Version: 7.1.210
rv-auditor Feb 3, 2025
7798d97
Merge remote-tracking branch 'origin/develop'
rv-auditor Feb 3, 2025
059668d
Set Version: 7.1.211
rv-auditor Feb 3, 2025
234398a
Merge remote-tracking branch 'origin/develop'
rv-auditor Feb 5, 2025
51bd676
Set Version: 7.1.212
rv-auditor Feb 5, 2025
c5f9524
Merge remote-tracking branch 'origin/develop'
rv-auditor Feb 20, 2025
d7ebb62
Set Version: 7.1.213
rv-auditor Feb 20, 2025
6586d3e
Merge remote-tracking branch 'origin/develop'
rv-auditor Feb 21, 2025
20bd662
Set Version: 7.1.214
rv-auditor Feb 21, 2025
6de5479
Merge remote-tracking branch 'origin/develop'
rv-auditor Feb 24, 2025
a9475bb
Set Version: 7.1.215
rv-auditor Feb 24, 2025
54433d4
Merge remote-tracking branch 'origin/develop'
rv-auditor Feb 24, 2025
2e091a8
Set Version: 7.1.216
rv-auditor Feb 24, 2025
27d7f6e
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 2, 2025
f236685
Set Version: 7.1.217
rv-auditor Mar 2, 2025
66d17b2
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 5, 2025
37f442b
Set Version: 7.1.218
rv-auditor Mar 5, 2025
9989e6c
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 10, 2025
cb153f0
Set Version: 7.1.219
rv-auditor Mar 10, 2025
258328a
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 13, 2025
60d7fee
Set Version: 7.1.220
rv-auditor Mar 13, 2025
3046b04
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 13, 2025
ad22824
Set Version: 7.1.221
rv-auditor Mar 13, 2025
1c103f5
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 13, 2025
e603ee7
Set Version: 7.1.222
rv-auditor Mar 13, 2025
01ed048
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 14, 2025
251dcf0
Set Version: 7.1.223
rv-auditor Mar 14, 2025
034cc67
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 14, 2025
d64fb8b
Set Version: 7.1.224
rv-auditor Mar 14, 2025
27fcb15
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 14, 2025
9c1158f
Set Version: 7.1.225
rv-auditor Mar 14, 2025
d1a2fbe
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 17, 2025
5082846
Set Version: 7.1.226
rv-auditor Mar 17, 2025
cc5dee3
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 17, 2025
be5cb23
Set Version: 7.1.227
rv-auditor Mar 17, 2025
11a996f
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 17, 2025
6f5d46f
Set Version: 7.1.228
rv-auditor Mar 17, 2025
947615f
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 18, 2025
2d74ec8
Set Version: 7.1.229
rv-auditor Mar 18, 2025
51989f5
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 20, 2025
4b1110c
Set Version: 7.1.230
rv-auditor Mar 20, 2025
3c029c2
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 20, 2025
bcae831
Set Version: 7.1.231
rv-auditor Mar 20, 2025
41cc1c3
Merge remote-tracking branch 'origin/develop'
rv-auditor Mar 24, 2025
88c9c76
Set Version: 7.1.232
rv-auditor Mar 24, 2025
01341d2
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 1, 2025
f5abe34
Set Version: 7.1.233
rv-auditor Apr 1, 2025
eaaa7dd
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 2, 2025
d352ea4
Set Version: 7.1.234
rv-auditor Apr 2, 2025
b97b892
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 3, 2025
3235977
Set Version: 7.1.235
rv-auditor Apr 3, 2025
9685a81
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 7, 2025
eff6bea
Set Version: 7.1.236
rv-auditor Apr 7, 2025
421e226
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 16, 2025
9f2bb38
Set Version: 7.1.237
rv-auditor Apr 16, 2025
66e6cbc
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 16, 2025
c73dd70
Set Version: 7.1.238
rv-auditor Apr 16, 2025
c0c8e63
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 16, 2025
fd020b3
Set Version: 7.1.239
rv-auditor Apr 16, 2025
534bcdb
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 17, 2025
6688396
Set Version: 7.1.240
rv-auditor Apr 17, 2025
9966f55
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 17, 2025
1c4657e
Set Version: 7.1.241
rv-auditor Apr 17, 2025
599008b
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 28, 2025
af452c6
Set Version: 7.1.242
rv-auditor Apr 28, 2025
b0149c7
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 28, 2025
5acad54
Set Version: 7.1.243
rv-auditor Apr 28, 2025
f0e1866
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 28, 2025
9922ec2
Set Version: 7.1.244
rv-auditor Apr 28, 2025
2ccd18b
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 29, 2025
f04ad2c
Set Version: 7.1.245
rv-auditor Apr 29, 2025
2eed940
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 29, 2025
49baf02
Set Version: 7.1.246
rv-auditor Apr 29, 2025
81fe456
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 30, 2025
6827f05
Set Version: 7.1.247
rv-auditor Apr 30, 2025
363926f
Merge remote-tracking branch 'origin/develop'
rv-auditor Apr 30, 2025
8d75c14
Set Version: 7.1.248
rv-auditor Apr 30, 2025
f3c4136
Merge remote-tracking branch 'origin/develop'
rv-auditor May 4, 2025
907ee6e
Set Version: 7.1.249
rv-auditor May 4, 2025
cac9307
Merge remote-tracking branch 'origin/develop'
rv-auditor May 7, 2025
9cd54c8
Set Version: 7.1.250
rv-auditor May 7, 2025
eceb22e
Merge remote-tracking branch 'origin/develop'
rv-auditor May 12, 2025
b40f9c9
Set Version: 7.1.251
rv-auditor May 12, 2025
467a0bc
Merge remote-tracking branch 'origin/develop'
rv-auditor May 12, 2025
4b247bb
Set Version: 7.1.252
rv-auditor May 12, 2025
e3a9189
Merge remote-tracking branch 'origin/develop'
rv-auditor May 12, 2025
db2706d
Set Version: 7.1.253
rv-auditor May 12, 2025
5beaf20
Merge remote-tracking branch 'origin/develop'
rv-auditor May 14, 2025
422d2a7
Set Version: 7.1.254
rv-auditor May 14, 2025
c0d9c97
Merge remote-tracking branch 'origin/develop'
rv-auditor May 15, 2025
63894e0
Set Version: 7.1.255
rv-auditor May 15, 2025
29e36b0
Merge remote-tracking branch 'origin/develop'
rv-auditor May 20, 2025
5a9ebd6
Set Version: 7.1.256
rv-auditor May 20, 2025
4e72b09
Merge remote-tracking branch 'origin/develop'
rv-auditor May 20, 2025
acb7d1e
Set Version: 7.1.257
rv-auditor May 20, 2025
2a0c35d
Merge remote-tracking branch 'origin/develop'
rv-auditor May 21, 2025
8fd3789
Set Version: 7.1.258
rv-auditor May 21, 2025
10bda5a
Merge remote-tracking branch 'origin/develop'
rv-auditor May 22, 2025
7617b35
Set Version: 7.1.259
rv-auditor May 22, 2025
94197f7
Merge remote-tracking branch 'origin/develop'
rv-auditor May 26, 2025
d047e65
Set Version: 7.1.260
rv-auditor May 26, 2025
ae0f2a8
Merge remote-tracking branch 'origin/develop'
rv-auditor May 26, 2025
4e156eb
Set Version: 7.1.261
rv-auditor May 26, 2025
2c0fb40
Merge remote-tracking branch 'origin/develop'
rv-auditor May 27, 2025
4549864
Set Version: 7.1.262
rv-auditor May 27, 2025
3ca5a3a
Merge remote-tracking branch 'origin/develop'
rv-auditor May 28, 2025
5af77a2
Set Version: 7.1.263
rv-auditor May 28, 2025
556dffd
Merge remote-tracking branch 'origin/develop'
rv-auditor May 29, 2025
84ce470
Set Version: 7.1.264
rv-auditor May 29, 2025
a7154ac
Merge remote-tracking branch 'origin/develop'
rv-auditor Jun 4, 2025
9983a1b
Set Version: 7.1.265
rv-auditor Jun 4, 2025
96a7f77
Merge remote-tracking branch 'origin/develop'
rv-auditor Jun 6, 2025
8b232db
Set Version: 7.1.266
rv-auditor Jun 6, 2025
4247c9b
Merge remote-tracking branch 'origin/develop'
rv-auditor Jun 9, 2025
145700e
Set Version: 7.1.267
rv-auditor Jun 9, 2025
a67de45
Merge remote-tracking branch 'origin/develop'
rv-auditor Jun 16, 2025
7a410b3
Set Version: 7.1.268
rv-auditor Jun 16, 2025
22cea2d
Merge remote-tracking branch 'origin/develop'
rv-auditor Jun 19, 2025
f7e6eac
Set Version: 7.1.269
rv-auditor Jun 19, 2025
02e6a5e
Merge remote-tracking branch 'origin/develop'
rv-auditor Jun 20, 2025
7b02206
Set Version: 7.1.270
rv-auditor Jun 20, 2025
fd2b32d
Merge remote-tracking branch 'origin/develop'
rv-auditor Jun 23, 2025
c829b10
Set Version: 7.1.271
rv-auditor Jun 23, 2025
23559a7
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 3, 2025
d3de3c0
Set Version: 7.1.272
rv-auditor Jul 3, 2025
564d94a
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 3, 2025
40d1aa8
Set Version: 7.1.273
rv-auditor Jul 3, 2025
4dac1f7
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 14, 2025
a6d4df2
Set Version: 7.1.274
rv-auditor Jul 14, 2025
7cddf95
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 16, 2025
27d0d2d
Set Version: 7.1.275
rv-auditor Jul 16, 2025
7c49c0f
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 16, 2025
76f4c3f
Set Version: 7.1.276
rv-auditor Jul 16, 2025
2fa6585
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 17, 2025
cd79cf5
Set Version: 7.1.277
rv-auditor Jul 17, 2025
702554b
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 17, 2025
30cc8cb
Set Version: 7.1.278
rv-auditor Jul 17, 2025
281dfc5
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 17, 2025
cbf709e
Set Version: 7.1.279
rv-auditor Jul 17, 2025
7b429b0
Merge remote-tracking branch 'origin/develop'
rv-auditor Jul 18, 2025
ea08909
Set Version: 7.1.280
rv-auditor Jul 18, 2025
f917147
Merge remote-tracking branch 'origin/develop'
rv-auditor Aug 12, 2025
fcd2631
Set Version: 7.1.281
rv-auditor Aug 12, 2025
2f11062
Merge remote-tracking branch 'origin/develop'
rv-auditor Aug 26, 2025
6aa4d15
Set Version: 7.1.282
rv-auditor Aug 26, 2025
bd013ba
Merge remote-tracking branch 'origin/develop'
rv-auditor Aug 29, 2025
1687282
Set Version: 7.1.283
rv-auditor Aug 29, 2025
f85b98d
Merge remote-tracking branch 'origin/develop'
rv-auditor Sep 2, 2025
170a601
Set Version: 7.1.284
rv-auditor Sep 2, 2025
961299d
Merge remote-tracking branch 'origin/develop'
rv-auditor Sep 11, 2025
fc8f4e9
Set Version: 7.1.285
rv-auditor Sep 11, 2025
011b768
Merge remote-tracking branch 'origin/develop'
rv-auditor Sep 13, 2025
83bbe2f
Set Version: 7.1.286
rv-auditor Sep 13, 2025
ab96b47
Merge remote-tracking branch 'origin/develop'
rv-auditor Sep 17, 2025
a13a816
Set Version: 7.1.287
rv-auditor Sep 17, 2025
ae2dca1
Merge remote-tracking branch 'origin/develop'
rv-auditor Sep 18, 2025
62ce121
Set Version: 7.1.288
rv-auditor Sep 18, 2025
63f1862
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 1, 2025
df7e11d
Set Version: 7.1.289
rv-auditor Oct 1, 2025
48f417e
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 1, 2025
53b35f8
Set Version: 7.1.290
rv-auditor Oct 1, 2025
270edba
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 2, 2025
d9fe413
Set Version: 7.1.291
rv-auditor Oct 2, 2025
fd64c4a
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 3, 2025
ac9bc04
Set Version: 7.1.292
rv-auditor Oct 3, 2025
ec6e4f9
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 3, 2025
ff15baa
Set Version: 7.1.293
rv-auditor Oct 3, 2025
32943eb
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 7, 2025
f5cbaa1
Set Version: 7.1.294
rv-auditor Oct 7, 2025
35100a1
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 7, 2025
5d8f004
Set Version: 7.1.295
rv-auditor Oct 7, 2025
af5e09f
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 8, 2025
c2f30ba
Set Version: 7.1.296
rv-auditor Oct 8, 2025
8705457
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 9, 2025
c376de7
Set Version: 7.1.297
rv-auditor Oct 9, 2025
8b888f8
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 14, 2025
a5156a2
Set Version: 7.1.298
rv-auditor Oct 14, 2025
4c2d308
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 16, 2025
5707df5
Set Version: 7.1.299
rv-auditor Oct 16, 2025
94b6f0e
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 20, 2025
3f0bf13
Set Version: 7.1.300
rv-auditor Oct 20, 2025
e35d21c
Merge remote-tracking branch 'origin/develop'
rv-auditor Oct 30, 2025
137f956
Set Version: 7.1.301
rv-auditor Oct 30, 2025
90cb693
Merge remote-tracking branch 'origin/develop'
rv-auditor Nov 12, 2025
46b29f6
Set Version: 7.1.302
rv-auditor Nov 12, 2025
21d3a59
Merge remote-tracking branch 'origin/develop'
rv-auditor Nov 14, 2025
93cd2f0
Set Version: 7.1.303
rv-auditor Nov 14, 2025
96f5384
Merge remote-tracking branch 'origin/develop'
rv-auditor Nov 14, 2025
e064582
Set Version: 7.1.304
rv-auditor Nov 14, 2025
c094ff4
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 13, 2025
b417a2d
Set Version: 7.1.305
rv-auditor Dec 13, 2025
e8fea56
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 15, 2025
397d566
Set Version: 7.1.306
rv-auditor Dec 15, 2025
3f8b6d8
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 15, 2025
65389dc
Set Version: 7.1.307
rv-auditor Dec 15, 2025
baec3b3
Merge remote-tracking branch 'origin/develop'
rv-auditor Dec 19, 2025
ae8d713
Set Version: 7.1.308
rv-auditor Dec 19, 2025
a591ffe
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 6, 2026
e7b2391
Set Version: 7.1.309
rv-auditor Jan 6, 2026
dfb2927
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 6, 2026
7ae4034
Set Version: 7.1.310
rv-auditor Jan 6, 2026
cd13d44
Merge remote-tracking branch 'origin/develop'
rv-auditor Jan 14, 2026
3270398
Set Version: 7.1.311
rv-auditor Jan 14, 2026
b9a298c
Please ignore, testing only
jberthold Jan 29, 2026
796b2af
Update K_VERSION to 7.1.0
jberthold Jan 29, 2026
94e3069
meh
jberthold Jan 29, 2026
30105cd
meh
jberthold Jan 29, 2026
5d8abb6
meh 7.1.0
jberthold Jan 29, 2026
bb59543
Update project version from 7.1.311 to 7.1.0
jberthold Jan 29, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@ copyright: Copyright (c) Runtime Verification, Inc. All Rights Reserved.
permalink: README.html
---

DO NOT MERGE, TESTING ONLY

[Join the chat on Matrix](https://matrix.to/#/#k:matrix.org)

# Introduction
Expand Down
Loading