aboutsummaryrefslogtreecommitdiffstats
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
* Emstada task set generator: added /broad/ period distribution (1, 1000)Alexander Wieder2013-12-13
* 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 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 Python wrappers for C++ LP-based spinlock analysisAlexander Wieder2013-12-13
* updated Makefile: include LP-based analysis for several spinlocksAlexander 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
* export holistic analysis for MSRP to PythonAlexander 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
* incorporated request priority into Python resource modelAlexander Wieder2013-12-13
* do not add empty requests to C++ resmodelAlexander Wieder2013-12-13
* use GLPK by defaultAlexander 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
* bugfix: include/linprog/solver.h: used float as variable indexAlexander 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
* Add support for hash sets to stl-hashmap.hBjoern Brandenburg2013-12-13
* Pretty-print example task set filesHEADmasterBjoern Brandenburg2013-11-26
* Add example code and related end-to-end tests.Jeremy Erickson2013-11-26
* Add support for arbitrary GEL locking prioritiesJeremy Erickson2013-11-25
* Fix bug in locking overhead code that used task set in place of its cardinalityJeremy Erickson2013-11-25
* Replace pp with prio_pt in Python code, to match C++ codeJeremy Erickson2013-11-25
* 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
* Bugfix: de-duplicate definition of assign_ids_by_periodAlexander Wieder2013-05-01
* blocking bounds: return C++ results object to callerBjoern Brandenburg2013-02-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
generated by cgit v1.2.2 (git 2.25.0) at 2024-05-19 17:24:18 -0400