summaryrefslogtreecommitdiff
path: root/src/tracing.h
AgeCommit message (Expand)AuthorFilesLines
2018-12-17Invocation of noise.c from demo.c mostly proving in frama-cjaseg1-0/+5
2018-11-14Pairing and fingerprint checking works nicely nowjaseg1-0/+20