Commits · a78ef379d4e0cc65c8c99266818f5004d1f26fdf · mbe-tools / TTool

Nov 14, 2019
- Adding sw and hw tasks for brute force analysis · 5545d6f6
  Ludovic Apvrille authored 5 years ago
  
  5545d6f6
- Adding SWTask · ca7b3194
  apvrille authored 5 years ago
  
  ca7b3194
Nov 13, 2019
- Enhancing Matteo's model · 273fb870
  apvrille authored 5 years ago
  
  273fb870
- Update on Matteo's model · 43608ef5
  apvrille authored 5 years ago
  
  43608ef5
Nov 12, 2019
- New Matteo model · 9bb3c659
  Ludovic Apvrille authored 5 years ago
  
  9bb3c659
- Adding testMatteo · 1a2c3335
  apvrille authored 5 years ago
  
  1a2c3335
Nov 08, 2019
- Resolving bug on removable components issue 236 · a8faf31c
  Ludovic Apvrille authored 5 years ago
  
  a8faf31c
Nov 07, 2019
- Update on UPPAAL install checking · 0195182d
  apvrille authored 5 years ago
  
  0195182d
Oct 30, 2019
- Adding drag mouse commands: absolute and relative · 78c274aa
  apvrille authored 5 years ago
  
  78c274aa
- Updating robot with keys · 4600ed7c
  apvrille authored 5 years ago
  
  4600ed7c
- Combining commands · a5cc3b3e
  apvrille authored 5 years ago
  
  a5cc3b3e
- Adding mouse handling to cli · c4628bd2
  apvrille authored 5 years ago
  
  c4628bd2
Oct 29, 2019
- new release SystemC-AMS · 3702ddd7
  Daniela Genius authored 5 years ago
  
  3702ddd7
- Removing own factorize method · 44dadd54
  apvrille authored 5 years ago
  
  44dadd54
Oct 28, 2019
- Resolving bug on graph minimization and adding clear verification info · 02e79795
  apvrille authored 5 years ago
  
  02e79795
- debugging clocks in the GPIO version · 038cbdda
  Daniela Genius authored 5 years ago
  
  038cbdda
Oct 23, 2019
- added test example · c13a04ed
  Daniela Genius authored 5 years ago
  
  c13a04ed
- start implementing echopen with GPIO · 9dbf0b3a
  Daniela Genius authored 5 years ago
  
  9dbf0b3a
Oct 22, 2019
- Adding pragmas to TML diagrams · 0809ac71
  apvrille authored 5 years ago
  
  0809ac71
- Adding worstcasereading/writing per TMLTask · 8dff6d3f
  apvrille authored 5 years ago
  
  8dff6d3f
- ADding res file for worst case · a085b570
  apvrille authored 5 years ago
  
  a085b570
Oct 21, 2019
- Updating airbus door model · 2ef689cd
  Ludovic Apvrille authored 5 years ago
  
  2ef689cd
- Adding airbus V2 model · 64950eeb
  apvrille authored 5 years ago
  
  64950eeb
Oct 18, 2019
- Adding Z3 script · 6c9576b6
  Ludovic Apvrille authored 5 years ago
  
  6c9576b6
Oct 17, 2019
- Adding model for bug on trace · 79547a10
  apvrille authored 5 years ago
  
  79547a10
Oct 04, 2019
- Update on requirement name capture · c4ea19fd
  apvrille authored 5 years ago
  
  c4ea19fd
Oct 02, 2019
- Update on setName method · 5eea67ec
  apvrille authored 5 years ago
  
  5eea67ec
Oct 01, 2019
- Finished updating SystemC-AMS examples · a509be40
  Daniela Genius authored 5 years ago
  
  a509be40
Sep 30, 2019
- update to models (making them clock and nbits compatible) · c4cd5058
  Daniela Genius authored 5 years ago
  
  c4cd5058
- adapt examples to new DE module · 6bc7f436
  Daniela Genius authored 5 years ago
  
  6bc7f436
Sep 26, 2019
- Update on PressureController model · a4a1ac68
  Ludovic Apvrille authored 5 years ago
  
  a4a1ac68
Sep 25, 2019
- Resolving bug on no sim trace in avatarccode execution trace · 9036484c
  apvrille authored 5 years ago
  
  9036484c
- Update on code generator · 3c3a06cd
  apvrille authored 5 years ago
  
  3c3a06cd
- Update on PressureController · ad5b70c0
  apvrille authored 5 years ago
  
  ad5b70c0
- Update on PressureController · 49488fba
  Ludovic Apvrille authored 5 years ago
  
  49488fba
Sep 20, 2019
- Adding pressue controller · 024ce2ad
  Ludovic Apvrille authored 5 years ago
  
  024ce2ad
Sep 19, 2019
- Update on UCD links · 74e617f6
  Ludovic Apvrille authored 5 years ago
  
  74e617f6
Aug 30, 2019
- Resolving bug on atrtributes replacing in libfunct of avatar · 1d542847
  apvrille authored 5 years ago
  
  1d542847
Aug 29, 2019
- Adding initial values to library attributes · 8fe8f416
  apvrille authored 5 years ago
  
  8fe8f416
Aug 27, 2019
- Update on simulation code generation · b9926d26
  apvrille authored 5 years ago
  
  b9926d26