Updated semantics and worked on rules

5 jobs for master
Status Job ID Name Coverage
  Build
canceled #8776
fp-timing
build-coq.8.6.1

canceled #8775
fp-timing
build-coq.8.7.0

 
  Deploy
canceled #8777
opam

canceled #8778
reverse-deps

 
  Build More
canceled #8779
fp-timing
build-coq.8.7.dev