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
151 Commits 2 Branches 0 Tags
master
Commit Graph

151 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Kyriakos Georgiou
6541402a57 styling changes 2020-11-19 10:18:38 +00:00
Kyriakos Georgiou
88667e8f57 final fixes to enable the build of both udp and tcp 2020-11-19 10:16:12 +00:00
Kyriakos Georgiou
dc3eedc1dc fixing an array range related bug 2020-11-19 10:10:05 +00:00
Kyriakos Georgiou
6b3dacc0e0 enabling only TCP 2020-11-17 20:26:21 +00:00
Kyriakos Georgiou
ef28f636cb adding needed unsigned type conversion 2020-11-17 20:22:41 +00:00
Kyriakos Georgiou
10cea25e6b disabling the warnings for out mode of parameters 2020-11-17 17:10:35 +00:00
Kyriakos Georgiou
62305ae2cf removing unecessary files for he Cortex-M4 2020-11-16 13:56:59 +00:00
Kyriakos Georgiou
aa450e7ce9 adding the makefile for the cortexM7 board 2020-11-16 13:49:57 +00:00
Kyriakos Georgiou
eda3fdce48 removing support for Cortex-M4 since we can not test it 2020-11-16 13:41:58 +00:00
Kyriakos Georgiou
a6bb053f86 adding a note about proving and building configs 2020-11-16 13:37:01 +00:00
Kyriakos Georgiou
b1593e2c2f making the prove to use gnateD instead of gnatep 2020-11-16 13:22:57 +00:00
Kyriakos Georgiou
7e05aab844 making the prove.gpr file generic again 2020-11-13 12:47:43 +00:00
Kyriakos Georgiou
683e7b2958 adding a use clause 2020-11-12 10:52:24 +00:00
Kyriakos Georgiou
15650b7386 changing the version of SPARK PRO used to 22.0w 2020-11-12 10:46:40 +00:00
Kyriakos Georgiou
fccef9532f removing an annotate for an issue resolved in SPARK PRO 22.0w 2020-11-12 10:44:28 +00:00
Kyriakos Georgiou
f974d16ad4 minor styling issues 2020-11-10 21:08:30 +00:00
Kyriakos Georgiou
aec89f2a9c changing version of the Ada Arm compiler used 2020-11-10 21:08:00 +00:00
Kyriakos Georgiou
8b1d0ff2b0 adding the tool's versions and fixing the language 2020-11-10 20:55:44 +00:00
Kyriakos Georgiou
47ca580b3b fixing the language usage 2020-11-10 20:55:05 +00:00
Kyriakos Georgiou
0cbc716f17 fixing a minor warning about use clause 2020-11-10 18:57:34 +00:00
Kyriakos Georgiou
98f25a1c1c fixing styling issues 2020-11-10 18:49:10 +00:00
Kyriakos Georgiou
5eabf66ce1 silencing to warnings with reason 2020-11-10 18:46:36 +00:00
Kyriakos Georgiou
e524f00f43 making access type variables null after calling C freeMemory functions on them 2020-11-10 17:19:27 +00:00
Kyriakos Georgiou
707da458e3 fixing styling issues 2020-11-09 20:12:08 +00:00
Kyriakos Georgiou
253477b2b0 fixing styling issues 2020-11-09 19:52:25 +00:00