Commits · 3d0a5cc76f344bd05da7cc0907a686474e4f6bb1 · mbe-tools / TTool

Feb 26, 2019
- Update on MainGUI · 3d0a5cc7
  Ludovic Apvrille authored 6 years ago
  
  3d0a5cc7
Nov 12, 2018
- Update on jdialognote button and on sig/evt info in activity diag · 9fd701e3
  Ludovic Apvrille authored 6 years ago
  
  9fd701e3
Oct 26, 2018
- Update on cli · c922853f
  apvrille authored 6 years ago
  
  c922853f
- Update on set and Wait ops · 33ac8df7
  apvrille authored 6 years ago
  
  33ac8df7
Oct 25, 2018
- Update on TTool CLI · 51a4916e
  apvrille authored 6 years ago
  
  51a4916e
- Update on interpreter · 8857ce50
  apvrille authored 6 years ago
  
  8857ce50
- update on TTool CLI · 37a6d8e1
  Ludovic Apvrille authored 6 years ago
  
  37a6d8e1
Oct 22, 2018
- Update on cli · 24c487e2
  Ludovic Apvrille authored 6 years ago
  
  24c487e2
Oct 19, 2018
- Update on TTool cli: print · 8181e656
  Ludovic Apvrille authored 6 years ago
  
  8181e656
- Update on TTool CLI · f7379f5c
  Ludovic Apvrille authored 6 years ago
  
  f7379f5c
Oct 17, 2018
- Adding css style · bb54108b
  Ludovic Apvrille authored 6 years ago
  
  bb54108b
Oct 16, 2018
- Adding CLI features · c048b1d0
  Ludovic Apvrille authored 6 years ago
  
  c048b1d0
Oct 05, 2018
- Update on CLI for TTool · de266513
  Ludovic Apvrille authored 6 years ago
  
  de266513
Jul 03, 2018
- Resolving bug on boolexpreval in RG using the new expr evaluator · 2370663e
  Ludovic Apvrille authored 6 years ago
  
  2370663e
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 7 years ago
  
  65dc38d8
Apr 04, 2018
- Changing the graph package of location · 837a9e2c
  apvrille authored 7 years ago
  
  837a9e2c
Jan 18, 2018
- Adding the expansion of the graph subtree when a graph is added. Moreover,... · 52196cb4
  apvrille authored 7 years ago
  52196cb4
Jan 10, 2018
- Adding graphs saving support for minimization and test sequences · 612b9d62
  apvrille authored 7 years ago
  
  612b9d62
Aug 21, 2017
- Update on Test sequences generation · b89999da
  apvrille authored 7 years ago
  
  b89999da
Aug 18, 2017
- update on refusal graphs · 38f81a2e
  apvrille authored 7 years ago
  
  38f81a2e
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
Dec 08, 2016
- Update on rg management · 0be69e25
  apvrille authored 8 years ago
  
  0be69e25
- Update on rg management · 0346c5ba
  apvrille authored 8 years ago
  
  0346c5ba
Dec 07, 2016
- Adding rg in the left tree · e3657874
  apvrille authored 8 years ago
  
  e3657874
Nov 25, 2016
- Latency measurement fixes · 11f5689e
  Letitia Li authored 8 years ago
  
  11f5689e
Nov 21, 2016
- interactive simulation classes added · 31d965e5
  Letitia Li authored 8 years ago
  
  31d965e5
Jun 07, 2016
- Resolving livelock bug on empty transition · cf43a600
  Ludovic Apvrille authored 8 years ago
  
  cf43a600
Apr 08, 2016
- First part of AvatarLibraryFunction · 941ee2c7
  Florian Lugou authored 9 years ago
  
  941ee2c7
Mar 24, 2016
- Added AvatarSyntaxTranslator for easy modification of guards · 6ce56d26
  Florian Lugou authored 9 years ago
  
  6ce56d26
- update · d430861f
  Daniela Genius authored 9 years ago
  
  d430861f
Mar 22, 2016
- Fixed bug with else and empty guards · a9724358
  Florian Lugou authored 9 years ago
  
  a9724358
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
Sep 23, 2015
- adaptation to java 7 of precedent commit · d18a523d
  Florian Lugou authored 9 years ago
  
  d18a523d
Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  cc582c07
Apr 20, 2015
- started to add correct code that compiles for CPs · 85d2abac
  Andrea Enrici authored 10 years ago
  
  85d2abac