ada/Http_Cyclone
0
0
Fork 0
mirror of https://github.com/AdaCore/Http_Cyclone.git synced 2026-02-12 13:07:39 -08:00
Code Issues Packages Projects Releases Wiki Activity
122 Commits 2 Branches 0 Tags
Papier
Commit Graph

122 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Yannick Moy
9c676b2929 rework intro 2020-09-07 13:01:30 +02:00
Guillaume Cluzel
880701d79b Last changes 2020-09-04 16:43:24 +02:00
Guillaume Cluzel
9cb8e30ae5 Description of the Oryx Library 2020-09-04 12:19:13 +02:00
Yannick Moy
c20269d8bf Rework section on SPARK inserted in new top-level section for Specification 2020-09-04 12:12:26 +02:00
Guillaume Cluzel
b0384de7e3 Figure of the Oryx Embedded stack 2020-09-04 09:41:09 +02:00
Guillaume Cluzel
cd46c8f870 More on the paper 2020-09-04 09:39:46 +02:00
Guillaume Cluzel
e1b2098946 Typo 2020-09-03 10:46:32 +02:00
Guillaume Cluzel
1a106a5732 Continue the explainations 2020-09-02 15:31:24 +02:00
Guillaume Cluzel
ff7472af36 corrections 2020-09-01 14:23:17 +02:00
Guillaume Cluzel
46e9924bad first parts of the paper 2020-09-01 11:34:31 +02:00
Guillaume Cluzel
c76b060a2f Update proofs for Socket_Send_To and Socket_Receive_Ex if the socket is a UDP socket 2020-08-31 17:07:28 +02:00
Guillaume Cluzel
d2df6395c5 README.md 2020-08-28 16:07:33 +02:00
gcluzel
42b57afa2c Merge pull request #1 from gcluzel/constants_preprocessing 
Constants preprocessing
 2020-08-28 15:10:02 +02:00
Guillaume Cluzel
e50ca047f2 Revert a previous changes du to merge of #2 2020-08-28 15:06:43 +02:00
Guillaume Cluzel
0f95b022ce Add a preprocessing option to enable or disable support for UDP 2020-08-28 14:39:26 +02:00
Guillaume Cluzel
ea17ad063e Add support for all the preprocessed constants of the C code in the SPARK code 2020-08-28 14:39:26 +02:00
Guillaume Cluzel
f051aa400e Add more TCP constants 2020-08-28 14:39:26 +02:00
Guillaume Cluzel
7e7333f0cd Test for preprocessing 2020-08-28 14:39:25 +02:00
gcluzel
42a4511d95 Merge pull request #2 from AdaCore/bug-correction 
Correction of the last bugs
 2020-08-28 14:31:45 +02:00
Guillaume Cluzel
43098607e9 Correction of the last bugs 2020-08-26 15:39:35 +02:00
Guillaume Cluzel
7abad46431 Update README 2020-08-03 11:16:40 +02:00
Guillaume Cluzel
4288db5291 Update README 2020-08-03 09:33:40 +02:00
Guillaume Cluzel
5e66197a15 Corrections in the Makefile 2020-07-31 14:32:24 +02:00
Guillaume Cluzel
cfb739930d Correction of object size 2020-07-31 13:52:41 +02:00
Guillaume Cluzel
00ce3ca2c5 Update report according to Yannick's comments 2020-07-27 17:16:51 +02:00