aboutsummaryrefslogtreecommitdiffstats
path: root/native/include
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 preemptive prioritized spinlocksAlexander Wieder2013-12-13
* added constraints for preemptive FIFO spinlocksAlexander Wieder2013-12-13
* added helper functions and common constraints for the analysis of preemptive ...Alexander 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
* added common constraints and helper functions for the analysis of spinlocksAlexander Wieder2013-12-13
* Added VarMapperSpinlocks, a specialized VarMapper for spinlocksAlexander Wieder2013-12-13
* implement classic (non-LP, non-holistic) MSRP analysis for comparisonAlexander Wieder2013-12-13
* C++ helper function split_by_clusters: allow initialization with number of pr...Alexander Wieder2013-12-13
* added getter function for raw remote blocking Interference in BlockingBoundsAlexander Wieder2013-12-13
* incorporated request priority into C++ resource modelAlexander Wieder2013-12-13
* use GLPK by defaultAlexander Wieder2013-12-13
* Added support for binary/integer variables in the C++ LP modelAlexander Wieder2013-12-13
* bugfix: include/linprog/solver.h: used float as variable indexAlexander Wieder2013-12-13
* Add holistic MSRP analysis (with PCP/SRP for local resources)Bjoern Brandenburg2013-12-13
* Add support for identifying and extracting local and global resourcesBjoern Brandenburg2013-12-13
* Add support for hash sets to stl-hashmap.hBjoern Brandenburg2013-12-13
* Remove unused field from QPA implementationBjoern Brandenburg2013-08-14
* Implement LP-based OMIP blocking analysisBjoern Brandenburg2013-07-12
* Fix broken demand calculationBjoern Brandenburg2013-05-22
* Add LP-based blocking analysis for FMLP+Bjoern Brandenburg2013-02-12
* Add LP-based blocking analysis for MPCPBjoern Brandenburg2013-02-12
* Add generic LP support for shared-memory protocolsBjoern Brandenburg2013-02-12
* Add support for dumping LPs to iostreamsBjoern Brandenburg2013-02-12
* C++ LP analysis: add LP debugging helperBjoern Brandenburg2013-02-12
* Refactor linprog_solve() into a proper functionBjoern Brandenburg2013-02-12
* Disable creation of new variables after creation of the objective functionBjoern Brandenburg2013-02-12
* Switch to CPX (CPLEX C API) as default LP solverBjoern Brandenburg2013-02-12
* Implement CPLEX integration via C APIBjoern Brandenburg2013-02-12
* Add GLPK IntegrationBjoern Brandenburg2013-02-12
* Export the LP-based analysis of the DFLP/DPCPBjoern Brandenburg2013-02-12
* Allow VarMapper to start at index other than 0Bjoern Brandenburg2013-02-12
* Add DPCP and DFLP linear program generationBjoern Brandenburg2013-02-12
* Add CPLEX integrationBjoern Brandenburg2013-02-12
* Add simple C++ linear program representationBjoern Brandenburg2013-02-12
* Add unique IDs to TaskInfoBjoern Brandenburg2013-02-12
* Simplify sharedres_types.h with iterator macrosBjoern Brandenburg2013-02-12
* Extract sharedres_types.h from sharedres.hBjoern Brandenburg2013-02-12
* Extract hash map hack from rw-task-fair.cppBjoern Brandenburg2013-02-12
* Add benchmarking helper classBjoern Brandenburg2013-02-12
* MPCP: accurately track per-processor priority ceilingsBjoern Brandenburg2013-02-12
* MPCP: export gcs response-time boundsBjoern Brandenburg2013-02-12
* Move get_priority_ceilings() from DPCP to common codeBjoern Brandenburg2013-02-12
* Improvements to the GEL Piecewise Linear module: support for arbitrary GEL sc...Jeremy Erickson2013-02-04
* Use utilization cap instead of number of CPUs where applicableJeremy Erickson2012-12-27
* Add QPA EDF uniprocessor testBjoern Brandenburg2012-11-27
generated by cgit v1.2.2 (git 2.25.0) at 2026-06-10 11:39:42 -0400