From 1b33e617538a600e483b85e5e062fb05d50597f9 Mon Sep 17 00:00:00 2001 From: Florian Lugou <florian.lugou@telecom-paristech.fr> Date: Tue, 29 Sep 2015 11:22:45 +0000 Subject: [PATCH] recover erroneously deleted config.xml --- bin/config.xml | 71 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 71 insertions(+) create mode 100755 bin/config.xml diff --git a/bin/config.xml b/bin/config.xml new file mode 100755 index 0000000000..a0eb263799 --- /dev/null +++ b/bin/config.xml @@ -0,0 +1,71 @@ +<?xml version="1.0" encoding="ISO-8859-1" ?> + +<TURTLECONFIGURATION> +<RTLHost data="localhost" /> +<RTLPath data="/packages/RT-LOTOS.0.12/bin/rtl" /> +<DTA2DOTPath data="/packages/RT-LOTOS.0.12/bin/dta2dot" /> +<RG2TLSAPath data="/packages/RT-LOTOS.0.12/bin/rg2tlsa" /> +<RGSTRAPPath data="/packages/RT-LOTOS.0.12/bin/rgstrap" /> +<!--DOTTYPath data="/usr/bin/dot" /--> +<DOTTYPath data="/bin/dotty" /> +<DOTTYHost data="localhost" /> +<AldebaranHost data="localhost" /> +<AldebaranPath data="/home/enrici/cadp/com/aldebaran" /> +<BcgioPath data="/home/enrici/cadp/bin.iX86/bcg_io" /> +<BcgminPath data="/home/enrici/cadp/bin.iX86/bcg_min" /> +<BisimulatorPath data="/home/enrici/cadp/com/bcg_open" /> +<BcgmergePath data="/home/enrici/cadp/com/bcg_merge" /> +<CaesarPath data="/home/enrici/cadp/bin.iX86/caesar" /> +<CaesarOpenPath data="/home/enrici/cadp/com/caesar.open" /> +<FILEPath data="/home/enrici/TURTLE/modeling" /> +<LIBPath data="/home/enrici/TURTLE/lib" /> +<IMGPath data="/home/enrici/TURTLE/figure" /> +<LOTOSPath data="/home/enrici/TURTLE/lotos" /> +<GGraphPath data="/home/enrici/TURTLE/graphs" /> +<TGraphPath data="/home/enrici/TURTLE/graphs" /> +<TToolUpdateURL data="" data1="http://labsoc.comelec.enst.fr/turtle/ttoolversion.html" /> +<TToolUpdateProxy data="false" /> +<TToolUpdateProxyPort data="8080" /> +<TToolUpdateProxyHost data="To Be Completed" /> +<JavaCodeDirectory data="/home/enrici/TURTLE/javacode" /> +<JavaCompilerPath data="/usr/bin/javac" /> +<TToolClassPath data="/home/enrici/TURTLE/javacode" /> +<JavaExecutePath data="/usr/bin/java" /> +<JavaHeader data="import java.sql.*;" /> +<SystemCCodeDirectory data="/home/enrici/TURTLE/simulators/c++2/" /> +<SystemCHost data="localhost"/> +<SystemCCodeCompileCommand data="make -C /home/enrici/TURTLE/simulators/c++2/" /> +<SystemCCodeExecuteCommand data="/home/enrici/TURTLE/simulators/c++2/run.x -ovcd /home/enrici/TURTLE/simulators/c++2/vcddump.vcd" /> +<SystemCCodeInteractiveExecuteCommand data="/home/enrici/TURTLE/simulators/c++2/run.x -server" /> +<TMLCodeDirectory data="/home/enrici/TURTLE/tmlcode" /> +<CcodeDirectory data="/home/enrici/TURTLE/Ccode" /> +<GTKWavePath data="/usr/bin/gtkwave" /> +<VCDPath data="/home/enrici/TURTLE/vcd/" /> +<UPPAALCodeDirectory data="/home/enrici/TURTLE/uppaal/" /> +<UPPAALVerifierPath data="/home/enrici/TURTLE/uppaal/bin-Linux/verifyta" /> +<UPPAALVerifierHost data="localhost" /> +<ProVerifCodeDirectory data="/home/enrici/TURTLE/proverif/" /> +<ProVerifVerifierPath data="/packages/proverif/proverif" /> +<ProVerifVerifierHost data="localhost" /> +<AVATARExecutableCodeDirectory data="/home/enrici/TURTLE/executablecode/" /> +<AVATARExecutableCodeHost data="localhost"/> +<AVATARExecutableCodeCompileCommand data="make -C /home/enrici/TURTLE/executablecode" /> +<AVATARExecutableCodeExecuteCommand data="/home/enrici/TURTLE/executablecode/run.x" /> +<AVATARExecutableSoclibCodeCompileCommand data="make -C /home/enrici/TURTLE/executablecode updategeneratedcode compilesoclib" /> +<AVATARExecutableSoclibCodeExecuteCommand data="make -C /home/enrici/TURTLE/executablecode runsoclib" /> +<AVATARExecutableSoclibTraceFile data="/home/enrici/TURTLE/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/vcitty" /> + + +<ExternalCommand1Host data="localhost"/> +<ExternalCommand1 data="/usr/bin/gtkwave /home/enrici/TURTLE/simulators/c++2/vcddump.vcd"/> +<ExternalCommand2Host data="localhost"/> +<ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal /home/enrici/TURTLE/uppaal/spec.xml"/> + +<LastOpenFile data="/home/trhuy/Downloads/SemesterFinalResult/StuxnetModel/stuxnet_6_12_split (1).xml"/> + +<ExternalServer data="10.188.65.215:12345"/> + +<LastWindowAttributes x="90" y="25" width="1219" height="597" max="false" /> + + +</TURTLECONFIGURATION> -- GitLab