Commits · 40b9917e5b2c29362e2af01d40241f60422ca8f3 · mbe-tools / TTool

Mar 03, 2019
- update on build version: build.txt · 40b9917e
  Ludovic Apvrille authored 6 years ago
  
  40b9917e
Mar 02, 2019
- update on build version: build.txt · d88ee1b1
  Ludovic Apvrille authored 6 years ago
  
  d88ee1b1
Mar 01, 2019
- Adding in search box of TTool help elements · 84e28e27
  apvrille authored 6 years ago
  
  84e28e27
- Adding Help Window · 120521b1
  apvrille authored 6 years ago
  
  120521b1
- Update on Z3 dialog · 64a6aca2
  apvrille authored 6 years ago
  
  64a6aca2
- Adding first help framework · 691d2275
  Ludovic Apvrille authored 6 years ago
  
  691d2275
- update on build version: build.txt · 63a1a7a9
  Ludovic Apvrille authored 6 years ago
  
  63a1a7a9
Feb 28, 2019
- fixing some problems · 203d8ea4
  Emna Gharbi authored 6 years ago
  
  203d8ea4
- Adding a first help framework · 611826c1
  Ludovic Apvrille authored 6 years ago
  
  611826c1
- update on build version: build.txt · 4cc412f3
  Ludovic Apvrille authored 6 years ago
  
  4cc412f3
Feb 27, 2019
- Update on Z3 tests · e32be382
  apvrille authored 6 years ago
  
  e32be382
- Adding optimization result: dialog window · c0d84c87
  apvrille authored 6 years ago
  
  c0d84c87
- Update on Z3 engine · f38eaa4e
  apvrille authored 6 years ago
  
  f38eaa4e
- Update on DSE Z3 dialog window · 307c82a5
  apvrille authored 6 years ago
  
  307c82a5
- update on build version: build.txt · 0c836e70
  Ludovic Apvrille authored 6 years ago
  
  0c836e70
Feb 26, 2019
- Resolving bug on dsez3 button · 12cb1c2b
  apvrille authored 6 years ago
  
  12cb1c2b
- Update on MainGUI · 3d0a5cc7
  Ludovic Apvrille authored 6 years ago
  
  3d0a5cc7
- Adding DSE Z3 icon and button. Can be used only with experimental option on · d68a3752
  apvrille authored 6 years ago
  
  d68a3752
- update on build version: build.txt · 95aa13d4
  Ludovic Apvrille authored 6 years ago
  
  95aa13d4
Feb 25, 2019
- update on build version: build.txt · 74ee51a0
  Ludovic Apvrille authored 6 years ago
  
  74ee51a0
Feb 24, 2019
- update on build version: build.txt · 604034ff
  Ludovic Apvrille authored 6 years ago
  
  604034ff
Feb 23, 2019
- update on build version: build.txt · 4925ba48
  Ludovic Apvrille authored 6 years ago
  
  4925ba48
Feb 22, 2019
- Handling the order of tabs in tasks / blocks diagrams · 8e46c85e
  Ludovic Apvrille authored 6 years ago
  
  8e46c85e
- update on build version: build.txt · 108dfd5d
  Ludovic Apvrille authored 6 years ago
  
  108dfd5d
- Update on tab dragging when first tab is fixed · 442f1e14
  Ludovic Apvrille authored 6 years ago
  
  442f1e14
- Update on tab dragging · 646248b0
  Ludovic Apvrille authored 6 years ago
  
  646248b0
- update on build version: build.txt · 6f9a72d7
  Ludovic Apvrille authored 6 years ago
  
  6f9a72d7
Feb 21, 2019
- Better syntax checking of graphical guards in diplodocus · 253a78bb
  Ludovic Apvrille authored 6 years ago
  
  253a78bb
- Adding tabs dragging on main tab · 3dac169d
  Ludovic Apvrille authored 6 years ago
  
  3dac169d
- Update when adding panels: they are always added at the end · 9615b6e4
  Ludovic Apvrille authored 6 years ago
  
  9615b6e4
- Reducing min size of sdinstance · 446ad4b3
  Ludovic Apvrille authored 6 years ago
  
  446ad4b3
- update on build version: build.txt · e9e7a372
  Ludovic Apvrille authored 6 years ago
  
  e9e7a372
Feb 20, 2019
- update on build version: build.txt · cf56dda3
  Ludovic Apvrille authored 6 years ago
  
  cf56dda3
- update on build version: build.txt · 8a90e1be
  Ludovic Apvrille authored 6 years ago
  
  8a90e1be
- update on build version: build.txt · ef11c29a
  Ludovic Apvrille authored 6 years ago
  
  ef11c29a
- update on build version: build.txt · 4f3d428c
  Ludovic Apvrille authored 6 years ago
  
  4f3d428c
- update on build version: build.txt · 874270b9
  Ludovic Apvrille authored 6 years ago
  
  874270b9
- update on build version: build.txt · dffd7c91
  Ludovic Apvrille authored 6 years ago
  
  dffd7c91
Feb 19, 2019
- update on build version: build.txt · faae13e7
  Ludovic Apvrille authored 6 years ago
  
  faae13e7
Feb 18, 2019
- update on build version: build.txt · 8a3a57cd
  Ludovic Apvrille authored 6 years ago
  
  8a3a57cd