aboutsummaryrefslogtreecommitdiffstats
path: root/native/interface
Commit message (Expand)AuthorAge
* added "baseline" analysis for comparisonAlexander Wieder2013-12-13
* added wrappers and Python interface for preemptive spinlock analysisAlexander Wieder2013-12-13
* added constraints for the analysis of non-preemptive prioritized FIFO mutex s...Alexander Wieder2013-12-13
* added constraints for the analysis of non-preemptive unordered mutex spinlocksAlexander Wieder2013-12-13
* added constraints for the analysis of non-preemptive prioritized mutex spinlocksAlexander Wieder2013-12-13
* added constraints for the analysis of MSRPAlexander Wieder2013-12-13
* implement classic (non-LP, non-holistic) MSRP analysis for comparisonAlexander Wieder2013-12-13
* Add holistic MSRP analysis (with PCP/SRP for local resources)Bjoern Brandenburg2013-12-13
* Export the LP-based analysis of the DFLP/DPCPBjoern Brandenburg2013-02-12
* Extract sharedres_types.h from sharedres.hBjoern Brandenburg2013-02-12
* Add QPA EDF uniprocessor testBjoern Brandenburg2012-11-27
* Initial GEL Piecewise Linear implementationJeremy Erickson2012-09-25
* Rename time types used in C++ schedulablity analysisBjoern Brandenburg2012-04-11
* Ignore subscript operator [] in Swig wrappersBjoern Brandenburg2012-04-11
* Import refactored schedcat codebaseBjoern Brandenburg2012-02-02