updated gantt chart (milestones still old)

NEWPROPOSAL/FULLPROP.tex

@@ -1382,7 +1382,7 @@ We develop practical logical and algorithmic techniques for transforming  ``abst
       fidelities. Provide formal methods to propagate these
       quantities from local to global properties.  
     }
-        \WPtask[\label{task:basic-opt}]{Generic optimisations of ZX-terms 
+        \WPtask[\label{task:basic-opt}]{Generic optimisations of \zx-terms 
       (M12--M24; {Responsible: \partnerref{partner:oxford};   Involved: \partnerref{partner:loria}, \partnerref{partner:CQC}, \partnerref{partner:radboud}})}{% 
       Use the results of task~\ref{task:algorithms} to develop
       procedures to optimise \zx-terms, in a way which is applicable

NEWPROPOSAL/ganttchart.tex

@@ -28,34 +28,30 @@
   \\
 %%%% WP 1 
   \ganttset{bar/.append style={fill=red!50}}
-  \ganttbar{\ref{task:HHL} HLL $\to$ \azx}{3}{36}\\
-  \ganttbar{\ref{task:trans1} Front-end API}{1}{36}\\
-  \ganttbar{\ref{task:testBench} Test Suite}{6}{36}\\
-  \ganttbar{\ref{task:circuit-model} Circuit model}{1}{12}\\
-  \ganttbar{\ref{task:mbqc-model} 1WQC model}{1}{15}\\
+  \ganttbar{\ref{task:HHL} Front-end}{3}{36}\\
+  \ganttbar{\ref{task:trans1} Open API for \dzxc}{1}{36}\\
+  \ganttbar{\ref{task:testBench} Open test-suite}{6}{36}\\
+  \ganttbar{\ref{task:circuit-model} Idealised quantum circuits}{1}{12}\\
+  \ganttbar{\ref{task:mbqc-model} Idealised 1WQC}{1}{15}\\
   \ganttbar{\ref{task:backendapi} Back-end API}{24}{36}\\
 %%%% WP 2
   \ganttset{bar/.append style={fill=yellow}}
-  \ganttbar{\ref{task:axioms} Beyond qubits}{1}{14}\\
-  \ganttbar{\ref{task:betterboxes} Control constructs in \azx}{1}{18}\\
+  \ganttbar{\ref{task:axioms} Beyond qubits and stabilisers}{1}{14}\\
+  \ganttbar{\ref{task:betterboxes} Control in \zx}{1}{18}\\
   \ganttbar{\ref{task:resources} Resources and axioms}{1}{36}\\
   \ganttbar{\ref{task:resourcesagain} Computational resources}{12}{36}\\
-
-  
-% \ganttbar{\ref{task:HPC-sim-model} HPC simulator}{10}{24}\\
-%  \ganttbar{\ref{task:delft-model} Superconducting model}{13}{30}\\
 %%%% WP 3 
   \ganttset{bar/.append style={fill=green!50}}
-  \ganttbar{\ref{task:algorithms} Algorithms for \azx}{1}{24}\\
-  \ganttbar{\ref{task:annotate1} Topology and causality}{1}{18}\\
+  \ganttbar{\ref{task:algorithms} Reduction strategies etc.}{1}{24}\\
+  \ganttbar{\ref{task:annotate1} Topological \& causal constraints}{1}{18}\\
   \ganttbar{\ref{task:annotate2} Quantitative properties}{13}{24}\\ 
-  \ganttbar{\ref{task:basic-opt} Model-independent optimisations}{12}{24}\\
-  \ganttbar{\ref{task:ECC} Error Correction}{1}{24}\\
+  \ganttbar{\ref{task:basic-opt} Generic optimisations of \zx-terms}{12}{24}\\
+  \ganttbar{\ref{task:ECC} Application of Error-Correction}{1}{24}\\
 %%% WP 4
   \ganttset{bar/.append style={fill=blue!50}}
-  \ganttbar{\ref{task:qdot-model} Quantum dot model}{13}{36}\\
-  \ganttbar{\ref{task:NQIT-model} NQIT model}{13}{30}\\
-  \ganttbar{\ref{task:runnable} Execution layout}{15}{30}\\
+  \ganttbar{\ref{task:qdot-model} Grenoble silicon spin qubits}{13}{36}\\
+  \ganttbar{\ref{task:NQIT-model} Oxford ion traps}{13}{30}\\
+  \ganttbar{\ref{task:runnable} Formatting for target systems}{15}{30}\\
   \ganttbar{\ref{task:opt-machine} Model-guided optimisations}{21}{36}\\
 %%% WP 5 -- don't use
   % \ganttset{bar/.append style={fill=gray!50}}