Commits · 09bbc6adf7ed80df650dc79e333bbe8cc9dbc9dc · mbe-tools / TTool

Jan 24, 2019
- Improvement on selection of states in avatar for reachaiblity analysis · 09bbc6ad
  apvrille authored 6 years ago
  
  09bbc6ad
Jul 24, 2018
- Code cleanup · fa928ca2
  Dominique Blouin authored 6 years ago
  
  fa928ca2
Jan 29, 2018
- Modifying reachaiblity of selected states in Avatar model checker · 99f65fdc
  Ludovic Apvrille authored 7 years ago
  
  99f65fdc
Sep 28, 2017
- updated unit tests · 4de4d64f
  Letitia Li authored 7 years ago
  
  4de4d64f
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
Sep 21, 2016
- Update on avatar model checker · 8fb5cc5b
  Ludovic Apvrille authored 8 years ago
  
  8fb5cc5b
Aug 04, 2016
- Update on TTool avatar modelc checker · 7c04a284
  Ludovic Apvrille authored 8 years ago
  
  7c04a284
Jun 13, 2016
- Modifying basicCloneMe · d5e4746d
  Ludovic Apvrille authored 8 years ago
  
  d5e4746d
- Update on advanced clone · 7839aad0
  Ludovic Apvrille authored 8 years ago
  
  7839aad0
Jun 03, 2016
- Avatar Model Checker: first full impl but probably full of bugs · 5fbc236e
  Ludovic Apvrille authored 8 years ago
  
  5fbc236e
Mar 04, 2016
- TML2AvatarTranslation · 27e9b25c
  Letitia Li authored 9 years ago
  
  27e9b25c
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
Sep 22, 2015
- Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
  Florian Lugou authored 9 years ago
  
  Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif
  cc582c07
Aug 27, 2015
- Update on guards management by ProVerif · 5dbec196
  Ludovic Apvrille authored 9 years ago
  
  5dbec196
Jul 02, 2015
- Update on graphical bugs · 11d50351
  Ludovic Apvrille authored 9 years ago
  
  11d50351
Apr 21, 2015
- Update on attack graphs · 02bd4c5f
  Ludovic Apvrille authored 9 years ago
  
  02bd4c5f
Nov 25, 2014
- Update on ref to ads in tmlcp · 9428cb1b
  Ludovic Apvrille authored 10 years ago
  
  9428cb1b
Nov 13, 2014
- Update on AVATAR2SOCLIB · a795ce68
  Ludovic Apvrille authored 10 years ago
  
  a795ce68
Feb 21, 2014
- Saving validated and ignored blocks in syntack checking dialogs; enabling... · d9328245
  Ludovic Apvrille authored 11 years ago
  
  Saving validated and ignored blocks in syntack checking dialogs; enabling breakpoints in avatar state machine diagrams
  d9328245
Jan 25, 2012
- Update on security · 127ed143
  Ludovic Apvrille authored 13 years ago
  
  127ed143
Jan 24, 2011
- AVATAR simulator :update on main engine + partial management of time · 8f7fd72a
  Ludovic Apvrille authored 14 years ago
  
  8f7fd72a
Dec 08, 2010
- AVATAR-to-UPPAAL: bug on reachability/liveness resolved · 0cea182a
  Ludovic Apvrille authored 14 years ago
  
  0cea182a
- AVATAR: update on profile · 082cd5a1
  Ludovic Apvrille authored 14 years ago
  
  082cd5a1
Dec 01, 2010
- AVATAR: Update on AVATAR-to-UPPAAL code generator. Also, update on chackable elements. · 0d8a568f
  Ludovic Apvrille authored 14 years ago
  
  0d8a568f
Sep 17, 2010
- No commit message · 99308646
  Ludovic Apvrille authored 14 years ago
  
  No commit message
  99308646
- AVATAR-to-ProVerif: update · 173bc100
  Ludovic Apvrille authored 14 years ago
  
  173bc100
Jul 20, 2010
- AVATAR: Improvement on avatar-to-uppaal code generator · 5a686f80
  Ludovic Apvrille authored 14 years ago
  
  5a686f80
Jul 16, 2010
- AVATAR: Update on composite state management · c934fdeb
  Ludovic Apvrille authored 14 years ago
  
  c934fdeb
- DIPLODOCUS: Update on minimal mapping · bdb3b0e6
  Ludovic Apvrille authored 14 years ago
  
  AVATAR: Update on composite transitions
  bdb3b0e6
Jul 15, 2010
- AVATAR: Management of Timers: on AVATAR models, and also in the internal... · 69e2ee10
  Ludovic Apvrille authored 14 years ago
  
  AVATAR: Management of Timers: on AVATAR models, and also in the internal language + translation to UPPAAL
  69e2ee10
Jun 16, 2010
- Bug on AVATAR-to-UPPAAL · 439170fe
  Ludovic Apvrille authored 14 years ago
  
  439170fe
May 26, 2010
- Update on AVATAR · b667863a
  Ludovic Apvrille authored 14 years ago
  
  b667863a
May 21, 2010
- Update on avatar translation · 527a5397
  Ludovic Apvrille authored 14 years ago
  
  527a5397
May 20, 2010
- Update on Avatar State Machines · 7b1fa427
  Ludovic Apvrille authored 14 years ago
  
  7b1fa427
Jul 16, 2008
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339