Commits · 1d81a5b8f0984b12e448cd7e0b699ce46f11c53c · mbe-tools / TTool

Feb 22, 2017
- update on build version: builder.txt · 1e3abcad
  apvrille authored 8 years ago
  
  1e3abcad
Feb 21, 2017
- activating internal model checker · 2e6277ec
  Ludovic Apvrille authored 8 years ago
  
  2e6277ec
- Pragma graphics fix · d85e7991
  Letitia Li authored 8 years ago
  
  d85e7991
- update on build version: builder.txt · e2a24d3b
  apvrille authored 8 years ago
  
  e2a24d3b
Feb 20, 2017
- Update on identification of modes in DSE dialog · 21b2fba1
  Ludovic Apvrille authored 8 years ago
  
  21b2fba1
- Update on DSE window: keeping track of previously set values · 076b3e41
  Ludovic Apvrille authored 8 years ago
  
  076b3e41
- Better UI for pragma syntax checking · d0a87f7f
  Letitia Li authored 8 years ago
  
  d0a87f7f
- Resolving bug on infinite loops in TML, issue #24 · 6ac50970
  Ludovic Apvrille authored 8 years ago
  
  6ac50970
- Refactoring of MainGui: putting away mode management · 253233c9
  Ludovic Apvrille authored 8 years ago
  
  253233c9
- update on build version: builder.txt · 52110846
  apvrille authored 8 years ago
  
  52110846
Feb 19, 2017
- Refactoring of MainGUI: moving Mode management in another class · 45034e10
  Ludovic Apvrille authored 8 years ago
  
  45034e10
- Adding actionperformer class · cb6d2345
  Ludovic Apvrille authored 8 years ago
  
  cb6d2345
- Refactoring of MainGUI: putting in ActionPerformer the huge ifthenelse on... · b9ebb20e
  Ludovic Apvrille authored 8 years ago
  
  Refactoring of MainGUI: putting in ActionPerformer the huge ifthenelse on action identification from events
  b9ebb20e
- Changing the Proverif dialog window · d8c3641b
  Ludovic Apvrille authored 8 years ago
  
  d8c3641b
- update on build version: builder.txt · e59017b4
  apvrille authored 8 years ago
  
  e59017b4
Feb 18, 2017
- update on build version: builder.txt · fb4e09f7
  apvrille authored 8 years ago
  
  fb4e09f7
Feb 17, 2017
- Security auto generation fix · dc56bae5
  Letitia Li authored 8 years ago
  
  dc56bae5
- update on build version: builder.txt · 2232ab9e
  apvrille authored 8 years ago
  
  2232ab9e
Feb 16, 2017
- AvatarBD security result fix · 152b7945
  Letitia Li authored 8 years ago
  
  152b7945
- added counting of signals for syncchannel dimensioning · 64772a00
  Daniela Genius authored 8 years ago
  
  64772a00
- authenticity lock zoom fix · f4db2936
  Letitia Li authored 8 years ago
  
  f4db2936
- update on build version: builder.txt · 6e8ddd84
  apvrille authored 8 years ago
  
  6e8ddd84
Feb 15, 2017
- Resolving bug on CPU diplo dialog · 82d3fdb6
  apvrille authored 8 years ago
  
  82d3fdb6
- zoom in with locks · 361e2e1f
  Letitia Li authored 8 years ago
  
  361e2e1f
- update on build version: builder.txt · b3f02c99
  apvrille authored 8 years ago
  
  b3f02c99
Feb 14, 2017
- aggrandi profondeur canal synchrone · b54a904a
  Daniela Genius authored 8 years ago
  
  b54a904a
- update on build version: builder.txt · 82126731
  apvrille authored 8 years ago
  
  82126731
Feb 13, 2017
- update on build version: builder.txt · d98f5bb2
  apvrille authored 8 years ago
  
  d98f5bb2
Feb 12, 2017
- update on build version: builder.txt · 95fe0fbb
  apvrille authored 8 years ago
  
  95fe0fbb
Feb 11, 2017
- update on build version: builder.txt · 4411186b
  apvrille authored 8 years ago
  
  4411186b
Feb 10, 2017
- Removed unused fields · 89eae1d4
  Dominique Blouin authored 8 years ago
  
  89eae1d4
- encore bugfix syncchannel (resolu) · 3d543d38
  Daniela Genius authored 8 years ago
  
  3d543d38
- Removed useless self assignment · a7686c86
  Dominique Blouin authored 8 years ago
  
  a7686c86
- update on build version: builder.txt · 73d8aad4
  apvrille authored 8 years ago
  
  73d8aad4
Feb 09, 2017
- update on build version: builder.txt · 944a3b1e
  apvrille authored 8 years ago
  
  944a3b1e
Feb 08, 2017
- :updates · 87be84de
  Daniela Genius authored 8 years ago
  
  87be84de
- Interactive Simulation switching to checkpoint element · 9d0bc462
  Letitia Li authored 8 years ago
  
  9d0bc462
- update on build version: builder.txt · 8c57ea1b
  apvrille authored 8 years ago
  
  8c57ea1b
Feb 07, 2017
- update on build version: builder.txt · 3987fdd7
  apvrille authored 8 years ago
  
  3987fdd7
Feb 06, 2017
- signaler blocks non mapped (un début) · 3a7f7202
  Daniela Genius authored 8 years ago
  
  3a7f7202