| .. |
|
jwx-base64.adb
|
Fix array index check
|
2020-04-23 23:44:19 +02:00 |
|
jwx-base64.ads
|
Avoid name hiding
|
2018-08-18 15:09:16 +02:00 |
|
jwx-crypto.adb
|
Justify constant variable warning
|
2018-08-18 15:09:16 +02:00 |
|
jwx-crypto.ads
|
Correctly model package state
|
2020-04-24 00:19:54 +02:00 |
|
jwx-jose.adb
|
Don't use <= comparison for non-negative types
|
2018-08-18 15:09:16 +02:00 |
|
jwx-jose.ads
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
jwx-json.adb
|
Store string offset into elements
|
2020-10-11 01:55:34 +02:00 |
|
jwx-json.ads
|
Store string offset into elements
|
2020-10-11 01:55:34 +02:00 |
|
jwx-jwk.adb
|
Don't use <= comparison for non-negative types
|
2018-08-18 15:09:16 +02:00 |
|
jwx-jwk.ads
|
Correctly model package state
|
2020-04-24 00:19:54 +02:00 |
|
jwx-jws.adb
|
Remove unused variables
|
2018-08-18 15:09:16 +02:00 |
|
jwx-jws.ads
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
jwx-jwscs.adb
|
Correctly model package state
|
2020-04-24 00:19:54 +02:00 |
|
jwx-jwscs.ads
|
Correctly model package state
|
2020-04-24 00:19:54 +02:00 |
|
jwx-jwt.adb
|
Do not use packages
|
2020-04-23 23:51:17 +02:00 |
|
jwx-jwt.ads
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
jwx-libsparkcrypto.adb
|
Remove redundant initialization
|
2020-04-23 23:53:07 +02:00 |
|
jwx-libsparkcrypto.ads
|
Rename LSC package
|
2018-08-18 15:09:16 +02:00 |
|
jwx-stream_auth.adb
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
jwx-stream_auth.ads
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
jwx-util.adb
|
Fix whitspace, parentheses and casing
|
2018-08-18 15:09:16 +02:00 |
|
jwx-util.ads
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
jwx.adb
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
jwx.ads
|
Fix whitespace errors
|
2018-08-18 14:14:41 +02:00 |
|
proof_json.adb
|
Do not use packages
|
2020-04-23 23:51:17 +02:00 |
|
proof_json.ads
|
Remove unused with/use clauses
|
2018-08-18 15:09:16 +02:00 |
|
proof_stream_auth.adb
|
Remove unused with/use clauses
|
2018-08-18 15:09:16 +02:00 |
|
proof_stream_auth.ads
|
Remove unused with/use clauses
|
2018-08-18 15:09:16 +02:00 |
0ac32e393a