17 Commits

Author	SHA1	Message	Date
Kyriakos Georgiou	aa450e7ce9	adding the makefile for the cortexM7 board	2020-11-16 13:49:57 +00:00
Kyriakos Georgiou	b1593e2c2f	making the prove to use gnateD instead of gnatep	2020-11-16 13:22:57 +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	f974d16ad4	minor styling issues	2020-11-10 21:08:30 +00:00
Kyriakos Georgiou	8b1d0ff2b0	adding the tool's versions and fixing the language	2020-11-10 20:55:44 +00:00
Kyriakos Georgiou	38c6c78003	adding more info to the readme file	2020-11-09 11:51:16 +00:00
Guillaume	892db5fd3a	Add instructions for the compilation	2020-11-05 16:47:13 +01:00
gcluzel	c275949dfe	Improve README.md ... Tools needed + example	2020-11-03 16:32:30 +01:00
Guillaume Cluzel	d2df6395c5	README.md	2020-08-28 16:07:33 +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	7abad46431	Update README	2020-08-03 11:16:40 +02:00
Guillaume Cluzel	4288db5291	Update README	2020-08-03 09:33:40 +02:00
gcluzel	3a04ede1b2	Update README.md	2020-07-27 12:27:16 +02:00
Guillaume Cluzel	8e01250f34	prove target	2020-04-08 14:06:18 +02:00
Guillaume Cluzel	0c784d0957	README.md	2020-04-06 16:53:10 +02:00
Guillaume Cluzel	77e8cc7490	typo	2020-03-25 16:17:51 +01:00
Guillaume Cluzel	bf848defd5	Initial commit	2020-03-25 14:21:41 +01:00