Andres Toom 5c667469c5 Use shorthand unsigned type definitions in examples and tests ...

Ref. eng/recordflux/RecordFlux#1398

2024-10-28 19:46:09 +00:00

..

contrib

Move example applications into examples/apps

2020-10-19 10:41:06 +02:00

generated

Fix GNAT Studio errors in example apps

2024-04-17 12:02:00 +00:00

obj

Fix GNAT Studio errors in example apps

2024-04-17 12:02:00 +00:00

specs

Use shorthand unsigned type definitions in examples and tests

2024-10-28 19:46:09 +00:00

src

Remove unused package from Ping example

2023-10-23 08:14:05 +09:00

tests

Fix GNAT Studio errors in example apps

2024-04-17 12:02:00 +00:00

tools

Change handling of messages with implicit size in SPARK

2022-01-03 17:02:44 +01:00

__init__.py

Fix Python packages

2021-01-20 10:00:52 +01:00

.gitignore

Fix GNAT Studio errors in example apps

2024-04-17 12:02:00 +00:00

Makefile

Fix cleaning of example apps

2024-04-17 18:09:43 +02:00

ping.gpr

Change project file of ping example

2024-04-17 18:10:11 +02:00

ping.py

Update devutils

2024-03-22 16:18:23 +01:00