1. 02 Oct, 2017 1 commit
  2. 11 Aug, 2017 1 commit
  3. 16 Feb, 2017 1 commit
  4. 30 Aug, 2016 1 commit
  5. 29 Aug, 2016 1 commit
  6. 21 Jun, 2016 1 commit
    • Maxime Perrotin's avatar
      Optimize timers in the vertical transformation · 289fe2d1
      Maxime Perrotin authored
      Add a filter mechanism that allows to specify which PI actually calls
      with RIs. This can save hundreds of AADL ports in large systems.
      Applied to timer only but to be extended when information linking PIs to
      RIs is available.
      289fe2d1
  7. 18 Jun, 2016 2 commits
  8. 04 Jan, 2016 1 commit