Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
code simplification + replace a FIXME with an assert
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 13 Aug 2019 23:26:51 +0000 (01:26 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Aug 2019 13:37:41 +0000 (15:37 +0200)
commite63fc8d05c3ae2e35ac7baa6ff7c357b06ddff4f
treee91951fe14e3dd19b1382b028487f73482fae764
parentd4be32492fcb56ad33f704c7e602b5efa48ed9d0
code simplification + replace a FIXME with an assert
src/kernel/activity/ConditionVariableImpl.cpp
src/kernel/activity/ConditionVariableImpl.hpp