This repository was archived by the owner on May 30, 2023. It is now read-only.

Use DoTS communication and I/O interface#1

Open

nicholasngai wants to merge 21 commits intomasterfrom

Commits on Dec 8, 2022

Add partial DotsPlayer implementation
nicholasngai
committed

Commits on Feb 27, 2023

Commits on Mar 3, 2023

Fix string truncation error
nicholasngai
committed

Commits on Mar 7, 2023

Commits on Mar 13, 2023

Switch to tag-based libdots interface
nicholasngai
committed

Commits on Mar 23, 2023

Commits on Apr 5, 2023

Remove extraneous use of sockets from Names
nicholasngai
committed

Commits on Apr 25, 2023

Bump libdots and update for new dots_env_* accessor functions
nicholasngai
committed

Commits on May 9, 2023

Commits on May 10, 2023

Bump libdots to use persistent application server model
nicholasngai
committed