schedcat.git - [ARCHIVE] Bjorn's schedulability study framework. Now on GitHub.

	Commit message (Collapse)	Author	Age
*	Implement LP-based OMIP blocking analysis	Bjoern Brandenburg	2013-07-12
\|
*	Add LP-based blocking analysis for MPCP	Bjoern Brandenburg	2013-02-12
\|
*	Add generic LP support for shared-memory protocols	Bjoern Brandenburg	2013-02-12
\|
*	Disable creation of new variables after creation of the objective function	Bjoern Brandenburg	2013-02-12
\| \| \| \|	This can reveal bugs in constraints that accidentally include Ti.
*	Add DPCP and DFLP linear program generation	Bjoern Brandenburg	2013-02-12
	These files implement the generation and evaluation of linear programs that bound maximum s-aware pi-blocking under the DPCP and the DFLP.