Commits · 4a9b7c29d969dad629f1931005acc2ab02c74224 · mbe-tools / TTool

Jan 12, 2017
- Issue #17 : Limit the size of opening dialogs to the size of the screen · 4a9b7c29
  dblouin authored 8 years ago
  
  Bug in index of for loops
  4a9b7c29
- Issue #17 Limit the size of opening dialogs to the size of the screen · c9c1e4d5
  dblouin authored 8 years ago
  
  c9c1e4d5
- Graphmin · 41b56d47
  Ludovic Apvrille authored 8 years ago
  
  41b56d47
Jan 11, 2017
- Adding minimization alfos debugged · 8d2a6080
  Ludovic Apvrille authored 8 years ago
  
  8d2a6080
- Moved the launch config to exclude it from build · 41780b51
  dblouin authored 8 years ago
  
  41780b51
- More autosecure design fixes · a394d0ab
  Letitia Li authored 8 years ago
  
  a394d0ab
- Added TTool launch config for Eclipse development · 08b6326b
  dblouin authored 8 years ago
  
  08b6326b
- Project files for Eclipse CDT development · 96f509be
  dblouin authored 8 years ago
  
  96f509be
- Update on graph management · 89baea64
  apvrille authored 8 years ago
  
  89baea64
- Update on graph management from TTool · 630a2ea4
  apvrille authored 8 years ago
  
  630a2ea4
- Update on graph management from TTool · e25be69e
  apvrille authored 8 years ago
  
  e25be69e
- Auto Security Generation model fix · 4aea4700
  Letitia Li authored 8 years ago
  
  4aea4700
Jan 09, 2017
- Update on graph management · bb793b2e
  Ludovic Apvrille authored 8 years ago
  
  bb793b2e
- Update on algo management · cb1f0ead
  apvrille authored 8 years ago
  
  cb1f0ead
- Update on minimization management · f8a87ef9
  apvrille authored 8 years ago
  
  f8a87ef9
Jan 06, 2017
- Update on block management in Graphs · 2c29f4e6
  Ludovic Apvrille authored 8 years ago
  
  2c29f4e6
- Automatic Security Generation fix without authenticity · 76aa1c55
  Letitia Li authored 8 years ago
  
  76aa1c55
- Alfo minimization: first step... · 7cce861f
  apvrille authored 8 years ago
  
  7cce861f
- Update on graph minimization : first partition · 60c9f8ec
  apvrille authored 8 years ago
  
  60c9f8ec
- Update on minimization algo: part removing tau transitions · cc27935c
  apvrille authored 8 years ago
  
  cc27935c
Jan 05, 2017
- Update on Makefile · 3e0ce43c
  Ludovic Apvrille authored 8 years ago
  
  3e0ce43c
- Update readme · cae905ef
  Ludovic Apvrille authored 8 years ago
  
  cae905ef
- Update on graph minimization · a6aa6fff
  apvrille authored 8 years ago
  
  a6aa6fff
Jan 04, 2017
- Updating state management in avatar model checker · 43c42665
  apvrille authored 8 years ago
  
  43c42665
- MulticoreCPU files · cf7a06bd
  Letitia Li authored 8 years ago
  
  cf7a06bd
Dec 20, 2016
- avatar drawpanel fix · ecb733d3
  Letitia Li authored 8 years ago
  
  ecb733d3
Dec 16, 2016
- Update on model checker handling of composite states · 2be82f6a
  apvrille authored 8 years ago
  
  2be82f6a
- Resolving bug on timer management · 25c782b2
  apvrille authored 8 years ago
  
  25c782b2
Dec 15, 2016
- Update on RG management · 52628953
  apvrille authored 8 years ago
  
  52628953
- update on build version: builder.txt · 4ab4b7e3
  apvrille authored 8 years ago
  
  4ab4b7e3
- Update on graph management · 10c10e25
  apvrille authored 8 years ago
  
  10c10e25
- update on build version: builder.txt · 0b92f7de
  apvrille authored 8 years ago
  
  0b92f7de
- resolving buf on fifos · bea6c7ff
  apvrille authored 8 years ago
  
  bea6c7ff
Dec 14, 2016
- Update on graph management · b15e39de
  apvrille authored 8 years ago
  
  b15e39de
Dec 13, 2016
- Update readme · 8819bb98
  Ludovic Apvrille authored 8 years ago
  
  8819bb98
- Generated design avatar fixes · 0650f3b6
  Letitia Li authored 8 years ago
  
  0650f3b6
Dec 12, 2016
- Resolving bug on model checker with action transitions from the same state · 882fa52d
  apvrille authored 8 years ago
  
  882fa52d
- Resolving bug on model checker with action transitions from the same state · a8df1102
  apvrille authored 8 years ago
  
  a8df1102
- transition bug fix · ffb389c8
  Letitia Li authored 8 years ago
  
  ffb389c8
- Update GTURTLEModeling.java for bug fix · 011e0ae5
  Letitia Li authored 8 years ago
  
  011e0ae5