Commits · 160aa42b133c412e8201aedabfa5d417301c4128 · mbe-tools / TTool

Jun 27, 2023
- Adding support for owner in state machine elements of Avatar · c9421cf5
  Ludovic Apvrille authored 1 year ago
  
  c9421cf5
Mar 27, 2023
- Version just before integration. Intermediate versiond deleted · 4088e07b
  Sophie Coudert authored 2 years ago
  
  4088e07b
- working... · 85ad549a
  Sophie Coudert authored 2 years ago
  
  85ad549a
Mar 24, 2023
- added javadoc comments · dec8bf16
  Sophie Coudert authored 2 years ago
  
  dec8bf16
Mar 17, 2023
- Simple backup (First instantiation, not fully debugged) · 09938282
  Sophie Coudert authored 2 years ago
  
  09938282
Mar 08, 2023
- some more javadoc comments. · b23521f3
  Sophie Coudert authored 2 years ago
  
  b23521f3
Mar 05, 2023
- Restructure suit... · 1c806ae6
  Sophie Coudert authored 2 years ago
  
  1c806ae6
Feb 23, 2022
- Solving bug on proverif: arithmetic ops had no diviser · 1331c164
  Ludovic Apvrille authored 3 years ago
  
  1331c164
Feb 15, 2022
- Update on hasInUpperState..bugs? · 6945004a
  Ludovic Apvrille authored 3 years ago
  
  6945004a
Feb 12, 2021
- Update on Dependency graphs and avatar toolbar · bc7a5cb1
  Ludovic Apvrille authored 4 years ago
  
  bc7a5cb1
Jun 24, 2020
- Update on diplo to avatar · e49ad424
  Ludovic Apvrille authored 4 years ago
  
  e49ad424
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