_CoqProject

-Q src iris_simp_lang

-arg -w -arg -redundant-canonical-projection
-arg -w -arg -notation-overriden
-arg -w -arg -deprecated-since-8.19

src/lang.v
src/notation.v
src/tactics.v
src/class_instances.v
src/heap_ra.v
src/heap_lib.v
src/primitive_laws.v
src/proofmode.v
src/simp.v
src/adequacy.v

src/examples/swap.v
src/examples/spawn.v
src/examples/par.v
src/examples/parallel_add.v