Commits · 26013b3602e053d7005a554a2793c30930e1ac08 · mbe-tools / TTool

Jun 19, 2018
- Adding directory method to C code generation plugin · 26013b36
  Ludovic Apvrille authored 6 years ago
  
  26013b36
Jun 07, 2018
- Removing penalties · 92e4256b
  Ludovic Apvrille authored 6 years ago
  
  92e4256b
May 28, 2018
- NEw support for UTF8 characters · 0c62257f
  Ludovic Apvrille authored 6 years ago
  
  0c62257f
May 15, 2018
- Switching to old src files before the merge with LIP6 · ad6b2dbd
  Ludovic Apvrille authored 6 years ago
  
  ad6b2dbd
- Rebasing before SystemCAMS · bbbb2549
  Ludovic Apvrille authored 6 years ago
  
  bbbb2549
May 09, 2018
- sources par irina · 65dc38d8
  Daniela GENIUS authored 6 years ago
  
  65dc38d8
Mar 22, 2018
- Improvement to create sim code directory in projects for DSE · 270a1f05
  apvrille authored 7 years ago
  
  270a1f05
Mar 12, 2018
- Resolving bug on the creation of directoris for diplodocus projects · 52726a34
  apvrille authored 7 years ago
  
  52726a34
Mar 05, 2018
- Added the possibility to pass compilation options to the code generation... · 9c06e830
  Andrea Enrici authored 7 years ago
  
  Added the possibility to pass compilation options to the code generation default engine and to the plugin
  9c06e830
Feb 16, 2018
- Update on attributes on avatar transitions and adding missing icons · c0391c15
  apvrille authored 7 years ago
  
  c0391c15
Feb 09, 2018
- Adding a timer on https connections · ca006d8e
  apvrille authored 7 years ago
  
  ca006d8e
Dec 21, 2017
- Remove useless import · bc0eeae0
  Fabien Tessier authored 7 years ago
  
  bc0eeae0
- Move directory creation from FileUtils to SpecConfigTTool · cded7e18
  Fabien Tessier authored 7 years ago
  
  cded7e18
- Fix some bugs · a64c26bb
  Fabien Tessier authored 7 years ago
  
  a64c26bb
Dec 07, 2017
- Update on Intbool management and safety proofs · 622058b0
  apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  622058b0
- Allow file extension to be null to delete all directory content · 798740f8
  Dominique Blouin authored 7 years ago and Fabien Tessier committed 7 years ago
  
  798740f8
Nov 22, 2017
- Update on Intbool management and safety proofs · 48f724b2
  apvrille authored 7 years ago
  
  48f724b2
Nov 21, 2017
- Allow file extension to be null to delete all directory content · 5d4ee8ed
  Dominique Blouin authored 7 years ago
  
  5d4ee8ed
Nov 16, 2017
- Config nc generation for .ttool project · 6e49e6ff
  Fabien Tessier authored 7 years ago
  
  6e49e6ff
Nov 03, 2017
- Config UPPAAl generation for .ttool project · e302c5ca
  Fabien Tessier authored 7 years ago
  
  e302c5ca
Oct 23, 2017
- Config graphs paths for .ttool project · f9283e5c
  Fabien Tessier authored 7 years ago
  
  f9283e5c
Oct 20, 2017
- Clone README and licence files in project directories · e4f1f79f
  Fabien Tessier authored 7 years ago
  
  e4f1f79f
Oct 16, 2017
- Config TML generation for .ttool project · 449f336e
  Fabien Tessier authored 7 years ago
  
  449f336e
- Config AVATAR generation code and proverif for .ttool project · 13b6564e
  Fabien Tessier authored 7 years ago
  
  13b6564e
Oct 13, 2017
- New class to change config without touch config from config.xml · e0534397
  Fabien Tessier authored 7 years ago
  
  e0534397
- Fix c++ files generation for .xml file · 047784d2
  Fabien Tessier authored 7 years ago
  
  047784d2
- Fix c++ compilation for .ttool file · f057b505
  Fabien Tessier authored 7 years ago
  
  f057b505
Oct 12, 2017
- Save generated code in c++code directory in .ttool · e56cdc56
  Fabien Tessier authored 7 years ago
  
  e56cdc56
- Allow to load .ttool directory · 79ffa072
  Fabien Tessier authored 7 years ago
  
  79ffa072
Sep 22, 2017
- Update on handle plugins with empty package · 6774ef5a
  apvrille authored 7 years ago
  
  6774ef5a
- Update on plugin management · 8e432966
  apvrille authored 7 years ago
  
  8e432966
- Added PLUGIN_PKG entry in the config.xml file to specify the main package of the Nokia-TPT plugins · 63e61050
  Andrea Enrici authored 7 years ago
  
  63e61050
Aug 18, 2017
- update on refusal graphs · 38f81a2e
  apvrille authored 7 years ago
  
  38f81a2e
Jul 13, 2017
- Updating graphical component public plugin · b45e1b33
  apvrille authored 7 years ago
  
  b45e1b33
- Update on plugin for graphical components · 906b185a
  apvrille authored 7 years ago
  
  906b185a
Jul 07, 2017
- Issue #35 : Problem in parsing verification results for different · cccc0ece
  Dominique Blouin authored 7 years ago
  
  versions of UPPAAL due to different output messages
  cccc0ece
Jul 04, 2017
- Update on TTool for supporting Diplodocus C code generation plugins · d64a5dba
  apvrille authored 7 years ago
  
  d64a5dba
- Update on plugin management · 882c7e4e
  apvrille authored 7 years ago
  
  882c7e4e
- Update on plugins · 885c1e23
  apvrille authored 7 years ago
  
  885c1e23
Jun 29, 2017
- Issue #14 point 10: Labels displayed with offset from their containing · 8e4a4cee
  Dominique Blouin authored 7 years ago
  
  boxes when svg export
  8e4a4cee