Commits · edb7c6e69a12f947228504d3be422c0c8120a2ef · mbe-tools / TTool

Jun 21, 2018
- Removing useless system.out.println · 7eb4648f
  apvrille authored 6 years ago
  
  7eb4648f
Jun 07, 2018
- Removing penalties · 92e4256b
  Ludovic Apvrille authored 6 years ago
  
  92e4256b
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
Jun 02, 2017
- optimize import · b3bc95f5
  Florian Lugou authored 7 years ago
  
  b3bc95f5
Feb 28, 2013
- Update on invariants · cef4bfe2
  Ludovic Apvrille authored 12 years ago
  
  cef4bfe2
Feb 22, 2013
- Adding pipe algo and improving current algo · 31ae2606
  Ludovic Apvrille authored 12 years ago
  
  31ae2606
- Update on invariants · fdc3449b
  Ludovic Apvrille authored 12 years ago
  
  fdc3449b
Feb 19, 2013
- Resolving bugs in avatar interal simulator, avatr to uppaal generator and avatar-to-tpn generator · 0c00c454
  Ludovic Apvrille authored 12 years ago
  
  0c00c454
Mar 30, 2012

Removing colors when the nocolor option is activated. Icons are also removed... · aed78e40

Ludovic Apvrille authored 12 years ago

Removing colors when the nocolor option is activated. Icons are also removed on the TURTLE req diagrqm when the nocolor option is used

aed78e40

Mar 26, 2012
- Bug on invariants partially resolved · 9e717b15
  Ludovic Apvrille authored 13 years ago
  
  9e717b15
Feb 16, 2012
- More information on invariants · 90b53353
  Ludovic Apvrille authored 13 years ago
  
  90b53353
Feb 15, 2012
- Adding invariants on tree · 26129e47
  Ludovic Apvrille authored 13 years ago
  
  26129e47
Feb 10, 2012
- Adding invariant computation · f2b48452
  Ludovic Apvrille authored 13 years ago
  
  f2b48452