- 21 Sep, 2017 1 commit
-
-
Maxime Perrotin authored
These are new flags optionally set in ocarina_components.aadl for each processor
-
- 15 Sep, 2017 1 commit
-
-
Thanassis Tsiodras authored
-
- 11 Aug, 2017 1 commit
-
-
Damien George authored
-
- 15 Dec, 2016 1 commit
-
-
Maxime Perrotin authored
-
- 29 Aug, 2016 1 commit
-
-
Maxime Perrotin authored
-
- 21 Jun, 2016 1 commit
-
-
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.
-
- 18 Jun, 2016 2 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 06 Mar, 2016 1 commit
-
-
Maxime Perrotin authored
-
- 04 Jan, 2016 1 commit
-
-
Maxime Perrotin authored
-