Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Activity Not Available

Commits : Listings

Analyzed 11 months ago. based on code collected 11 months ago.
Jan 18, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
* Add targets for ARINC653 configuration files for DeOS and VxWorks653
Jerome Hugues
as yoogx
More... over 9 years ago
* Add Message_Priority property
Jerome Hugues
as yoogx
More... over 9 years ago
Merge branch 'master' of https://github.com/OpenAADL/AADLib
Jerome Hugues
as yoogx
More... over 9 years ago
update functional code
Julien
More... over 9 years ago
Update model for VxWorks
Julien
More... over 9 years ago
update functional code
Julien
More... over 9 years ago
Update ADIRU model
Julien
More... over 9 years ago
Merge branch 'master' of https://github.com/OpenAADL/AADLib
Jerome Hugues
as yoogx
More... over 9 years ago
update model so that it passes the resolute checks
Julien
More... over 9 years ago
Merge branch 'master' of https://github.com/OpenAADL/AADLib
Jerome Hugues
as yoogx
More... over 9 years ago
Update model
Julien
More... over 9 years ago
Update ADIRU with constraints from DeOS
Julien
More... over 9 years ago
Merge branch 'master' of https://github.com/OpenAADL/AADLib
Jerome Hugues
as yoogx
More... over 9 years ago
Update the model so that is has all the properties for generating deos and vxworks code.
Julien
More... over 9 years ago
* Comment out ARINC653::Access_Type, this property is now obsolete
Jerome Hugues
as yoogx
More... almost 10 years ago
Chagne the ADIRU so that it complies with the actual arinc653 annex
Julien
More... almost 10 years ago
* Rename package name to match filename
Jerome Hugues
as yoogx
More... almost 10 years ago
* Minor reformatting
Jerome Hugues
as yoogx
More... almost 10 years ago
* Add support for flow latency analysis using OSATE plug-in
Jerome Hugues
as yoogx
More... almost 10 years ago
* Ignore some project for now due to incompatibilities with OSATE 2.0.8
Jerome Hugues
as yoogx
More... almost 10 years ago
* Generate intermediate Alloy files
Jerome Hugues
as yoogx
More... over 10 years ago
* Added alloy target
Jerome Hugues
as yoogx
More... over 10 years ago
* Update example
Jerome Hugues
as yoogx
More... over 10 years ago
* Added more REAL checks
Jerome Hugues
as yoogx
More... over 10 years ago
* Updated all examples
Jerome Hugues
as yoogx
More... over 10 years ago
* Minor reformatting
Jerome Hugues
as yoogx
More... over 10 years ago
* Add REAL theorems, minor reformatting
Jerome Hugues
as yoogx
More... over 10 years ago
* Add real target
Jerome Hugues
as yoogx
More... over 10 years ago
* Add new theorems for ARINC653
Jerome Hugues
as yoogx
More... over 10 years ago
* Rename files to avoid conflicts with OSATE2
Jerome Hugues
as yoogx
More... over 10 years ago