updated WP4 deliverables

NEWPROPOSAL/FULLPROP.tex

@@ -1490,8 +1490,8 @@ We import machine-dependent specifications to \zx terms, and use this to optimis
   \WPdeliverable{M19}{Initial device-specific annotations for Grenoble and Oxford machines}
   \WPdeliverable{M24}{Initial optimised error correction techniques for ion traps and spin qubits}
   \WPdeliverable{M28}{Back-end module for Oxford ion traps}
-    \WPdeliverable{M30}{Back-end module for Grenoble spin qubits}
-  \WPdeliverable{M36}{Fully optimising \dzxc with compilation to Grenoble and/or Oxford architecture}    
+    \WPdeliverable{M30}{Back-end module for Grenoble spin qubits and IBM devices}
+  \WPdeliverable{M36}{Fully optimising \dzxc with compilation to Grenoble, Oxford, or IBM architecture}    
   \end{WPdeliverables}
 \end{WP}