Commits · 785226e7c7f61a1290c113704111c538d74dcf17 · mbe-tools / TTool

Feb 13, 2018
- Compiling but tests ko... · 785226e7
  apvrille authored 7 years ago
  
  785226e7
- Update on TTool debug traces · 0faf5965
  apvrille authored 7 years ago
  
  0faf5965
- Update on pressure controller graphical interface · bb6a0058
  Ludovic Apvrille authored 7 years ago
  
  bb6a0058
- Removing the too many debug traces · 782c5983
  apvrille authored 7 years ago
  
  782c5983
- update on build version: build.txt · 9b231400
  apvrille authored 7 years ago
  
  9b231400
- Bug on status information · 79b658dd
  apvrille authored 7 years ago
  
  79b658dd
- update on build version: build.txt · d55e37c8
  apvrille authored 7 years ago
  
  d55e37c8
Feb 12, 2018
- Merge branch 'labsoc_sec' into 'master' · 45703f98
  Ludovic Apvrille authored 7 years ago
  
  Updated simulation trace generation See merge request !41
  45703f98
- Enhancing desc on how to add a graphical component to a TTool diagram · e5212453
  apvrille authored 7 years ago
  
  e5212453
- Updated simulation trace bug · d594d986
  Letitia Li authored 7 years ago
  
  d594d986
- Merge branch 'matteo_branch' into 'master' · 8febc04d
  Ludovic Apvrille authored 7 years ago
  
  Adding chapter "how to add a graphical component in TTool" in .doc/dev_infrastructure/dev_infrastucture.tex See merge request !40
  8febc04d
- Resolving bug on changing dir to generate diplodocus simulation code · c51be439
  apvrille authored 7 years ago
  
  c51be439
- Adding doc how to add a graphical component in TTool/DIPLODOCUS · 3f823bd0
  Matteo Bertolino authored 7 years ago
  
  3f823bd0
- update on build version: build.txt · ec4a1798
  apvrille authored 7 years ago
  
  ec4a1798
Feb 11, 2018
- update on build version: build.txt · adc23aa8
  apvrille authored 7 years ago
  
  adc23aa8
Feb 10, 2018
- update on build version: build.txt · 24882e8a
  apvrille authored 7 years ago
  
  24882e8a
Feb 09, 2018
- Update on syntax checker of TML · f90a2667
  apvrille authored 7 years ago
  
  f90a2667
- update on build version: build.txt · 944e9e29
  apvrille authored 7 years ago
  
  944e9e29
- Update on code generation facility · b8fa2bb2
  apvrille authored 7 years ago
  
  b8fa2bb2
- Update on how directories in avatar code generation are handled. config.xml... · 71a6d0e5
  apvrille authored 7 years ago
  
  Update on how directories in avatar code generation are handled. config.xml files ahve been updated as well
  71a6d0e5
- Update on code generation · fda5e482
  apvrille authored 7 years ago
  
  fda5e482
- update on build version: build.txt · 718148f3
  apvrille authored 7 years ago
  
  718148f3
- Update on Makefile install to remove error in Linux · dc7e90ce
  apvrille authored 7 years ago
  
  dc7e90ce
- Update on command line · 6d530441
  apvrille authored 7 years ago
  
  6d530441
- Adding a timer on https connections · ca006d8e
  apvrille authored 7 years ago
  
  ca006d8e
- update on build version: build.txt · 88f54fdb
  apvrille authored 7 years ago
  
  88f54fdb
Feb 08, 2018
- update on build version: build.txt · 8c6df7d1
  apvrille authored 7 years ago
  
  8c6df7d1
Feb 07, 2018
- Adding a probability parameter to faults: IF · 8054edf7
  apvrille authored 7 years ago
  
  8054edf7
- Adding a probability parameter to faults · aff7d579
  apvrille authored 7 years ago
  
  aff7d579
- Fault tree: semantics of NOT node. All nodes should correctly work. Correct... · 4777a5ee
  apvrille authored 7 years ago
  
  Fault tree: semantics of NOT node. All nodes should correctly work. Correct bug on UPPAAL backtracing
  4777a5ee
- Update on countermeasures semantics · d38ac329
  apvrille authored 7 years ago
  
  d38ac329
- Update on action management · 44837a8f
  apvrille authored 7 years ago
  
  44837a8f
- Adding Diplodocus FPGA management in GUI to IF and to TML · 52449770
  apvrille authored 7 years ago
  
  52449770
- FPGA component added in Diplodocus architecture diagrams · e223b8da
  apvrille authored 7 years ago
  
  e223b8da
- update on build version: build.txt · 36034ce2
  apvrille authored 7 years ago
  
  36034ce2
Feb 06, 2018
- Updating the reset of reacahbility and liveness when performing formal... · 68eb84df
  apvrille authored 7 years ago
  
  Updating the reset of reacahbility and liveness when performing formal verification. This reset now applies to the whole hierarchy of components
  68eb84df
- Updating how reachability and liveness are displayed in order to remove... · a3d75faa
  apvrille authored 7 years ago
  
  Updating how reachability and liveness are displayed in order to remove previous infos when making a new formal verif
  a3d75faa
- Update on TTool icons for opening / new models and projects · 30a945f3
  apvrille authored 7 years ago
  
  30a945f3
- Update on iconmanager for open projects · ea0dc6b9
  apvrille authored 7 years ago
  
  ea0dc6b9
- Update on iconmanager for open projects · 6206c9e8
  apvrille authored 7 years ago
  
  6206c9e8