diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-08 21:15:57 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-08 21:15:57 +0200 |
| commit | 18e440197cae6d537765a4de6a915f074dce4de5 (patch) | |
| tree | 5f55b8d82826fc182c9408350200b7ecaa932a27 /src/tools | |
| parent | c2b7a0bf9978091c9a51b72fdbd94cc9286041df (diff) | |
| download | ouroboros-18e440197cae6d537765a4de6a915f074dce4de5.tar.gz ouroboros-18e440197cae6d537765a4de6a915f074dce4de5.zip | |
irmd: Refactor and bugfixes
Refactors the IRMd to extract reg_api and irm_flow structures to their
own sources.
Fixes some locking bugs.
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions