Commits · 0da5c78a3c9d9f5e869b7f5320957d2d7d3640d8 · mbe-tools / TTool

May 07, 2015
- modified class FepBuffer so as to embed more MEC specific information · 0da5c78a
  Andrea Enrici authored 9 years ago
  
  0da5c78a
May 04, 2015
- corrected code generation when no parameters are added. modified the... · 7fe44030
  Andrea Enrici authored 9 years ago
  
  corrected code generation when no parameters are added. modified the compilation process from gtaphical window
  7fe44030
Apr 30, 2015
- changed window for c code generation · d3d7b8d5
  Andrea Enrici authored 9 years ago
  
  d3d7b8d5
Apr 27, 2015
- changed user window to generate C code · b0a89ed1
  Andrea Enrici authored 9 years ago
  
  b0a89ed1
- No commit message · a6ad0137
  Andrea Enrici authored 9 years ago
  
  No commit message
  a6ad0137
- corrected drone model bug · be180be5
  Andrea Enrici authored 9 years ago
  
  be180be5
- Update on window of syntax checking · 19c916ba
  Ludovic Apvrille authored 9 years ago
  
  19c916ba
- Update on window of syntax checking · b992bf34
  Ludovic Apvrille authored 9 years ago
  
  b992bf34
- Update on window for managing syntax checking · a92541fb
  Ludovic Apvrille authored 9 years ago
  
  a92541fb
- solved compatibility bug with old versions of models · cf914cbd
  Andrea Enrici authored 9 years ago
  
  cf914cbd
- corrected memory copy MEC · 8b2ce8ff
  Andrea Enrici authored 9 years ago
  
  8b2ce8ff
Apr 22, 2015
- Enable / disable on attacks of attack graphs · c66f99fd
  Ludovic Apvrille authored 9 years ago
  
  c66f99fd
- added conversion of ctx for CPs · b3b1fc90
  Andrea Enrici authored 9 years ago
  
  b3b1fc90
- added code for CPs · 3f70695b
  Andrea Enrici authored 9 years ago
  
  3f70695b
- Bug on properties in avatarpd resolved - bug found by thales · 6c683569
  Ludovic Apvrille authored 9 years ago
  
  6c683569
Apr 21, 2015
- Update on attack graphs · 02bd4c5f
  Ludovic Apvrille authored 9 years ago
  
  02bd4c5f
- Update on pd setting: out port on toggle · b8967bf8
  Ludovic Apvrille authored 9 years ago
  
  b8967bf8
Apr 20, 2015
- Update on proverif info on authenticity · 5c710a01
  Ludovic Apvrille authored 9 years ago
  
  5c710a01
- started to add correct code that compiles for CPs · 85d2abac
  Andrea Enrici authored 9 years ago
  
  85d2abac
- remove client-message test file · 07030bbf
  Dominique Blouin authored 9 years ago
  
  07030bbf
- remove client and message file · f262c23c
  Dominique Blouin authored 9 years ago
  
  f262c23c
Apr 19, 2015
- seperate searching result to differnt tab, fix bug of events; split... · f817a8e0
  Dominique Blouin authored 9 years ago
  
  seperate searching result to differnt tab, fix bug of events; split component's name before searching
  f817a8e0
Apr 16, 2015
- completed the correction of errors. It compiles. But CP routines have been commented. · 1dc1ac83
  Andrea Enrici authored 9 years ago
  
  1dc1ac83
- corrected code generation for compilation. part II · 592cd379
  Andrea Enrici authored 9 years ago
  
  592cd379
Apr 15, 2015
- started to correct compilation errors · abdc72d3
  Andrea Enrici authored 9 years ago
  
  abdc72d3
- Adding support for validation / verification of attack trees · 6ef7f0c8
  Ludovic Apvrille authored 9 years ago
  
  6ef7f0c8
Apr 14, 2015
- Update on syntax checking attack trees · f2a31aab
  Ludovic Apvrille authored 9 years ago
  
  f2a31aab
Apr 13, 2015
- Update on syntax checking attack trees · d047984d
  Ludovic Apvrille authored 9 years ago
  
  d047984d
- Update on syntax checking attack trees · 752e7d5f
  Ludovic Apvrille authored 9 years ago
  
  752e7d5f
- Update on syntax checking attack trees · 5f92bd3c
  Ludovic Apvrille authored 9 years ago
  
  5f92bd3c
- Update on attack trees management: syntax checking · 17e31f21
  Ludovic Apvrille authored 9 years ago
  
  17e31f21
Apr 02, 2015
- corrected code after first check with daniel. added parameter of type address... · 5abd4b0a
  Andrea Enrici authored 9 years ago
  
  corrected code after first check with daniel. added parameter of type address for sequence diagram attributes
  5abd4b0a
- Correcting bug on detecting wrong events in diplodocus · d4013b04
  Ludovic Apvrille authored 9 years ago
  
  d4013b04
- update on build version: builder.txt · 0f60845d
  Dominique Blouin authored 9 years ago
  
  0f60845d
- update on build version: builder.txt · 32bb2993
  Dominique Blouin authored 9 years ago
  
  32bb2993
Apr 01, 2015
- added CP parameters to the generated code · 6d047453
  Andrea Enrici authored 9 years ago
  
  6d047453
- corrected bug with dialog window · 253d36fc
  Andrea Enrici authored 9 years ago
  
  253d36fc
- addec format check to assign value button · 53f7a2c1
  Andrea Enrici authored 9 years ago
  
  53f7a2c1
Mar 31, 2015
- added assignement of cp attributes · 54c9abcd
  Andrea Enrici authored 9 years ago
  
  54c9abcd
- corrected bug with cp name · bf56f33e
  Andrea Enrici authored 9 years ago
  
  bf56f33e