Skip to content

Tags: bitraf/dlock13

Tags

0.4.4

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #5 from bitraf/build-rpi

Build for Raspberry Pi on Travis

0.4.3

Fix too eager postcondition

When door was recently opened, the currentState.openUntil will
be a bit in the future. Thus we cannot assume that we will extend
it by at least openSeconds.
The invariant only holds wrt to current time

0.4.2

msgflo-cpp: Update to 0.2.1

Fixes periodic discovery message and using username/password

0.4.1

Bump

0.4.0

Bump

0.3.0

Bump

0.2.0

[APIBREAK]Change all topics to have /bitraf prefix

0.1.0

Fix the TODO