Tobias Reiher 1021c2ad75 Add GitLab CI config

2023-02-02 15:09:34 +01:00

..

debug

Update RecordFlux to use externally defined debug output function

2022-05-25 15:05:11 +02:00

platform

Update session phase API

2023-01-25 15:58:19 +01:00

src

Update references to tickets

2023-02-02 15:09:29 +01:00

build_lib.gpr

Add GitLab CI config

2023-02-02 15:09:34 +01:00

build.gpr

Remove RecordFlux submodule

2023-01-06 16:22:58 +01:00

main_c.c

Compile and use static responder library with elaboration code

2022-03-31 12:41:40 +02:00

main_multiple_responders.adb

Compile and use static responder library with elaboration code

2022-03-31 12:41:40 +02:00

main_select.adb

Compile and use static responder library with elaboration code

2022-03-31 12:41:40 +02:00

main.adb

Compile and use static responder library with elaboration code

2022-03-31 12:41:40 +02:00