test against Coq 8.15.0; add missing Global

.gitlab-ci.yml

README.md

_CoqProject

theories/barrier/proof.v

theories/hocap/cg_bag.v

theories/hocap/fg_bag.v

theories/lecture_notes/coq_intro_example_2.v

theories/lecture_notes/lock.v

theories/lecture_notes/lock_unary_spec.v

theories/logatom/conditional_increment/cinc.v

theories/logatom/elimination_stack/stack.v

theories/logatom/herlihy_wing_queue/hwq.v

theories/logatom/rdcss/rdcss.v

theories/logatom/snapshot/atomic_snapshot.v

theories/logatom/treiber2.v

theories/logrel/F_mu_ref_conc/binary/examples/fact.v

theories/logrel/F_mu_ref_conc/binary/examples/lock.v

...ies/logrel/F_mu_ref_conc/binary/examples/stack/CG_stack.v

...ies/logrel/F_mu_ref_conc/binary/examples/stack/FG_stack.v

theories/logrel/F_mu_ref_conc/binary/logrel.v