Added delta-min theory (to discuss)

14 jobs for delta_min_theory in 17 minutes and 5 seconds (queued for 4 seconds)
latest
Status Name Job ID Coverage
  Build
passed 1.10.0-coq-8.11 #99993

00:16:30

passed 1.11.0-coq-8.11 #99994

00:06:03

passed 1.11.0-coq-8.12 #99995

00:17:04

passed build-for-process #99996

00:02:24

passed build-for-process-classic #99997

00:04:56

passed coq-8.12 #100000

00:14:03

passed coq-dev #100001

00:08:33

passed proof-length #99998

00:00:08

failed spell-check #99999

00:02:04

 
  Process
passed doc #100004

00:01:00

passed doc-classic #100005

00:01:15

passed proof-state #100006

00:06:20

passed validate #100002

00:02:30

passed validate-classic #100003

00:02:13

 
Name Stage Failure
failed
spell-check Build
./model/task/arrival/delta_min.v: potentially misspelled word 'Superadditivity'
./model/task/arrival/delta_min.v: potentially misspelled word 'dmin'
./model/task/arrival/delta_min.v: potentially misspelled word 'leq'
./model/task/arrival/delta_min.v: potentially misspelled word 'mins'
./model/task/arrival/delta_min.v: potentially misspelled word 'mul'
./model/task/arrival/delta_min.v: potentially misspelled word 'reeeeeally'
./model/task/arrival/delta_min.v: potentially misspelled word 'superadditive'
./model/task/arrival/delta_min.v: potentially misspelled word 'vec'
ERROR: Job failed: exit code 1