11 Commits

Author	SHA1	Message	Date
Kyriakos Georgiou	88667e8f57	final fixes to enable the build of both udp and tcp	2020-11-19 10:16:12 +00:00
Kyriakos Georgiou	6b3dacc0e0	enabling only TCP	2020-11-17 20:26:21 +00:00
Kyriakos Georgiou	10cea25e6b	disabling the warnings for out mode of parameters	2020-11-17 17:10:35 +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	90be776ecc	fixing style issues	2020-11-09 19:30:32 +00: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	f051aa400e	Add more TCP constants	2020-08-28 14:39:26 +02:00
Guillaume Cluzel	962674f33c	End of the proof for Tcp_Received and Socket_Received	2020-06-24 15:28:34 +02:00
Guillaume Cluzel	8e01250f34	prove target	2020-04-08 14:06:18 +02:00