Commits · 337ffd992eb534fe82c5a62da591a019b4ffdeee · mbe-tools / TTool

Feb 24, 2021
- Update on CLIT test · 337ffd99
  apvrille authored 4 years ago
  
  337ffd99
Feb 23, 2021
- update on tests · 09ba6940
  maysam zoor authored 4 years ago
  
  09ba6940
- Update on deprecated functions · 1aa22fb4
  Ludovic Apvrille authored 4 years ago
  
  1aa22fb4
Feb 18, 2021
- Update test for Z3. Still failing for missing lib? · ce57911a
  apvrille authored 4 years ago
  
  ce57911a
- Update on test · 2b2d27c5
  Ludovic Apvrille authored 4 years ago
  
  2b2d27c5
Feb 12, 2021
- updating package · 986a0daf
  maysam zoor authored 4 years ago
  
  986a0daf
- Adding interface to remove link between tmltranslator and ui · db2675cd
  Ludovic Apvrille authored 4 years ago
  
  db2675cd
- update package · db5d2801
  maysam zoor authored 4 years ago
  
  db5d2801
- update package · 54d841cf
  maysam zoor authored 4 years ago
  
  54d841cf
Feb 10, 2021
- New analysis for AT · fe2ea1e9
  Ludovic Apvrille authored 4 years ago
  
  fe2ea1e9
Feb 09, 2021
- update tests files names · 19bc5a9a
  maysam zoor authored 4 years ago
  
  19bc5a9a
- update tests files names · 187d60fc
  maysam zoor authored 4 years ago
  
  187d60fc
- update tests files names · d7c05dee
  maysam zoor authored 4 years ago
  
  d7c05dee
Feb 08, 2021
- updating PLAN code · ef852a49
  maysam zoor authored 4 years ago
  
  ef852a49
- Update on attack tree analysis · 074f65cf
  Ludovic Apvrille authored 4 years ago
  
  074f65cf
Feb 04, 2021
- Update on test for model-checking · fa085610
  apvrille authored 4 years ago
  
  fa085610
- Update on test · cb66ad61
  apvrille authored 4 years ago
  
  cb66ad61
- Update on TTool test · 6cd3bd42
  Ludovic Apvrille authored 4 years ago
  
  6cd3bd42
Feb 03, 2021
- Issue #288 Cross-CPU scheduling · 2e3f82fa
  Le Van Truong authored 4 years ago
  
  2e3f82fa
Feb 02, 2021
- Adding test for diplo to avatar · 9333e790
  Ludovic Apvrille authored 4 years ago
  
  9333e790
Jan 28, 2021
- add tab to view transactions from core with hardware CPU node · deeb545f
  Le Van Truong authored 4 years ago
  
  deeb545f
Jan 18, 2021
- Fix Zigbee generated CCode and add runToNextBreakpointMaxTrans · 32ad0afe
  Le Van Truong authored 4 years ago
  
  32ad0afe
Jan 14, 2021
- updating code according to remarks · c8dfa873
  maysam zoor authored 4 years ago
  
  c8dfa873
- add test for multicore CPU double click · 9ec072c7
  Le Van Truong authored 4 years ago
  
  9ec072c7
Jan 12, 2021
- Issue #195 and fix multicore hanging when save trace · 0fed5abc
  Le Van Truong authored 4 years ago
  
  0fed5abc
Jan 11, 2021
- update test · 188df09d
  maysam zoor authored 4 years ago
  
  188df09d
Jan 08, 2021
- Adding histogram for simulation times · b6879685
  Ludovic Apvrille authored 4 years ago
  
  b6879685
- update · bf257a60
  maysam zoor authored 4 years ago
  
  bf257a60
Jan 06, 2021
- un-comment tests and add timeout for the tests · a390d477
  Le Van Truong authored 4 years ago
  
  a390d477
- Deactivating faulty test · f4f46ca7
  Ludovic Apvrille authored 4 years ago
  
  f4f46ca7
- Deactivating termination test · c901afee
  Ludovic Apvrille authored 4 years ago
  
  c901afee
- Adding MAD stereotypes and colors, and corresponding tests · 6fdab9b7
  Ludovic Apvrille authored 4 years ago
  
  6fdab9b7
Dec 16, 2020
- add files · 37600663
  maysam zoor authored 4 years ago
  
  37600663
- Revert "Merge branch 'taintBranch' into 'master'" · 48809d34
  Ludovic Apvrille authored 4 years ago
  
  This reverts merge request !375
  48809d34
Dec 15, 2020
- update according to remarks · 9e1b786d
  maysam zoor authored 4 years ago
  
  9e1b786d
Dec 11, 2020
- update according to remarks · 2c147e15
  maysam zoor authored 4 years ago
  
  2c147e15
Dec 10, 2020
- Draw vertical line for timeline diagram · 196310ac
  Le Van Truong authored 4 years ago
  
  196310ac
Dec 01, 2020
- Resolving bug on random in model checker of avatar and test for this · eb693975
  Ludovic Apvrille authored 4 years ago
  
  eb693975
Nov 30, 2020
- Update on test avatar expr · 70c13379
  Ludovic Apvrille authored 4 years ago
  
  70c13379
- Update on test avatar expr · 9d37c0fb
  Ludovic Apvrille authored 4 years ago
  
  9d37c0fb