Commits · 5de82f05a2275f7586a765863656a55807f10263 · mbe-tools / TTool

Feb 15, 2018
- Diff on SpecConfig for better code generation · 5de82f05
  apvrille authored 7 years ago
  
  5de82f05
- update on build version: build.txt · 0791a637
  apvrille authored 7 years ago
  
  0791a637
Feb 14, 2018
- update on build version: build.txt · 679c09cc
  apvrille authored 7 years ago
  
  679c09cc
Feb 13, 2018
- update on build version: build.txt · c3a803c7
  apvrille authored 7 years ago
  
  c3a803c7
- removed useless loop · f50b2686
  Florian Lugou authored 7 years ago
  
  f50b2686
- added icons to tests · d002d859
  Florian Lugou authored 7 years ago
  
  d002d859
- Resolving bug on failing to check diplo diag syntax · d447a037
  apvrille authored 7 years ago
  
  d447a037
- Compiling but tests ko... · 785226e7
  apvrille authored 7 years ago
  
  785226e7
- 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
- Updated simulation trace bug · d594d986
  Letitia Li authored 7 years ago
  
  d594d986
- Resolving bug on changing dir to generate diplodocus simulation code · c51be439
  apvrille authored 7 years ago
  
  c51be439
- 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
- 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 · 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
- Performance pragma format syntax checking · 463c9ddf
  Letitia Li authored 7 years ago
  
  463c9ddf
- update on build version: build.txt · e4e0dbcb
  apvrille authored 7 years ago
  
  e4e0dbcb