fix image docker

Case_studies/Makefile

@@ -2,26 +2,11 @@ DIRS?= --library=../math_libs --library=../Qbricks --library=../Case_studies
 
 .PHONY: run ide
 
-ide_jerome:
-	why3 ide $(DIRS) jerome_toffoli.mlw
-
 ide_qft_test:
 	why3 ide $(DIRS) qft_test.mlw
 
-ide_translation:
-	why3 ide $(DIRS) translation.mlw
-
-ide_translation_grover:
-	why3 ide $(DIRS) translation_grover.mlw
-
-ide_translation_grovercz:
-	why3 ide $(DIRS) translation_grovercz.mlw
-
-ide_test:
-	why3 ide $(DIRS) test.mlw
-
-prove_test:
-	why3 prove $(DIRS) test.mlw
+ide_shor:
+	why3 ide $(DIRS) shor.mlw
 
 prove_no_anc_shor_circ:
 	why3 prove $(DIRS) Shor/no_anc_shor_circ.mlw

Dockerfile

@@ -52,8 +52,7 @@ USER opam
 
 RUN opam init -y --disable-sandboxing && opam update && \
   opam install -y depext.transition && opam depext conf-m4 && \
-  opam install -y alt-ergo.2.4.1 && \
-  opam pin -y https://gitlab.inria.fr/why3/why3.git && \
+  opam install -y alt-ergo.2.4.1 why3 why3-ide && \
   opam install -y lablgtk3 lablgtk3-sourceview3 ocamlbuild.0.14.1
 
 USER root
@@ -100,7 +99,7 @@ RUN wget https://repo.anaconda.com/miniconda/Miniconda3-py39_4.12.0-Linux-x86_64
   apt-get -y install curl python3-tk && curl https://bootstrap.pypa.io/get-pip.py | python && \
   pip install qiskit -U matplotlib==3.6.0 pylatexenc==2.10
 
-RUN apt-get -y install vim=2:8.1.0875-5+deb10u2 bash-completion=1:2.8-6 dbus-x11
+RUN apt-get -y install bash-completion=1:2.8-6 
 
 USER opam
 

README.md

@@ -113,8 +113,6 @@ computing](https://github.com/Qbricks/qbricks.github.io/files/6415909/Qbricks_Pl
 
 - CVC4: [licence](https://github.com/CVC4/CVC4-archived/blob/master/COPYING)
 
-- CVC5: [licence](https://github.com/cvc5/cvc5/blob/main/COPYING)
-
 - Z3: [licence](https://github.com/Z3Prover/z3/blob/master/LICENSE.txt)
 
 - Alt-Ergo: [licence](https://ocamlpro.github.io/alt-ergo/About/license.html)
@@ -123,14 +121,14 @@ computing](https://github.com/Qbricks/qbricks.github.io/files/6415909/Qbricks_Pl
 
 - Conda: [licence](https://docs.conda.io/en/latest/license.html)
 
+- Python3: [licence](https://docs.python.org/3/license.html)
+
 - Qiskit: [licence](https://github.com/Qiskit/qiskit/blob/master/LICENSE.txt)
 
 - Matplotlib: [licence](https://matplotlib.org/stable/users/project/license.html)
 
 - Pylatexenc: [licence](https://github.com/phfaist/pylatexenc/blob/main/LICENSE.txt)
 
-- Vim: [licence](https://github.com/vim/vim/blob/master/LICENSE)
-
 ### Installation
 
 1. [Docker installation](https://docs.docker.com/engine/install/)