From 7d59970685f6b6de4fa313bb0739415b447a94aa Mon Sep 17 00:00:00 2001 From: Benoit Valiron <benoit.valiron@lri.fr> Date: Sat, 16 Feb 2019 09:51:20 +0100 Subject: [PATCH] One less TODO, some more TODOs flagging loose ends --- NEWPROPOSAL/FULLPROP.tex | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex index c078004..1b16d65 100644 --- a/NEWPROPOSAL/FULLPROP.tex +++ b/NEWPROPOSAL/FULLPROP.tex @@ -1024,15 +1024,15 @@ The DiCarlo group (Delft) and Rigetti have shown particular interest in exploiting our work to assist with supporting the superconducting quantum devices they are developing. \e -\TODOb{Still true?} -\bR Finally, we commit to produce public APIs (see -\ref{del:frontendapi} and \ref{del:backendapi}) -for the \azx system which will allow any programming language to +\newt{Finally, we commit to produce public APIs (see +\ref{del:frontendapi}, \ref{del:backendapi} and \ref{del:backendapiBIS}) +for the \dzxc system which will allow any programming language to generate code using our system, and make it easy to add support for future hardware targets. This will enable other projects to -integrate \azx into their system. To further advance this aim, the +integrate \dzxc into their system. To further advance this aim, the software tools developed by our project will be released on an -open-source basis with a permissive license (See \S~\ref{sec:cons-agre}.) \e +open-source basis with a permissive license (See +\S~\ref{sec:cons-agre}.) } \paragraph{Communication.\!\!} @@ -1057,7 +1057,7 @@ specifically target: \item French: \emph{La Recherche}, \emph{Pour la Science}, and \emph{Interstices}. \item \bR Dutch: \emph{Kijk Magazine}, \emph{Quest}, and the dutch edition - of the \emph{New Scientist}.\e \TODO{replace dutch ones?} + of the \emph{New Scientist}.\e \TODOb{replace dutch ones?} \end{itemize} Several of members of the consortium have had their work featured in these publications before. @@ -1439,8 +1439,8 @@ Perdrix, Valiron, Carette.} \WPleaderGREN \WPeffort{20}{9}{12}{2}{6}{0} \begin{WPaim} -We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon spin qubits developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \ldots. -Also machine-dependent error correction? +We import machine-dependent specifications to \zx terms, and use this to optimise algorithms further for specific hardware constraints. We focus on the silicon spin qubits developing in Grenoble, the ion traps developed in Oxford, and the superconducting devices accessible through CQC and partnership with IBM. This is the culmination of all previous work packages, and feeds back into them. The final result will be \bR\ldots. +Also machine-dependent error correction?\e \end{WPaim} \begin{WPtasks} \WPtask[\label{task:qdot-model}]{Grenoble silicon spin qubits (M13--M36 Responsible: \partnerref{partner:grenoble}; @@ -1483,11 +1483,12 @@ Also machine-dependent error correction? \WPdeliverable{M24}{Deliverable} \WPdeliverable{M30}{General purpose layout engine} \WPdeliverable{M36}{Optimising \dzxc, suitable for compiling to Grenoble and/or Oxford architecture} - \WPdeliverable[\label{del:backendapi}]{M36}{API for back-end + \WPdeliverable[\label{del:backendapiBIS}]{M36}{API for back-end modules, including specification language for architectures.} \end{WPdeliverables} \end{WP} -\TODOb{Should D4.5 be the same as D1.6?} +\TODOb{Should D4.5 be the same as D1.6? Does not correspond to a task + in WP4} \REM{\emph{Leader:} Kissinger. \emph{Others:} Abramsky, de Beaudrap, Duncan, Jeandel, Perdrix, -- GitLab