Commits · aa648d3bcda65cfd83bb66cdd2a8da421abed6a6 · mbe-tools / TTool · GitLab

Snippets Groups Projects

May 15, 2018
- Switching to old src files before the merge with LIP6 · ad6b2dbd
  Ludovic Apvrille authored 6 years ago
  
  ad6b2dbd
- Rebasing before SystemCAMS · bbbb2549
  Ludovic Apvrille authored 6 years ago
  
  bbbb2549
May 09, 2018
- sources par irina · 65dc38d8
  Daniela GENIUS authored 6 years ago
  
  65dc38d8
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
Sep 13, 2016
- Adding view mapping selection · c2f1df2a
  Ludovic Apvrille authored 8 years ago
  
  c2f1df2a
Sep 12, 2016
- Adding views facilities · 25da03b4
  Ludovic Apvrille authored 8 years ago
  
  25da03b4
Jun 07, 2016
- Resolving livelock bug on empty transition · cf43a600
  Ludovic Apvrille authored 8 years ago
  
  cf43a600
Apr 08, 2016
- First part of AvatarLibraryFunction · 941ee2c7
  Florian Lugou authored 9 years ago
  
  941ee2c7
Mar 24, 2016
- Added AvatarSyntaxTranslator for easy modification of guards · 6ce56d26
  Florian Lugou authored 9 years ago
  
  6ce56d26
- update · d430861f
  Daniela Genius authored 9 years ago
  
  d430861f
Mar 22, 2016
- Fixed bug with else and empty guards · a9724358
  Florian Lugou authored 9 years ago
  
  a9724358
Sep 28, 2015
- proverif logic modification · 1e26ec9f
  Florian Lugou authored 9 years ago
  
  1e26ec9f
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
  cc582c07
Apr 20, 2015
- started to add correct code that compiles for CPs · 85d2abac
  Andrea Enrici authored 10 years ago
  
  85d2abac
Apr 15, 2015
- started to correct compilation errors · abdc72d3
  Andrea Enrici authored 10 years ago
  
  abdc72d3
Mar 19, 2015
- modified signals name and associated channels (no join signals). added signals... · 45a0020b
  Andrea Enrici authored 10 years ago
  45a0020b
Mar 16, 2015
- added task MEC to list of operations. Before to start using the list of... · 1715128d
  Andrea Enrici authored 10 years ago
  1715128d
Feb 24, 2015
- moved Ctranslator to tmltranslator/ctranslator · b404002b
  Andrea Enrici authored 10 years ago
  
  b404002b
Feb 20, 2015
- modified constructor and user to do parameters · 506961c9
  Andrea Enrici authored 10 years ago
  
  506961c9
Feb 19, 2015
- added MEC for dma and load store · 7f68e4eb
  Andrea Enrici authored 10 years ago
  
  7f68e4eb
Feb 10, 2015
- added to svn the code to transform models to generate the code as Jair did · 0d6774f3
  Andrea Enrici authored 10 years ago
  
  0d6774f3
Feb 05, 2015
- added classes for some Embb operations from the Model Extension Construct of Jair · 8202e7e1
  Andrea Enrici authored 10 years ago
  
  8202e7e1
Dec 08, 2014
- Update on splitting ADs · 11f575c7
  Ludovic Apvrille authored 10 years ago
  
  11f575c7
Nov 10, 2014
- Update on CP generation from Graphical form: connectors, and names · ab46a50f
  Ludovic Apvrille authored 10 years ago
  
  ab46a50f
Nov 07, 2014
- Update with split - to be tested... · a781bce6
  Ludovic Apvrille authored 10 years ago
  
  a781bce6
Jun 19, 2014
- started to add the TMLTxt generation for ADs · fda516eb
  Andrea Enrici authored 10 years ago
  
  fda516eb
May 30, 2014
- added a button to map events. The button is protected by flag -experimental · b49067c0
  Andrea Enrici authored 10 years ago
  
  b49067c0
Feb 18, 2014
- Adding Structure to support CP and SD in DIPLODOCUS · 4a062ef1
  Ludovic Apvrille authored 11 years ago
  
  4a062ef1
Sep 16, 2011
- DSE: Update on automatic dse · 9cfe1f35
  Ludovic Apvrille authored 13 years ago
  
  9cfe1f35
Sep 12, 2011
- DSE: towards parallel simulations · 46028e2a
  Ludovic Apvrille authored 13 years ago
  
  46028e2a
Sep 07, 2011
- DSE: committing nex classes. Sorry ,this version cannot compile, but I've got to commit it · 0ff96a64
  Ludovic Apvrille authored 13 years ago
  
  0ff96a64
Sep 06, 2011
- DSE: Update on results gathering and computation · e08e515c
  Ludovic Apvrille authored 13 years ago
  
  e08e515c
Jul 16, 2008
- (C) modified in Java files · 3db95907
  Ludovic Apvrille authored 16 years ago
  
  3db95907
- First try to setup the TTool's svn · 12049339
  Ludovic Apvrille authored 16 years ago
  
  12049339