Commits · a0704395b351dedce67d61ae599c67c213af8d34 · mbe-tools / TTool

Jul 27, 2022
- Adding new attributes to tgcomponent · a0704395
  Ludovic Apvrille authored 2 years ago
  
  a0704395
- Removing bug on proverif proof · 82b355f0
  Ludovic Apvrille authored 2 years ago
  
  82b355f0
- Merge branch 'wsec_tutorial' into 'master' · eb6a22a0
  Ludovic Apvrille authored 2 years ago
  
  Adding tutorial on W-Sec See merge request !433
  eb6a22a0
- Adding tutorial on W-Sec · 9c68a25f
  Bastien Sultan authored 2 years ago
  
  9c68a25f
- Adding diplodocs tutorial to TTool git · 253ebb08
  Ludovic Apvrille authored 2 years ago
  
  253ebb08
- Update on handling of conencting points by connectors · 5ca67301
  Ludovic Apvrille authored 2 years ago
  
  5ca67301
- update on build version: build.txt · 430f33fb
  Ludovic Apvrille authored 2 years ago
  
  430f33fb
Jul 26, 2022
- update on build version: build.txt · 2c51f2af
  Ludovic Apvrille authored 2 years ago
  
  2c51f2af
Jul 25, 2022
- update on build version: build.txt · c3b458d5
  Ludovic Apvrille authored 2 years ago
  
  c3b458d5
Jul 24, 2022
- update on build version: build.txt · 7bff915a
  Ludovic Apvrille authored 2 years ago
  
  7bff915a
Jul 23, 2022
- update on build version: build.txt · 6ea39f65
  Ludovic Apvrille authored 2 years ago
  
  6ea39f65
Jul 22, 2022
- Better handling of dependency graphs · f6a0ca01
  Ludovic Apvrille authored 2 years ago
  
  f6a0ca01
- New randomness in simulator · 0bbcab68
  Ludovic Apvrille authored 2 years ago
  
  0bbcab68
- Falling back to previous random number · 2d328b91
  Ludovic Apvrille authored 2 years ago
  
  2d328b91
- Switching back to C++98 · 0ba3df2a
  Ludovic Apvrille authored 2 years ago
  
  0ba3df2a
- Update on Makefile for sim: adding c++11 option · b7553464
  Ludovic Apvrille authored 2 years ago
  
  b7553464
- Up on diplo test · 6b428c21
  Ludovic Apvrille authored 2 years ago
  
  6b428c21
- update on build version: build.txt · b58a1ef6
  Ludovic Apvrille authored 2 years ago
  
  b58a1ef6
Jul 21, 2022
- Update on test: comparison of traces · 4d3291b1
  Ludovic Apvrille authored 2 years ago
  
  4d3291b1
- Adding tests for functional aspects. Update on random number for simulation · 49d66524
  Ludovic Apvrille authored 2 years ago
  
  49d66524
- Updating randomness in simulator · 0a40a9d5
  Ludovic Apvrille authored 2 years ago
  
  0a40a9d5
Jul 19, 2022
- Enhancing drawinf of avatar spec · bd9c1a57
  Ludovic Apvrille authored 2 years ago
  
  bd9c1a57
- Improvement on system drawing · 40b609ce
  Ludovic Apvrille authored 2 years ago
  
  40b609ce
- Adding better drawing of blocks for avatar · a896514f
  Ludovic Apvrille authored 2 years ago
  
  a896514f
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 64f1398c
  apvrille authored 2 years ago
  
  64f1398c
- Adding gradle property for compilation memory stack issue · fd7b87c1
  apvrille authored 2 years ago
  
  fd7b87c1
- Merge branch 'mutation' into 'master' · 2f2901fc
  Ludovic Apvrille authored 2 years ago
  
  Parsing et Exceptions See merge request !432
  2f2901fc
Jul 13, 2022
- Mutation Exceptions · 86ca568a
  Leon Frenot authored 2 years ago
  
  86ca568a
Jul 11, 2022
- fin createFromString · e4886bae
  Leon Frenot authored 2 years ago
  
  e4886bae
Jul 08, 2022
- Merge branch 'mutation' of gitlab.enst.fr:mbe-tools/TTool into mutation · 5b026cca
  Leon Frenot authored 2 years ago
  
  5b026cca
- Merge branch 'master' into 'mutation' · 6ec60eaf
  Leon Frenot authored 2 years ago
  
  Adding actions for avatar spec mutation, printing, drawing See merge request !431
  6ec60eaf
- continuation createFromString · 218c4fe5
  Leon Frenot authored 2 years ago
  
  218c4fe5
- Adding actions for avatar spec mutation, printing, drawing · dec40961
  Ludovic Apvrille authored 2 years ago
  
  dec40961
Jul 07, 2022
- refactoring parsing + ajout tests · 311f48ef
  Leon Frenot authored 2 years ago
  
  311f48ef
- Update for Dependency graphs · f28ff12a
  Ludovic Apvrille authored 2 years ago
  
  f28ff12a
- Merge branch 'mutation' into 'master' · 3c7cddfe
  Ludovic Apvrille authored 2 years ago
  
  Mutation See merge request !430
  3c7cddfe
Jul 06, 2022
- debut AvatarMutation.createFromString attach, detach, name et blockstuct · 345c5319
  Leon Frenot authored 2 years ago
  
  345c5319
Jul 05, 2022
- ajout des tests post-refactoring + correction de bugs · cffb81c0
  Leon Frenot authored 2 years ago
  
  cffb81c0
Jul 04, 2022
- Resolving bug on dependency graph · 690ecaba
  Ludovic Apvrille authored 2 years ago
  
  690ecaba
- Attach/Detach parent · a4f44d89
  Leon Frenot authored 2 years ago
  
  a4f44d89