Commits · 34c63d2f9acc47b49bc6129b433083405419404d · mbe-tools / TTool

Sep 28, 2017
- update on build version: build.txt · 34c63d2f
  apvrille authored 7 years ago
  
  34c63d2f
Sep 27, 2017
- Cleanup · 8277e265
  Dominique Blouin authored 7 years ago
  
  8277e265
- Cleanup · da87c65a
  Dominique Blouin authored 7 years ago
  
  da87c65a
- Code cleanup · 2eae1260
  Dominique Blouin authored 7 years ago
  
  2eae1260
- Replace dev trace by error trace · e75064e9
  Fabien Tessier authored 7 years ago
  
  e75064e9
- #Issue 70: Implement standard diagram editing keys · c95d572a
  Fabien Tessier authored 7 years ago
  
  c95d572a
- #Issue 70: Implement standard diagram editing keys · 9dd1518e
  Fabien Tessier authored 7 years ago
  
  9dd1518e
- Add selection component with a single click feature · e8b3eca4
  Fabien Tessier authored 7 years ago
  
  e8b3eca4
- update on build version: build.txt · c19e8b81
  apvrille authored 7 years ago
  
  c19e8b81
Sep 26, 2017
- Refining latency pragma backtracing · c2f30fc6
  Letitia Li authored 7 years ago
  
  c2f30fc6
- Added backtracing to check latency pragma · efa80af6
  Letitia Li authored 7 years ago
  
  efa80af6
- Code format · d63d3a50
  Dominique Blouin authored 7 years ago
  
  d63d3a50
- update on build version: build.txt · b5ed9d10
  apvrille authored 7 years ago
  
  b5ed9d10
Sep 25, 2017
- automatically add latencies to avatar simulation panel · 9b082db8
  Letitia Li authored 7 years ago
  
  9b082db8
- update on build version: build.txt · 0a3c39a4
  apvrille authored 7 years ago
  
  0a3c39a4
- update on build version: build.txt · b426a6cb
  apvrille authored 7 years ago
  
  b426a6cb
Sep 24, 2017
- update on build version: build.txt · fa0475be
  apvrille authored 7 years ago
  
  fa0475be
- 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
- update on build version: build.txt · 9e629516
  apvrille authored 7 years ago
  
  9e629516
- update on build version: build.txt · d7755482
  apvrille authored 7 years ago
  
  d7755482
- 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
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
- removed log messages · 7444e6ff
  Florian Lugou authored 7 years ago
  
  7444e6ff
- Fixed UPPAAL analysis · d2279360
  Letitia Li authored 7 years ago
  
  d2279360
- Fix dialog windows bug (disabled buttons) · c89f3670
  Fabien Tessier authored 7 years ago
  
  c89f3670
- Modifying size of minimization frame · 5417a6d7
  apvrille authored 7 years ago
  
  5417a6d7
- fixed bug with parsing ProVerif traces · 06c5c922
  Florian Lugou authored 7 years ago
  
  06c5c922
Sep 19, 2017
- Fix diagram panel limits · ad0d748b
  Fabien Tessier authored 7 years ago
  
  ad0d748b
- Add javadoc and comments for new class JDialogBase · ac069382
  Fabien Tessier authored 7 years ago
  
  ac069382
- Add inheritance and initButtons method on JDialog classes · 90d5807a
  Fabien Tessier authored 7 years ago
  
  90d5807a
Sep 18, 2017
- Create inheritance for dialog windows and shortcut keys (Enter, Escape) · 2c4d1204
  Fabien Tessier authored 7 years ago
  
  2c4d1204
- #Issue 70: Copy backspace behaviour to suppr key · 3e1be585
  Fabien Tessier authored 7 years ago
  
  3e1be585
Sep 15, 2017
- Enlarge resize space for resizing box with mouse · fe2192c7
  Fabien Tessier authored 7 years ago
  
  fe2192c7
- Fix coding style · c902d8de
  Fabien Tessier authored 7 years ago
  
  c902d8de
- Enhancing sources · 45dd8f23
  apvrille authored 7 years ago
  
  45dd8f23
- Enhancing sources · 500b8f19
  apvrille authored 7 years ago
  
  500b8f19
Sep 14, 2017
- Issue #32 : Improved document generation · c3147efe
  Dominique Blouin authored 7 years ago
  
  c3147efe