Giulio Eulisse 94c3a09054 GUI Controller ...

provide a controller which can be used to control state
transitions from an external GUI.

2022-01-25 17:27:54 +01:00

..

config

shm: add APIs for implementing keep-alive process

2021-12-16 16:27:07 +01:00

control

GUI Controller

2022-01-25 17:27:54 +01:00

DDS

feat: Drop public dependency to Boost.Asio and use standalone asio

2021-07-16 12:31:17 +02:00

PMIx

Don't use to-be-deprecated names

2022-01-24 06:40:24 +01:00

Builtin.h

control plugin: Move to subdirectory for consistency

2021-03-26 10:06:10 +01:00