Commits · aff74bf39dd840262aed1446d15efd53b39d4c7d · mbe-tools / TTool

Jun 11, 2020
- Improvements on files · aff74bf3
  Ludovic Apvrille authored 4 years ago
  
  aff74bf3
Jan 21, 2019
- Update on bool verification in AVATAR. · a23380d5
  Ludovic Apvrille authored 6 years ago
  
  a23380d5
Jan 16, 2019
- Resolving bool evaluation ticket 170 · 82214b5f
  apvrille authored 6 years ago
  
  82214b5f
Dec 21, 2018
- Update @param description warnings · 030edf17
  Minh Hiep Pham authored 6 years ago
  
  030edf17
Dec 20, 2018
- Update @param, @return and @throws description warnings (2nd part) · c01711fe
  Minh Hiep Pham authored 6 years ago
  
  c01711fe
Nov 19, 2018
- Resolving bug on pointing to avatar transition actions · 7a9f8727
  apvrille authored 6 years ago
  
  7a9f8727
- Update on guard management · 3ffd7ff1
  apvrille authored 6 years ago
  
  3ffd7ff1
Nov 05, 2018
- Correcting bug ticket 163 · 735c7646
  Ludovic Apvrille authored 6 years ago
  
  735c7646
Jul 24, 2018
- Code cleanup · fa928ca2
  Dominique Blouin authored 6 years ago
  
  fa928ca2
Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
Feb 16, 2018
- Renaming probabilities into weight · f86818db
  apvrille authored 7 years ago
  
  f86818db
Feb 15, 2018
- Update on TTool package and adding probabilities to avatar transitions. Prob... · d763ee5a
  Ludovic Apvrille authored 7 years ago
  d763ee5a
Dec 07, 2017
- Reworking the UPPAAL dialog window · 8f3eb3e5
  apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  8f3eb3e5
Nov 22, 2017
- Reworking the UPPAAL dialog window · 1ed8c3ea
  apvrille authored 7 years ago
  
  1ed8c3ea
Jun 19, 2017
- unified end-of-lines in files that presented mixed '\r', '\n' and '\r\n' · 1820b202
  Florian Lugou authored 7 years ago
  
  1820b202
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Apr 21, 2016
- first step in adding library function call and fix for TGCNote box being too... · 0852ae0a
  Florian Lugou authored 9 years ago
  0852ae0a
Apr 01, 2016
- Add warnings for pragmas · e585d5c0
  Florian Lugou authored 9 years ago
  
  e585d5c0
Oct 02, 2015
- fixed bug with ProVerif and InitialKnowledge · 34154e27
  Florian Lugou authored 9 years ago
  
  34154e27
Feb 18, 2014
- Update on CP: graphical part for editing them is now completed · 0ced2746
  Ludovic Apvrille authored 11 years ago
  
  0ced2746
Jan 10, 2014
- Update on TTool: must integrate the new boolean evaluator: bool evaluation may not work · d770dab1
  Ludovic Apvrille authored 11 years ago
  
  d770dab1
Jan 07, 2014
- No commit message · 3559ad4c
  Ludovic Apvrille authored 11 years ago
  3559ad4c
May 09, 2011
- AVATAR design: new syntax checker, and support of else guards · 76bed925
  Ludovic Apvrille authored 13 years ago
  
  76bed925
May 06, 2011
- Update on avatar syntax checker · 49626e64
  Ludovic Apvrille authored 13 years ago
  
  49626e64
Feb 16, 2011
- AVATAR syntax checker: now checking for expressions of received and sent signals, and methods · 32b0b918
  Ludovic Apvrille authored 14 years ago
  
  32b0b918
Jul 13, 2010
- TURTLE: Update on UPPAAL code generator · 8465a79a
  Ludovic Apvrille authored 14 years ago
  8465a79a
May 21, 2010
- Update on avatar translation · 527a5397
  Ludovic Apvrille authored 14 years ago
  
  527a5397