Commits · 34154e279ed48d042314bcebefbc31bbd1f8fe44 · mbe-tools / TTool

Oct 02, 2015
- fixed bug with ProVerif and InitialKnowledge · 34154e27
  Florian Lugou authored 9 years ago
  
  34154e27
- Fixed some Pragma bugs · 225d9cb1
  Letitia Li authored 9 years ago
  
  225d9cb1
Oct 01, 2015
- Pragma UI update · d7c86bdc
  Letitia Li authored 9 years ago
  
  d7c86bdc
- Pragma UI update · adcdc9d1
  Letitia Li authored 9 years ago
  
  adcdc9d1
Sep 30, 2015
- Select proverif input file · 01fe5834
  Letitia Li authored 9 years ago
  
  01fe5834
- OutputAnalyazerTests · 181c2501
  Letitia Li authored 9 years ago
  
  181c2501
- ProVerifOutputAnalyzer and user input · 22cf42cf
  Letitia Li authored 9 years ago
  
  22cf42cf
- ProVerifOutputAnalyzer and user input · ed4e735b
  Letitia Li authored 9 years ago
  
  ed4e735b
Sep 29, 2015
- recover erroneously deleted config.xml · 1b33e617
  Florian Lugou authored 9 years ago
  
  1b33e617
Sep 28, 2015
- fix for ProVerif problems with attacker predicate in typed pi · 487ad4e3
  Florian Lugou authored 9 years ago
  
  487ad4e3
- syntax correction for verifyMAC in ProVerif · 55864028
  Florian Lugou authored 9 years ago
  
  55864028
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
- Added AvatarConstant and AvatarPragmaConstant · b2526d29
  Letitia Li authored 9 years ago
  
  b2526d29
Sep 25, 2015
- Added AvatarAttributeState · 8c5e56b5
  Letitia Li authored 9 years ago
  
  8c5e56b5
- Added Pragma object · 39c1ee33
  Letitia Li authored 9 years ago
  
  39c1ee33
- Fixed Warnings Message · ce5e0b4b
  Letitia Li authored 9 years ago
  
  ce5e0b4b
- Avatar Design Panel fix · e5b4d11b
  Letitia Li authored 9 years ago
  
  e5b4d11b
- Avatar Pragma Classes · 45895af3
  Letitia Li authored 9 years ago
  
  45895af3
- Added AvatarPragma classes and pragma icon to toolbar · 19216ffc
  Letitia Li authored 9 years ago
  
  19216ffc
Sep 23, 2015
- adaptation to java 7 of precedent commit · d18a523d
  Florian Lugou authored 9 years ago
  
  d18a523d
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
Sep 17, 2015
- Update on zooms management and UML notes · c0d9438b
  Ludovic Apvrille authored 9 years ago
  
  c0d9438b
Aug 28, 2015
- Update on TTool: handling on simple DMA transfer · 1c73ac92
  Ludovic Apvrille authored 9 years ago
  
  1c73ac92
Aug 27, 2015
- added code to parse ForLoop · 05c10eff
  Andrea Enrici authored 9 years ago
  
  05c10eff
- Better handling of avatar transition info · 68197215
  Ludovic Apvrille authored 9 years ago
  
  68197215
- Update on how guards are handled by the proverif code generator · 179c27eb
  Ludovic Apvrille authored 9 years ago
  
  179c27eb
- Update on guards management by ProVerif · 5dbec196
  Ludovic Apvrille authored 9 years ago
  
  5dbec196
Aug 25, 2015
- Indenting TMLrchiCPNode.java · 8f1f6849
  Ludovic Apvrille authored 9 years ago
  
  8f1f6849
- before meeting about CP · 9c5aab5b
  Andrea Enrici authored 9 years ago
  
  9c5aab5b
- committing MainGUI before meeting about CP · afaadf35
  Andrea Enrici authored 9 years ago
  
  afaadf35
- adding address type · 84777255
  Andrea Enrici authored 9 years ago
  
  84777255
- modified so as to parse declaration of attributes without = and messages with numbers · 28af8898
  Andrea Enrici authored 9 years ago
  
  28af8898
Aug 24, 2015
- solved bug when checking for the coherency of the mapping info wrt the current design · 4a22a0e2
  Andrea Enrici authored 9 years ago
  
  4a22a0e2
Jul 02, 2015
- Update on graphical bugs · 11d50351
  Ludovic Apvrille authored 9 years ago
  
  11d50351
Jun 28, 2015
- change sql query · 5ffaa992
  Dominique Blouin authored 9 years ago
  
  5ffaa992
Jun 19, 2015
- add database application · d08ae866
  Dominique Blouin authored 9 years ago
  
  d08ae866
- add score value in result, modifire query for searching on database, updating function for database · 58b91e89
  Dominique Blouin authored 9 years ago
  
  58b91e89
Jun 15, 2015
- delete jar file of client , crawler · 3cc77678
  Dominique Blouin authored 9 years ago
  
  3cc77678
- fix the error when starting the Search function without configuration file · 2c471f8c
  Dominique Blouin authored 9 years ago
  
  2c471f8c
- change sql query with preparestatement; display diagram · 83cdb1a7
  Dominique Blouin authored 9 years ago
  
  83cdb1a7