Commits · f8f62d17899729c0f2564f9a420fa6bcc5e9889b · mbe-tools / TTool

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

Dec 21, 2017
- Merge project manager · 20817d6b
  Fabien Tessier authored 7 years ago
  
  20817d6b
Dec 14, 2017
- Finishing Fault trees · 36a6ce4b
  Ludovic Apvrille authored 7 years ago
  
  36a6ce4b
Dec 07, 2017
- Patch and checkable elements · 6e9bc299
  apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  6e9bc299
- Update on simulation window · 8acc5d2d
  apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  8acc5d2d
- Adding first diagram reference qith a home button · 07fd898d
  apvrille authored 7 years ago and Fabien Tessier committed 7 years ago
  
  07fd898d
Nov 21, 2017
- Patch and checkable elements · fc0c1a87
  apvrille authored 7 years ago
  
  fc0c1a87
- Update on simulation window · 2f32c84c
  apvrille authored 7 years ago
  
  2f32c84c
Nov 03, 2017
- Adding first diagram reference qith a home button · f396005f
  apvrille authored 7 years ago
  
  f396005f
Oct 06, 2017
- Refactoring for name of activity and sequence diagram · c3d91d8e
  Fabien Tessier authored 7 years ago
  
  c3d91d8e
Jul 28, 2017
- latency backtracing updated · b22d8bfd
  Letitia Li authored 7 years ago
  
  b22d8bfd
Jun 19, 2017
- unified end-of-lines in files that presented mixed '\r', '\n' and '\r\n' · 1820b202
  Florian Lugou authored 7 years ago
  
  1820b202
Jun 16, 2017
- automatically corrected copyright to be normal multiline comments · fb7ec410
  Florian Lugou authored 7 years ago
  
  fb7ec410
Jun 12, 2017
- Added new compilation flags for warnings and cleaned up code · c8d455a6
  Florian Lugou authored 7 years ago
  
  c8d455a6
Jun 09, 2017
- Gradle Setup · bdfe1c5a
  Florian Lugou authored 7 years ago
  
  bdfe1c5a
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Apr 04, 2017
- Update on clone management · 840de4be
  apvrille authored 7 years ago
  
  840de4be
Mar 14, 2017
- update · 59390863
  Daniela Genius authored 8 years ago
  
  59390863
Mar 07, 2017
- Issue #17 : Limit the size of opening dialogs to the size of the screen + · d83bec61
  Dominique Blouin authored 8 years ago
  
  general code review
  d83bec61
Jan 19, 2016
- Patching bug on moving diagram from first position to the second, and vice versa · b1766adf
  Ludovic Apvrille authored 9 years ago
  
  b1766adf
Apr 13, 2015
- Update on attack trees management: syntax checking · 17e31f21
  Ludovic Apvrille authored 9 years ago
  
  17e31f21
Jun 05, 2014
- adding syntax analysis for CPs · 8f367ade
  Andrea Enrici authored 10 years ago
  
  8f367ade
Apr 15, 2014
- Update on TTool diplo methodo · e48e934e
  Ludovic Apvrille authored 10 years ago
  
  e48e934e
Mar 31, 2014
- Adding diplo methodo: not yet completed, and to be tested · 99bb31f2
  Ludovic Apvrille authored 11 years ago
  
  99bb31f2
Aug 27, 2013
- Adding all structure for MAD · 042f7166
  Ludovic Apvrille authored 11 years ago
  
  042f7166
Jul 02, 2013
- New search facility · c7dc29b9
  Ludovic Apvrille authored 11 years ago
  
  c7dc29b9
Sep 25, 2012
- Adding actions for generating ontologies · c218d6b1
  Ludovic Apvrille authored 12 years ago
  
  c218d6b1
Jul 19, 2012
- Update on invariants · fa112ad2
  Ludovic Apvrille authored 12 years ago
  
  fa112ad2
Sep 05, 2011
- AVATAR: Context Diagram and Activity Diagrams: update · 654b6a6f
  Ludovic Apvrille authored 13 years ago
  
  654b6a6f
May 30, 2011
- Update on DIPLODOCUS ghraphical translation .... Warning: IT IS ONLY PARTIALLY IMPLEMENTED · 20405474
  Ludovic Apvrille authored 13 years ago
  
  20405474
Jan 04, 2011
- ANALYSIS: support for actors in SD, support for non human actors in UCD, generation of SD from UCD · ec3d4a58
  Ludovic Apvrille authored 14 years ago
  
  ec3d4a58
Apr 23, 2010
- AVATAR Parametric Diagram · e1cf8256
  Ludovic Apvrille authored 14 years ago
  
  e1cf8256
Apr 07, 2010
- AVATAR: first draft · 47fe0a55
  Ludovic Apvrille authored 14 years ago
  
  47fe0a55
Jun 04, 2009
- Bug resolved on DIPLODOCUS IDs · d9296824
  Ludovic Apvrille authored 15 years ago
  
  d9296824
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339