issues
search
oreparaz
/
vroughtime
compact roughtime client implementation in C for embedded use
Apache License 2.0
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
examples: update cloudflare servers
#17
oreparaz
closed
6 months ago
0
Deprecation notice for roughtime.cloudflare.com:2002
#16
cjpatton
closed
6 months ago
1
improve the cbmc formal verification
#15
oreparaz
opened
1 year ago
1
embed a compact fault-tolerant interval intersection implementation
#14
oreparaz
opened
1 year ago
1
implement IETF draft
#13
oreparaz
opened
1 year ago
4
use a build system for grown-ups
#12
oreparaz
opened
2 years ago
0
port unit tests from roughtime.googlesource.com
#11
oreparaz
opened
2 years ago
0
migrate unit tests to doctest
#10
oreparaz
opened
2 years ago
0
ci: add fuzzers to ci via ClusterFuzzLite
#9
oreparaz
closed
2 years ago
0
refactor + build in CI
#8
oreparaz
closed
2 years ago
0
feat: add cbmc proof for memory safety
#7
oreparaz
closed
2 years ago
0
add esp32 demo
#6
oreparaz
closed
2 years ago
0
add freeRTOS example
#5
oreparaz
closed
2 years ago
0
readme: add instructions for libsodium
#4
oreparaz
closed
2 years ago
0
chore: rename vrt -> vroughtime
#3
oreparaz
closed
2 years ago
0
add license, again
#2
oreparaz
closed
2 years ago
0
Add LICENSE
#1
oreparaz
closed
2 years ago
0