Changes between Version 8 and Version 9 of WikiStart


Ignore:
Timestamp:
Mar 21, 2020, 11:56:01 AM (4 years ago)
Author:
genius
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v8 v9  
    1717
    1818TTool-AMS is under development, tested features are accessible under the -experimental option, which also activated other recent, bus tested features of TTool.
    19 
    20 In TTool's main directory TTool, you should have a script file ttool.exe as follows:
    21 
    22 #!/bin/sh
    23 
    24 java -version
    25 cd bin;
    26 java -cp . -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher -openlast
    27 
    28 New features additionally require the -ams option in addition to the experimental option.
    29 
    30 You can also check out the latest version on the specific branch on the public git (use option -b new-lip6) - recommended for developers only.
    31 
    3219
    3320We do encourage you to contact the team at TPT if necessary (see the support section for more information), for problems like installating TTool, using a specific profile, performing formal proofs, and so on. For questions concerning the AMS extension and the SoCLib virtual prototype, please contact daniela.genius@lip6.fr.