aboutsummaryrefslogtreecommitdiffstats
path: root/native/src
Commit message (Expand)AuthorAge
* testmain: let user know we are entering an infinite loopstagingBjoern Brandenburg2013-12-13
* testmain: add preemptive MSRP analysisBjoern Brandenburg2013-12-13
* testmain: add MSRP analysisBjoern Brandenburg2013-12-13
* added "baseline" analysis for comparisonAlexander Wieder2013-12-13
* added constraints for preemptive prioritized FIFO spinlocksAlexander Wieder2013-12-13
* added constraints for preemptive prioritized spinlocksAlexander Wieder2013-12-13
* added constraints for preemptive unordered 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
* 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
* Add ILP support to GLPK bridgeAlexander Wieder2013-12-13
* added safety check for CPLEX solver (C-API): abort on binary/integer variablesAlexander Wieder2013-12-13
* Added support for binary/integer variables in the C++ LP modelAlexander Wieder2013-12-13
* Provide Python wrapper for msrp_bounds_holistic()Bjoern Brandenburg2013-12-13
* Keep track of spin-delay in clustered/mutex analysisBjoern Brandenburg2013-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
* Implement LP-based OMIP blocking analysisBjoern Brandenburg2013-07-12
* Precision fix: user deliberate rounding in LP result conversionBjoern Brandenburg2013-02-12
* 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
* Allow LPs in which not all variables are part of the objective functionBjoern Brandenburg2013-02-12
* Add support for dumping LPs to iostreamsBjoern Brandenburg2013-02-12
* C++ LP analysis: add LP debugging helperBjoern Brandenburg2013-02-12
* Disable creation of new variables after creation of the objective functionBjoern Brandenburg2013-02-12
* Implement CPLEX integration via C APIBjoern Brandenburg2013-02-12
* Set CPLEX options to improve solving speedBjoern Brandenburg2013-02-12
* Set GLPK options to improve solving speedBjoern Brandenburg2013-02-12
* Add GLPK IntegrationBjoern Brandenburg2013-02-12
* Add support for tracking total LP generation / solving costBjoern Brandenburg2013-02-12
* Add memory leak debug code to testmainBjoern Brandenburg2013-02-12
* Add test code for LP-based DPCP/DFLP analysisBjoern Brandenburg2013-02-12
* Add compile-time support for merged LPsBjoern 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
* 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
* MPCP: report local and remote blocking even if >response_timeBjoern Brandenburg2013-02-12
* MPCP: we must consider gcs' with equal priority ceilingsBjoern Brandenburg2013-02-12
generated by cgit v1.2.2 (git 2.25.0) at 2026-06-09 19:34:17 -0400