Commits · a231186db63aaded77d238774d41defe33dd7375 · mbe-tools / TTool

Jun 26, 2020
- Update on Diplo to avatar · 2d92d3cf
  Ludovic Apvrille authored 4 years ago
  
  2d92d3cf
Jan 31, 2020
- Update on BF · dc434cfc
  apvrille authored 5 years ago
  
  dc434cfc
Jan 30, 2020
- Managing Matteo BF · 48992297
  apvrille authored 5 years ago
  
  48992297
Jan 28, 2020
- Update on bf · 0ccb2603
  apvrille authored 5 years ago
  
  0ccb2603
Jan 27, 2020
- update on BF and adding action resize · 63c56b43
  apvrille authored 5 years ago
  
  63c56b43
- Adding CLIBF scripts · df9c7697
  Ludovic Apvrille authored 5 years ago
  
  df9c7697
Jan 22, 2020
- Adding BF to avatarspec · 060aa515
  Ludovic Apvrille authored 5 years ago
  
  060aa515
Jan 21, 2020
- Finishing finishedHW state block template · 815c81b6
  Ludovic Apvrille authored 5 years ago
  
  815c81b6
- Adding block template for BF · 62c6e120
  apvrille authored 5 years ago
  
  62c6e120
Nov 14, 2019
- Adding sw and hw tasks for brute force analysis · 5545d6f6
  Ludovic Apvrille authored 5 years ago
  
  5545d6f6
- Adding start of Matteo block · 5997ba45
  apvrille authored 5 years ago
  
  5997ba45
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 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
Oct 07, 2016
- Slight up on TTool · d6a3c705
  Ludovic Apvrille authored 8 years ago
  
  d6a3c705
Jun 17, 2016
- Update on model checker optimization · 814e02be
  Ludovic Apvrille authored 8 years ago
  
  814e02be
Jun 15, 2016
- Adding removal of fifo: update · d7afb782
  Ludovic Apvrille authored 8 years ago
  
  d7afb782
- Update on fifo removal · 46bfdcb4
  Ludovic Apvrille authored 8 years ago
  
  46bfdcb4
Oct 02, 2015
- fixed bug with ProVerif and InitialKnowledge · 34154e27
  Florian Lugou authored 9 years ago
  
  34154e27
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
Jun 09, 2011
- AVATAR: tracing of async req · a705bf52
  Ludovic Apvrille authored 13 years ago
  
  a705bf52
Feb 22, 2011

AVATAR: interactive simulator : notion of silent transitions;\nAVATAR... · 236669db

Ludovic Apvrille authored 14 years ago

AVATAR: interactive simulator : notion of silent transitions;\nAVATAR simulator : timers are now displayed as transition in the source block\nAVATAR: simulator: printf removed

236669db

Feb 07, 2011
- AVATAR-to-UPPAAL: bug on timer resolved · fe1e2866
  Ludovic Apvrille authored 14 years ago
  
  fe1e2866
Feb 04, 2011
- AVATAR: Simulator update (support for random operators) · c7a7f46c
  Ludovic Apvrille authored 14 years ago
  
  c7a7f46c
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
Jul 12, 2010
- AVATAR: modified translation to UPPAAL · 7393d7e1
  Ludovic Apvrille authored 14 years ago
  
  AVATAR: random operator added
  7393d7e1