.gitlab-ci.yml

tests/atomic.v

tests/heap_lang.v

tests/heap_lang2.v

tests/ipm_paper.v

tests/list_reverse.v

tests/mosel_paper.v

tests/one_shot.v

tests/one_shot_once.v

tests/proofmode.v

tests/proofmode_ascii.v

tests/proofmode_iris.v

tests/proofmode_monpred.v

tests/telescopes.v