Commits · 5c40d4e161ae2aadce222f53585b9d2d28ee88c9 · mbe-tools / TTool · GitLab

Snippets Groups Projects

Feb 22, 2017
- Added mor info on Tests · 5c40d4e1
  dblouin authored 8 years ago
  
  5c40d4e1
- 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
- Adding ISAE model on the FANS system · b022ee5f
  Ludovic Apvrille authored 8 years ago
  
  b022ee5f
- 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
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 4bae4d0c
  Letitia Li authored 8 years ago
  
  4bae4d0c
- 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
- Adding information on TTool Makefile · 5ac31fdc
  Ludovic Apvrille authored 8 years ago
  
  5ac31fdc
- Update on development documentation · 341a9b8f
  Ludovic Apvrille authored 8 years ago
  
  341a9b8f
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 1c56ed3f
  Ludovic Apvrille authored 8 years ago
  
  1c56ed3f
- 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
- Merge branch 'master' of git@gitlab.enst.fr:mbe-tools/TTool.git · 2340e647
  dblouin authored 8 years ago
  
  2340e647
- Converted dev infrastructure document from Word to Latex · 7c3a8969
  dblouin authored 8 years ago
  
  7c3a8969
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · fbd7304b
  Letitia Li authored 8 years ago
  
  fbd7304b
- Security auto generation fix · dc56bae5
  Letitia Li authored 8 years ago
  
  dc56bae5
- Adding proverif directory · 842fbfcd
  Ludovic Apvrille authored 8 years ago
  
  842fbfcd
- Renamed file name ":" to "column" because name is illegal on Windows · 8d4a2f37
  Dominique Blouin authored 8 years ago
  
  8d4a2f37
- Removing disk files · 19119790
  apvrille authored 8 years ago
  
  19119790
- update on build version: builder.txt · 2232ab9e
  apvrille authored 8 years ago
  
  2232ab9e
Feb 16, 2017
- Merge branch 'master' of https://gitlab.telecom-paristech.fr/mbe-tools/TTool · 6f1aa446
  Letitia Li authored 8 years ago
  
  6f1aa446
- 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
- modifications dans config.xml et Makefile.forsoclib pour faire fonctionner TTool "restructure" · 884ab5c0
  Daniela Genius authored 8 years ago
  
  884ab5c0
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · ba50ae90
  Letitia Li authored 8 years ago
  
  ba50ae90
- 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
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 581c82e0
  apvrille authored 8 years ago
  
  581c82e0
- Resolving bug on CPU diplo dialog · 82d3fdb6
  apvrille authored 8 years ago
  
  82d3fdb6
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 6fd3c527
  Letitia Li authored 8 years ago
  
  6fd3c527