ada/RecordFlux
0
0
Fork 0
mirror of https://github.com/AdaCore/RecordFlux.git synced 2026-02-12 13:01:56 -08:00
Code Issues Packages Projects Releases Wiki Activity
2,314 Commits 18 Branches 30 Tags
issue_8
Commit Graph

344 Commits

Author SHA1 Message Date
Tobias Reiher
e82a04ac19 WIP - Add draft of QUIC specification 2022-11-30 14:16:30 +01:00
Tobias Reiher
25f7c8f8f7 WIP - Add draft of ASN.1 BER, SNMP and MQTT specification 2022-11-30 14:16:30 +01:00
Tobias Reiher
cea62c593f Improve testing expected output of example apps 2022-11-30 10:42:37 +01:00
Tobias Reiher
8a87288518 Ensure non-zero exit code for GNATprove in case of checks, warnings or errors 
Ref. #1261
 2022-11-30 10:42:37 +01:00
Tobias Reiher
4b0832d605 Fix ping example 
Ref. #1256
 2022-11-30 10:42:37 +01:00
Tobias Reiher
ae3f325fb1 Prevent warnings about missing returning annotation 
Ref. #1256
 2022-11-30 10:42:37 +01:00
Tobias Reiher
257c223e11 Remove Docker as requirement for testing 
Ref. #1259
 2022-11-28 15:01:07 +01:00
Tobias Reiher
d996363320 Remove modular integer types 
Ref. #727
 2022-11-08 12:59:08 +01:00
Tobias Reiher
f4319f4772 Rename Structural_Valid to Well_Formed 
Ref. #986
 2022-11-07 10:47:19 +01:00
Tobias Reiher
76243b165c Refactor tests for specification examples 
Ref. #1188
 2022-10-10 11:32:06 +02:00
Tobias Reiher
40492a9132 Remove python-style submodule 
Ref. #1188
 2022-10-10 11:32:06 +02:00
Tobias Reiher
aa27ba36a3 End import of RecordFlux-specifications repository 
Ref. #1188
 2022-10-10 11:32:06 +02:00
Tobias Reiher
5b46372b42 Refactor Makefile 2022-10-10 11:32:06 +02:00
Tobias Reiher
b6fd35049f Remove IANA tool 2022-10-10 11:32:06 +02:00
Tobias Reiher
623ca26ab1 Remove types deprecated by PEP 585 2022-10-10 11:32:06 +02:00
Tobias Reiher
7e95bbdcfe Update python-style submodule 2022-10-10 11:32:06 +02:00
Tobias Reiher
f7afd80c84 Use Python 3.8 in tests workflow 2022-10-10 11:32:06 +02:00
Tobias Reiher
53b9a51eb0 Change format of references to issues 2022-10-10 11:32:06 +02:00
Tobias Reiher
b508959ed9 Update black and switch to pyproject-flake8 2022-10-10 11:32:06 +02:00
Tobias Reiher
a2944896a9 Add references to RFC documents to TLS specifications 2022-10-10 11:32:06 +02:00
Tobias Reiher
dc1688d1a0 Remove dependency on message size in TCP Option 2022-10-10 11:32:06 +02:00
Tobias Reiher
ec1337ba53 Adapt size aspects 2022-10-10 11:32:06 +02:00
Tobias Reiher
b08954e064 Replace validation tool 
Ref. Componolit/RecordFlux-specifications#95
 2022-10-10 11:32:06 +02:00
Tobias Reiher
29ff86546b Fix creation of invalid identifiers by IANA tool 
Ref. Componolit/RecordFlux-specifications#96
 2022-10-10 11:32:06 +02:00
Tobias Reiher
b3be5c1546 Unify specification style 
Ref. Componolit/RecordFlux-specifications#96
 2022-10-10 11:32:06 +02:00