Commits · 5ee691afbb8868158e23b141ab600c6c908e9d29 · mbe-tools / TTool

Oct 17, 2017
- Adding model and bug correction · 302f0dfe
  Ludovic Apvrille authored 7 years ago
  
  302f0dfe
Oct 03, 2017
- Reslving bug on avatar guards · 2f6b0063
  Ludovic Apvrille authored 7 years ago
  
  2f6b0063
- Added definitely legitimate tml2avatar tests · 378a28d9
  Letitia Li authored 7 years ago
  
  378a28d9
Sep 29, 2017
- fixed bug with syntactically wrong guards · db3f71c2
  Florian Lugou authored 7 years ago
  
  db3f71c2
Sep 28, 2017
- updated unit tests · 4de4d64f
  Letitia Li authored 7 years ago
  
  4de4d64f
Sep 26, 2017
- Added backtracing to check latency pragma · efa80af6
  Letitia Li authored 7 years ago
  
  efa80af6
Sep 25, 2017
- automatically add latencies to avatar simulation panel · 9b082db8
  Letitia Li authored 7 years ago
  
  9b082db8
Sep 24, 2017
- Added new pragma type · 9ec4efca
  Letitia Li authored 7 years ago
  
  9ec4efca
Sep 22, 2017
- Adding latency check to safety pragma · ff99615e
  Letitia Li authored 7 years ago
  
  ff99615e
Sep 20, 2017
- changed 'random' translation to ProVerif so that it discard previous state in 'new' declarations · 4fa7f7bb
  Florian Lugou authored 7 years ago
  
  4fa7f7bb
Sep 01, 2017
- Attacker scenario read/write to channel · 35116cc7
  Letitia Li authored 7 years ago
  
  35116cc7
Jul 04, 2017
- Update on plugins · 885c1e23
  apvrille authored 7 years ago
  
  885c1e23
Jun 29, 2017
- Avatar latency measurement in simulation · bf5ffff4
  Letitia Li authored 7 years ago
  
  bf5ffff4
- Update on plugin management. New PLUGIN_PATH directive · 5ea619af
  apvrille authored 7 years ago
  
  5ea619af
Jun 27, 2017
- added checkbox to forbid message duplication on private channels · 5afcbafa
  Florian Lugou authored 7 years ago
  
  5afcbafa
- Preparing plugin for TGComponents · 7ae4771f
  apvrille authored 7 years ago
  
  7ae4771f
- Moved ConfigurationTTool to new package common · 0208f9ab
  Florian Lugou authored 7 years ago
  
  0208f9ab
- debug vci stats namelist · aecc4377
  Daniela Genius authored 7 years ago
  
  aecc4377
- Update on TTool: code generation in Avatar, modifying custom method definition · 4437fcf2
  apvrille authored 7 years ago
  
  4437fcf2
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 15, 2017
- Manualy fixed some typography problems to prepare for automatic copyright correction · 9f3a12f1
  Florian Lugou authored 7 years ago
  
  9f3a12f1
- generation ldscript · c3d832a6
  Daniela Genius authored 7 years ago
  
  c3d832a6
Jun 14, 2017
- Update on executable code documentation · 60bf5a12
  apvrille authored 7 years ago
  
  60bf5a12
Jun 13, 2017
- fixed problem in Makefile with javadoc · fc393cbb
  Florian Lugou authored 7 years ago
  
  fc393cbb
Jun 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a