Merge branch 'amin/logrel' into 'master'

Amin/logrel

Closes #2

See merge request FP/iris-examples!2
2 jobs for master in 4 minutes and 55 seconds
Status Name Job ID Coverage
  Test
failed build-coq.8.6.1 #6682
fp-timing

00:03:00

passed build-coq.8.7.0 #6681
fp-timing

00:04:55

 
Name Stage Failure
failed
build-coq.8.6.1 Test There is an unknown failure, please try again
make[1]: Target 'all' not remade because of errors.
make[1]: Leaving directory '/builds/FP/iris-examples'
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 1m29.414s
user 5m47.847s
sys 0m9.260s
ERROR: Job failed: exit code 1