Commits · ca006d8ee35fc33198681d9dd7176ad3fc91b1e6 · mbe-tools / TTool

Feb 09, 2018
- 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
- Update on simulator compilation · 05993d3e
  Ludovic Apvrille authored 7 years ago
  
  05993d3e
- Merge branch 'labsoc_sec' into 'master' · 4cd7514f
  Ludovic Apvrille authored 7 years ago
  
  Labsoc sec See merge request !38
  4cd7514f
- 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
Feb 05, 2018
- update on build version: build.txt · e152e65d
  apvrille authored 7 years ago
  
  e152e65d
Feb 04, 2018
- update on build version: build.txt · 33813ed3
  apvrille authored 7 years ago
  
  33813ed3
Feb 03, 2018
- update on build version: build.txt · ecb41d08
  apvrille authored 7 years ago
  
  ecb41d08
Feb 02, 2018
- Resolving bug on popup in Windows for trees · bfadfae4
  apvrille authored 7 years ago
  
  bfadfae4
- moved firewalls to experimental · 019a7498
  Letitia Li authored 7 years ago
  
  019a7498
- moved firewalls to experimental · a220a21d
  Letitia Li authored 7 years ago
  
  a220a21d
- Merge branch 'labsoc_sec' into 'master' · 7822013f
  Ludovic Apvrille authored 7 years ago
  
  Invisible Architecture Element Fix See merge request !37
  7822013f
- Fixed invisible elements on architecture diagram · 59ac9941
  Letitia Li authored 7 years ago
  
  59ac9941
- Fixing firewall bug · c462d252
  Letitia Li authored 7 years ago
  
  c462d252
- update on build version: build.txt · 82f8133d
  apvrille authored 7 years ago
  
  82f8133d
Feb 01, 2018
- update on build version: build.txt · 4f2f8a14
  apvrille authored 7 years ago
  
  4f2f8a14
Jan 31, 2018
- Semantics of Vote node done for fault trees · 399b0517
  apvrille authored 7 years ago
  
  399b0517
- syntax checking for fault trees and adding fault icon · d5c2c54d
  apvrille authored 7 years ago
  
  d5c2c54d
- Adding model for fault trees · 0ef50198
  Ludovic Apvrille authored 7 years ago
  
  0ef50198
- Adding checking syntax method for atd · 4bf47ac6
  apvrille authored 7 years ago
  
  4bf47ac6
- Adding attack name checking · 9b401249
  apvrille authored 7 years ago
  
  9b401249
- update on build version: build.txt · 009d8f8a
  apvrille authored 7 years ago
  
  009d8f8a
Jan 30, 2018
- update on build version: build.txt · 4034b323
  apvrille authored 7 years ago
  
  4034b323
Jan 29, 2018
- Modifying reachaiblity of selected states in Avatar model checker · 99f65fdc
  Ludovic Apvrille authored 7 years ago
  
  99f65fdc
- Update on TTool: select keyword · 8b4b0629
  apvrille authored 7 years ago
  
  8b4b0629