Merge branch 'amin/erasure' into 'master'

Add erasure

See merge request !22
Status Job ID Name Coverage
  Build
canceled #35518
fp-timing
build-coq.8.9.0