Commits · f2a31aab76be71bc5a158191bdb71119573d0e76 · mbe-tools / TTool

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
- linked CP to dataTransfer · 0bab756a
  Andrea Enrici authored 9 years ago
  
  0bab756a
Mar 30, 2015
- Update on leadsto in uppaal checking · 428b1d3f
  Ludovic Apvrille authored 9 years ago
  
  428b1d3f
- corrected buffer for mapper · 7d6bc92f
  Andrea Enrici authored 9 years ago
  
  7d6bc92f
- added correct code for INTL buffers as discussed with Renaud · 9edc0c69
  Andrea Enrici authored 9 years ago
  
  9edc0c69
- Resolving bug on the window of avatar simulation: exception when no asynchronous channel · 363a6e29
  Ludovic Apvrille authored 9 years ago
  
  363a6e29
- Update on diplo comp diagm: help to select events, channels and requests · 24921664
  Ludovic Apvrille authored 9 years ago
  
  24921664
Mar 29, 2015

add 2 icons on menu bar; change address to check connection; change... · 1095c437

add 2 icons on menu bar; change address to check connection; change notification's content;  add name for search dialog; add text in search field for  selected block

1095c437

Mar 28, 2015
- advanced in modyfing gui for mapper and interleaver · 4f978dd4
  Andrea Enrici authored 10 years ago
  
  4f978dd4
Mar 27, 2015
- changed symbol_base_address with bit_offfset_first_address · 972385a9
  Andrea Enrici authored 10 years ago
  
  972385a9
- solved bugs with tabbedPane · ca9431e5
  Andrea Enrici authored 10 years ago
  
  ca9431e5
- created dedicated class for intl buffer · ae613057
  Andrea Enrici authored 10 years ago
  
  ae613057
- added tabbedPane for mapper and intl buffers. created dedicated class for intl buffer · 099f8f33
  Andrea Enrici authored 10 years ago
  
  099f8f33
- Update on assisting diplo designer with help on event selection · 91a9afd6
  Ludovic Apvrille authored 10 years ago
  
  91a9afd6
- Update on assisting diplo designer with help on event selection · 69cc299d
  Ludovic Apvrille authored 10 years ago
  
  69cc299d
- corrected routines · 3349edb2
  Andrea Enrici authored 10 years ago
  
  3349edb2
- corrected buffer fields names · d5644448
  Andrea Enrici authored 10 years ago
  
  d5644448
- corrected context names · 37fa3b31
  Andrea Enrici authored 10 years ago
  
  37fa3b31
- corrected the translation of buffer parameters into C code · 8602a6d9
  Andrea Enrici authored 10 years ago
  
  8602a6d9
Mar 26, 2015
- added buffer parameters to code generation in init_buffers routine · 24139717
  Andrea Enrici authored 10 years ago
  
  24139717
- added code to add inBuffers to dataTransfers · b70cc8b3
  Andrea Enrici authored 10 years ago
  
  b70cc8b3
- corrected init value for prex signals · 9d6e3e60
  Andrea Enrici authored 10 years ago
  
  9d6e3e60
- No commit message · 70a10f05
  Andrea Enrici authored 10 years ago
  
  No commit message
  70a10f05
- added method to check that no ports of fork channels are mapped to cps · 836212d7
  Andrea Enrici authored 10 years ago
  
  836212d7
- No commit message · f74391bb
  Andrea Enrici authored 10 years ago
  
  No commit message
  f74391bb
- ameliorated the printing of the data structure to favour testing · e91db1aa
  Andrea Enrici authored 10 years ago
  
  e91db1aa
- No commit message · 3ffba41b
  Andrea Enrici authored 10 years ago
  
  No commit message
  3ffba41b